mdoc/mdoc.internal.pos/TokenEditDistance

TokenEditDistance

final class TokenEditDistance

Helper to map between position between two similar strings.

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def originalInput: Input
def revisedInput: Input
def toOriginal(revisedLine: Int, revisedColumn: Int): Either[EmptyResult, Position]
def toOriginal(revisedOffset: Int): Either[EmptyResult, Position]

Convert from offset in revised string to offset in original string

Convert from offset in revised string to offset in original string

def toRevised(originalLine: Int, originalColumn: Int): Either[EmptyResult, Position]
def toRevised(originalOffset: Int): Either[EmptyResult, Position]

Convert from offset in original string to offset in revised string

Convert from offset in original string to offset in revised string