mdoc
API
Generated with
mdoc/mdoc/mdoc.internal/mdoc.internal.pos/TokenEditDistance

TokenEditDistance

mdoc.internal.pos.TokenEditDistance
See theTokenEditDistance companion object
final class TokenEditDistance

Helper to map between position between two similar strings.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

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

Attributes

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

Attributes

Generated with