Object

isabelle

Symbol

Related Doc: package isabelle

Permalink

object Symbol

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Symbol
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final class Index extends AnyRef

    Permalink
  2. class Matcher extends AnyRef

    Permalink
  3. type Offset = Int

    Permalink
  4. type Range = Text.Range

    Permalink
  5. type Symbol = String

    Permalink
  6. final class Text_Chunk extends AnyRef

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. val ARGUMENT_CARTOUCHE: String

    Permalink

    symbol interpretation *

  5. val ARGUMENT_SPACE_CARTOUCHE: String

    Permalink
  6. object Index

    Permalink
  7. object Text_Chunk

    Permalink
  8. def abbrevs: Multi_Map[Symbol, String]

    Permalink
  9. def all_blank(str: String): Boolean

    Permalink
  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. def ascii(c: Char): Symbol

    Permalink
  12. val bold: String

    Permalink
  13. def bold_decoded: Symbol

    Permalink
  14. val bsub: String

    Permalink
  15. def bsub_decoded: Symbol

    Permalink
  16. val bsup: String

    Permalink
  17. def bsup_decoded: Symbol

    Permalink
  18. val cancel: Symbol

    Permalink
  19. def cancel_decoded: Symbol

    Permalink
  20. def cartouche(s: String): String

    Permalink
  21. def cartouche_decoded(s: String): String

    Permalink
  22. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. val close: Symbol

    Permalink
  24. def close_decoded: Symbol

    Permalink
  25. def codes: List[(Symbol, Int)]

    Permalink
  26. val comment: Symbol

    Permalink
  27. def comment_decoded: Symbol

    Permalink
  28. def control_name(sym: Symbol): Option[String]

    Permalink
  29. val control_prefix: String

    Permalink
  30. val control_suffix: String

    Permalink
  31. def decode(text: String): String

    Permalink
  32. def decode_strict(text: String): String

    Permalink
  33. def decode_yxml(text: String): Body

    Permalink
  34. def decode_yxml_failsafe(text: String): Body

    Permalink
  35. val emph: String

    Permalink
  36. def emph_decoded: Symbol

    Permalink
  37. def encode(text: String): String

    Permalink
  38. def encode_yxml(body: Body): String

    Permalink
  39. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  40. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  41. val esub: String

    Permalink
  42. def esub_decoded: Symbol

    Permalink
  43. val esup: String

    Permalink
  44. def esup_decoded: Symbol

    Permalink
  45. def explode(text: CharSequence): List[Symbol]

    Permalink
  46. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  47. def font_index: Map[String, Int]

    Permalink
  48. def font_names: List[String]

    Permalink
  49. def fonts: Map[Symbol, String]

    Permalink
  50. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  51. def groups: List[(String, List[Symbol])]

    Permalink
  52. def groups_code: List[(String, List[Symbol])]

    Permalink
  53. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  54. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  55. def is_ascii(s: Symbol): Boolean

    Permalink
  56. def is_ascii_blank(c: Char): Boolean

    Permalink
  57. def is_ascii_digit(c: Char): Boolean

    Permalink
  58. def is_ascii_hex(c: Char): Boolean

    Permalink
  59. def is_ascii_identifier(s: String): Boolean

    Permalink
  60. def is_ascii_letdig(c: Char): Boolean

    Permalink
  61. def is_ascii_letter(c: Char): Boolean

    Permalink
  62. def is_ascii_line_terminator(c: Char): Boolean

    Permalink
  63. def is_ascii_quasi(c: Char): Boolean

    Permalink
  64. def is_blank(sym: Symbol): Boolean

    Permalink
  65. def is_close(sym: Symbol): Boolean

    Permalink
  66. lazy val is_code: (Int) ⇒ Boolean

    Permalink
  67. def is_control(sym: Symbol): Boolean

    Permalink
  68. def is_control_encoded(sym: Symbol): Boolean

    Permalink
  69. def is_controllable(sym: Symbol): Boolean

    Permalink
  70. def is_digit(sym: Symbol): Boolean

    Permalink
  71. def is_letdig(sym: Symbol): Boolean

    Permalink
  72. def is_letter(sym: Symbol): Boolean

    Permalink
  73. def is_malformed(s: Symbol): Boolean

    Permalink
  74. def is_newline(s: Symbol): Boolean

    Permalink
  75. def is_open(sym: Symbol): Boolean

    Permalink
  76. def is_quasi(sym: Symbol): Boolean

    Permalink
  77. def is_symbolic(sym: Symbol): Boolean

    Permalink
  78. def is_symbolic_char(sym: Symbol): Boolean

    Permalink
  79. def iterator(text: CharSequence): Iterator[Symbol]

    Permalink
  80. val latex: Symbol

    Permalink
  81. def latex_decoded: Symbol

    Permalink
  82. def length(text: CharSequence): Int

    Permalink
  83. def lookup_font(sym: Symbol): Option[Int]

    Permalink
  84. val marker: Symbol

    Permalink
  85. def marker_decoded: Symbol

    Permalink
  86. def names: Map[Symbol, (String, String)]

    Permalink
  87. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  88. val newline: Symbol

    Permalink
  89. def newline_decoded: Symbol

    Permalink
  90. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  91. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  92. val open: Symbol

    Permalink
  93. def open_decoded: Symbol

    Permalink
  94. def print_newlines(str: String): String

    Permalink
  95. def properties: Map[Symbol, T]

    Permalink
  96. val space: String

    Permalink
  97. def spaces(n: Int): String

    Permalink
  98. val sub: String

    Permalink
  99. def sub_decoded: Symbol

    Permalink
  100. val sup: String

    Permalink
  101. def sup_decoded: Symbol

    Permalink
  102. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  103. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  104. def trim_blank_lines(text: String): String

    Permalink
  105. def trim_blanks(text: CharSequence): String

    Permalink
  106. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  107. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  108. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped