fr.splayce.rel.util.TrackString

Repl

case class Repl (substs: List[Subst]) extends Product with Serializable

Holder for position tracking information across edits.

substs

Accumulated individual substitutions, sorted by **descending** position

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Repl
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Repl (substs: List[Subst])

    substs

    Accumulated individual substitutions, sorted by **descending** position

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def + (that: Repl): Repl

    Merge two Repl into one.

    Merge two Repl into one.

    Merging is done in 3 parts:

    • Previous (current) Substs' to are carved (splitted) to abide by new (additional) Substs' from
    • New Substs' from are updated with the previous Substs's shift
    • Both lists are merged into a new Repl
    that

    the other Repl to be merged

  5. def + (startFrom: Int, fromLength: Int, toLength: Int): Repl

    Builds a new Repl with an added Subst built from the given substitution information.

    Builds a new Repl with an added Subst built from the given substitution information.

    startFrom

    starting position of the replacement in the current (old) String

    fromLength

    length of the substring being replaced

    toLength

    length of the replacing substring

  6. def + (subst: Subst): Repl

    Builds a new Repl with an added Subst.

    Builds a new Repl with an added Subst.

    subst

    The substitution to append

  7. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  8. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  9. def >> (shift: Int): Repl

    Builds a new Repl with all its Substs shifted .

    Builds a new Repl with all its Substs shifted .

    shift

    The position shift to append to all Substs.

  10. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  11. def canEqual (arg0: Any): Boolean

    Definition Classes
    Repl → Equals

  12. def carve (toAdd: List[Subst]): List[Subst]

    Carve this Substs according to given additional ones for merging.

    Carve this Substs according to given additional ones for merging.

    toAdd

    Additional Substs (ordered by descending to position)

    returns

    This Repl's Substs (ordered by descending to position)

    Attributes
    protected[util]

  13. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  14. lazy val currentShift : Int

    Current shift in position accumulated by the underlying Substs.

  15. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  16. def equals (arg0: Any): Boolean

    Definition Classes
    Repl → Equals → AnyRef → Any

  17. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  18. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  19. def hashCode (): Int

    Definition Classes
    Repl → AnyRef → Any

  20. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  21. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  22. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  23. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  24. def productArity : Int

    Definition Classes
    Repl → Product

  25. def productElement (arg0: Int): Any

    Definition Classes
    Repl → Product

  26. def productIterator : Iterator[Any]

    Definition Classes
    Product

  27. def productPrefix : String

    Definition Classes
    Repl → Product

  28. def srcPos (start: Int, end: Int): Interval

    Compute the Interval in the original String corresponding the given interval in the current edit.

    Compute the Interval in the original String corresponding the given interval in the current edit.

    returns

    Corresponding Interval in the original String

  29. def srcPos (interval: Interval): Interval

    Compute the Interval in the original String corresponding the given Interval in the current edit.

    Compute the Interval in the original String corresponding the given Interval in the current edit.

    interval

    Interval in the current version of the TrackString

    returns

    Corresponding Interval in the original String

  30. def srcPos (pos: Int): Interval

    Compute the Interval in the original String corresponding the given position in the current edit.

    Compute the Interval in the original String corresponding the given position in the current edit.

    pos

    Position in the current version of the TrackString

    returns

    Corresponding Interval in the original String

  31. val substs : List[Subst]

    Accumulated individual substitutions, sorted by **descending** position

  32. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  33. lazy val toString : String

    Definition Classes
    Repl → AnyRef → Any

  34. def update (toAdd: List[Subst]): List[Subst]

    Update additional Substs' positions according to previous ones (this.substs) for merging.

    Update additional Substs' positions according to previous ones (this.substs) for merging.

    toAdd

    Additional Substs (ordered by descending to position)

    returns

    Updated additional Substs

    Attributes
    protected[util]

  35. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  36. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  37. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any