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

Inherited from AnyRef

Inherited from Any

Ungrouped