Class/Object

isabelle

Token

Related Docs: object Token | package isabelle

Permalink

sealed case class Token(kind: Token.Kind.Value, source: String) extends Product with Serializable

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Token
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Token(kind: Token.Kind.Value, source: String)

    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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def content: String

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

    Permalink
    Definition Classes
    AnyRef
  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    Any
  11. def is_begin: Boolean

    Permalink
  12. def is_command: Boolean

    Permalink
  13. def is_command_kind(keywords: Keywords, pred: (String) ⇒ Boolean): Boolean

    Permalink
  14. def is_command_modifier: Boolean

    Permalink
  15. def is_comment: Boolean

    Permalink
  16. def is_delimiter: Boolean

    Permalink
  17. def is_end: Boolean

    Permalink
  18. def is_error: Boolean

    Permalink
  19. def is_float: Boolean

    Permalink
  20. def is_ident: Boolean

    Permalink
  21. def is_improper: Boolean

    Permalink
  22. def is_keyword: Boolean

    Permalink
  23. def is_name: Boolean

    Permalink
  24. def is_nat: Boolean

    Permalink
  25. def is_proper: Boolean

    Permalink
  26. def is_space: Boolean

    Permalink
  27. def is_string: Boolean

    Permalink
  28. def is_sym_ident: Boolean

    Permalink
  29. def is_text: Boolean

    Permalink
  30. def is_unfinished: Boolean

    Permalink
  31. def is_unparsed: Boolean

    Permalink
  32. def is_xname: Boolean

    Permalink
  33. val kind: Token.Kind.Value

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

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

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

    Permalink
    Definition Classes
    AnyRef
  37. val source: String

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

    Permalink
    Definition Classes
    AnyRef
  39. final def wait(): Unit

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped