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
Learn more about member selection
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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. object Index

  7. object Text_Chunk

  8. def abbrevs: Multi_Map[Symbol, String]

  9. def advance_line_column(pos: (Int, Int), text: CharSequence): (Int, Int)

  10. final def asInstanceOf[T0]: T0

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

  12. val bold: String

  13. def bold_decoded: Symbol

  14. def bsub_decoded: Symbol

  15. def bsup_decoded: Symbol

  16. def clone(): AnyRef

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

  18. def close_decoded: Symbol

  19. def codes: List[(String, Int)]

  20. val comment: Symbol

  21. def comment_decoded: Symbol

  22. def decode(text: String): String

  23. def decode_strict(text: String): String

  24. def decode_string: (Body) ⇒ String

  25. val emph: String

  26. def emph_decoded: Symbol

  27. def encode(text: String): String

  28. def encode_string: (String) ⇒ Body

  29. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  31. def esub_decoded: Symbol

  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
  39. def groups: List[(String, List[Symbol])]

  40. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  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 lookup_font(sym: Symbol): Option[Int]

  64. def names: Map[Symbol, String]

  65. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  66. val newline: Symbol

  67. def newline_decoded: Symbol

  68. final def notify(): Unit

    Definition Classes
    AnyRef
  69. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  70. val open: Symbol

  71. def open_decoded: Symbol

  72. def print_newlines(str: String): String

  73. def properties: Map[Symbol, T]

  74. val space: String

  75. def spaces(n: Int): String

  76. val sub: String

  77. def sub_decoded: Symbol

  78. val sup: String

  79. def sup_decoded: Symbol

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

    Definition Classes
    AnyRef
  81. def toString(): String

    Definition Classes
    AnyRef → Any
  82. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped