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

Inherited from AnyRef

Inherited from Any

Ungrouped