Object

isabelle

Symbol

Related Doc: package isabelle

Permalink

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

    Permalink
  2. class Matcher extends AnyRef

    Permalink
  3. type Offset = Int

    Permalink
  4. type Range = Text.Range

    Permalink
  5. type Symbol = String

    Permalink
  6. final class Text_Chunk extends AnyRef

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. object Index

    Permalink
  5. object Text_Chunk

    Permalink
  6. def abbrevs: Multi_Map[Symbol, String]

    Permalink
  7. def advance_line_column(pos: (Int, Int), text: CharSequence): (Int, Int)

    Permalink
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def bold_decoded: Symbol

    Permalink
  10. def bsub_decoded: Symbol

    Permalink
  11. def bsup_decoded: Symbol

    Permalink
  12. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. val close: String

    Permalink
  14. def close_decoded: Symbol

    Permalink
  15. def decode(text: String): String

    Permalink
  16. def decode_strict(text: String): String

    Permalink
  17. def decode_string: T[String]

    Permalink
  18. def encode(text: String): String

    Permalink
  19. def encode_string: T[String]

    Permalink
  20. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  22. def esub_decoded: Symbol

    Permalink
  23. def esup_decoded: Symbol

    Permalink
  24. def explode(text: CharSequence): List[Symbol]

    Permalink
  25. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  26. def font_index: Map[String, Int]

    Permalink
  27. def font_names: List[String]

    Permalink
  28. def fonts: Map[Symbol, String]

    Permalink
  29. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  30. def groups: List[(String, List[Symbol])]

    Permalink
  31. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  32. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  33. def is_ascii_blank(c: Char): Boolean

    Permalink
  34. def is_ascii_digit(c: Char): Boolean

    Permalink
  35. def is_ascii_hex(c: Char): Boolean

    Permalink
  36. def is_ascii_identifier(s: String): Boolean

    Permalink
  37. def is_ascii_letdig(c: Char): Boolean

    Permalink
  38. def is_ascii_letter(c: Char): Boolean

    Permalink
  39. def is_ascii_quasi(c: Char): Boolean

    Permalink
  40. def is_blank(sym: Symbol): Boolean

    Permalink
  41. def is_close(sym: Symbol): Boolean

    Permalink
  42. def is_controllable(sym: Symbol): Boolean

    Permalink
  43. def is_ctrl(sym: Symbol): Boolean

    Permalink
  44. def is_digit(sym: Symbol): Boolean

    Permalink
  45. def is_letdig(sym: Symbol): Boolean

    Permalink
  46. def is_letter(sym: Symbol): Boolean

    Permalink
  47. def is_malformed(s: Symbol): Boolean

    Permalink
  48. def is_newline(s: Symbol): Boolean

    Permalink
  49. def is_open(sym: Symbol): Boolean

    Permalink
  50. def is_quasi(sym: Symbol): Boolean

    Permalink
  51. def is_symbolic(sym: Symbol): Boolean

    Permalink
  52. def is_symbolic_char(sym: Symbol): Boolean

    Permalink
  53. def iterator(text: CharSequence): Iterator[Symbol]

    Permalink
  54. def lookup_font(sym: Symbol): Option[Int]

    Permalink
  55. def names: Map[Symbol, String]

    Permalink
  56. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  57. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  58. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  59. val open: String

    Permalink
  60. def open_decoded: Symbol

    Permalink
  61. def properties: Map[Symbol, T]

    Permalink
  62. def sub_decoded: Symbol

    Permalink
  63. def sup_decoded: Symbol

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

    Permalink
    Definition Classes
    AnyRef
  65. def toString(): String

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped