isabelle.Token

Kind

object Kind extends Enumeration

Linear Supertypes
Enumeration, Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Kind
  2. Enumeration
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. class Val extends Value with Serializable

    Attributes
    protected
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID( -3501153230598116017L )

  2. abstract class Value extends Ordered[Value] with Serializable

    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID( 7091335633555234129L )

  3. class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable

    Definition Classes
    Enumeration

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. val ALT_STRING: Value

  7. val CARTOUCHE: Value

  8. val COMMAND: Value

  9. val COMMENT: Value

  10. val ERROR: Value

  11. val FLOAT: Value

  12. val IDENT: Value

  13. val KEYWORD: Value

  14. val LONG_IDENT: Value

  15. val NAT: Value

  16. val SPACE: Value

  17. val STRING: Value

  18. val SYM_IDENT: Value

  19. val TYPE_IDENT: Value

  20. val TYPE_VAR: Value

  21. val UNPARSED: Value

  22. val VAR: Value

  23. val VERBATIM: Value

  24. final def Value(i: Int, name: String): Value

    Attributes
    protected
    Definition Classes
    Enumeration

  25. final def Value(name: String): Value

    Attributes
    protected
    Definition Classes
    Enumeration

  26. final def Value(i: Int): Value

    Attributes
    protected
    Definition Classes
    Enumeration

  27. final def Value: Value

    Attributes
    protected
    Definition Classes
    Enumeration

  28. final def apply(x: Int): Value

    Definition Classes
    Enumeration

  29. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  30. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef

  32. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  33. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  34. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  35. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  36. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  37. final def maxId: Int

    Definition Classes
    Enumeration

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

    Definition Classes
    AnyRef

  39. var nextId: Int

    Attributes
    protected
    Definition Classes
    Enumeration

  40. var nextName: Iterator[String]

    Attributes
    protected
    Definition Classes
    Enumeration

  41. final def notify(): Unit

    Definition Classes
    AnyRef

  42. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  43. def readResolve(): AnyRef

    Attributes
    protected
    Definition Classes
    Enumeration

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

    Definition Classes
    AnyRef

  45. def toString(): String

    Definition Classes
    Enumeration → AnyRef → Any

  46. def values: ValueSet

    Definition Classes
    Enumeration

  47. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  48. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  49. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  50. final def withName(s: String): Value

    Definition Classes
    Enumeration

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped