o

isabelle

Symbol

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
  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. final def notify(): Unit
    Definition Classes
    AnyRef
  63. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  64. val open: Symbol
  65. def open_decoded: Symbol
  66. def properties: Map[Symbol, T]
  67. val space: String
  68. def spaces(n: Int): String
  69. val sub: String
  70. def sub_decoded: Symbol
  71. val sup: String
  72. def sup_decoded: Symbol
  73. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  74. def toString(): String
    Definition Classes
    AnyRef → Any
  75. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  78. object Index
  79. object Text_Chunk

Inherited from AnyRef

Inherited from Any

Ungrouped