Packages

o

info.kwarc.mmt.api.utils

StandardStringEscaping

object StandardStringEscaping extends Escaping

Source
Escape.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StandardStringEscaping
  2. Escaping
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Error(msg: String) extends Exception with Product with Serializable
    Definition Classes
    Escaping

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(s: String): String
    Definition Classes
    Escaping
  5. def apply(c: Char): String
    Definition Classes
    Escaping
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def check: Unit

    check invariant that guarantees invertibility of escaping

    check invariant that guarantees invertibility of escaping

    Definition Classes
    Escaping
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. val escapeChar: Char

    the escape character

    the escape character

    Definition Classes
    StandardStringEscapingEscaping
  12. lazy val escapedChars: List[Char]

    characters that are escaped because of an escape rule

    characters that are escaped because of an escape rule

    Attributes
    protected
    Definition Classes
    Escaping
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def legal(c: Char): Boolean

    characters that are not escaped default: ASCII 32-126 without the plain/custom escapes; override as needed

    characters that are not escaped default: ASCII 32-126 without the plain/custom escapes; override as needed

    Definition Classes
    Escaping
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def toString(): String
    Definition Classes
    AnyRef → Any
  23. def unapply(s: String): String
    Definition Classes
    Escaping
  24. def useCustomEscape: List[(Char, String)]

    characters that are escaped by a custom string default: n/t/s for newline/tab/space; override as needed

    characters that are escaped by a custom string default: n/t/s for newline/tab/space; override as needed

    Definition Classes
    Escaping
  25. def usePlainEscape: List[Char]

    characters that are escaped by escape-char + themselves default: only escapeChar; override as needed

    characters that are escaped by escape-char + themselves default: only escapeChar; override as needed

    Definition Classes
    StandardStringEscapingEscaping
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Escaping

Inherited from AnyRef

Inherited from Any

Ungrouped