Packages

o

isabelle

Symbol

object Symbol

Linear Supertypes
AnyRef, Any
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
  2. class Matcher extends AnyRef
  3. type Offset = Int
  4. type Range = Text.Range
  5. type Symbol = String
  6. final class Text_Chunk extends AnyRef

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. val ARGUMENT_CARTOUCHE: String

    symbol interpretation *

  5. val ARGUMENT_SPACE_CARTOUCHE: String
  6. def abbrevs: Multi_Map[Symbol, String]
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def ascii(c: Char): Symbol
  9. val bold: String
  10. def bold_decoded: Symbol
  11. val bsub: String
  12. def bsub_decoded: Symbol
  13. val bsup: String
  14. def bsup_decoded: Symbol
  15. val cancel: Symbol
  16. def cancel_decoded: Symbol
  17. def cartouche(s: String): String
  18. def cartouche_decoded(s: String): String
  19. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  20. val close: Symbol
  21. def close_decoded: Symbol
  22. def codes: List[(Symbol, Int)]
  23. val comment: Symbol
  24. def comment_decoded: Symbol
  25. def control_name(sym: Symbol): Option[String]
  26. val control_prefix: String
  27. val control_suffix: String
  28. def decode(text: String): String
  29. def decode_strict(text: String): String
  30. def decode_yxml(text: String): Body
  31. def decode_yxml_failsafe(text: String): Body
  32. val emph: String
  33. def emph_decoded: Symbol
  34. def encode(text: String): String
  35. def encode_yxml(body: Body): String
  36. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  38. val esub: String
  39. def esub_decoded: Symbol
  40. val esup: String
  41. def esup_decoded: Symbol
  42. def explode(text: CharSequence): List[Symbol]
  43. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  44. def font_index: Map[String, Int]
  45. def font_names: List[String]
  46. def fonts: Map[Symbol, String]
  47. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  48. def groups: List[(String, List[Symbol])]
  49. def groups_code: List[(String, List[Symbol])]
  50. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  51. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  52. def is_ascii(s: Symbol): Boolean
  53. def is_ascii_blank(c: Char): Boolean
  54. def is_ascii_digit(c: Char): Boolean
  55. def is_ascii_hex(c: Char): Boolean
  56. def is_ascii_identifier(s: String): Boolean
  57. def is_ascii_letdig(c: Char): Boolean
  58. def is_ascii_letter(c: Char): Boolean
  59. def is_ascii_quasi(c: Char): Boolean
  60. def is_blank(sym: Symbol): Boolean
  61. def is_close(sym: Symbol): Boolean
  62. lazy val is_code: (Int) ⇒ Boolean
  63. def is_control(sym: Symbol): Boolean
  64. def is_control_encoded(sym: Symbol): Boolean
  65. def is_controllable(sym: Symbol): Boolean
  66. def is_digit(sym: Symbol): Boolean
  67. def is_letdig(sym: Symbol): Boolean
  68. def is_letter(sym: Symbol): Boolean
  69. def is_malformed(s: Symbol): Boolean
  70. def is_newline(s: Symbol): Boolean
  71. def is_open(sym: Symbol): Boolean
  72. def is_quasi(sym: Symbol): Boolean
  73. def is_symbolic(sym: Symbol): Boolean
  74. def is_symbolic_char(sym: Symbol): Boolean
  75. def iterator(text: CharSequence): Iterator[Symbol]
  76. val latex: Symbol
  77. def latex_decoded: Symbol
  78. def length(text: CharSequence): Int
  79. def lookup_font(sym: Symbol): Option[Int]
  80. def names: Map[Symbol, (String, String)]
  81. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  82. val newline: Symbol
  83. def newline_decoded: Symbol
  84. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  85. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  86. val open: Symbol
  87. def open_decoded: Symbol
  88. def print_newlines(str: String): String
  89. def properties: Map[Symbol, T]
  90. val space: String
  91. def spaces(n: Int): String
  92. val sub: String
  93. def sub_decoded: Symbol
  94. val sup: String
  95. def sup_decoded: Symbol
  96. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  97. def toString(): String
    Definition Classes
    AnyRef → Any
  98. def trim_blanks(text: CharSequence): String
  99. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  100. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  101. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  102. object Index
  103. object Text_Chunk

Inherited from AnyRef

Inherited from Any

Ungrouped