Object

isabelle.Rendering

Color

Related Doc: package Rendering

Permalink

object Color extends Enumeration

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Color
  2. Enumeration
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Val extends Value with Serializable

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()
  2. abstract class Value extends Ordered[Value] with Serializable

    Permalink
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()
  3. class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable

    Permalink
    Definition Classes
    Enumeration

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 Value(i: Int, name: String): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  5. final def Value(name: String): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  6. final def Value(i: Int): Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  7. final def Value: Value

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  8. val active: Value

    Permalink
  9. val active_result: Value

    Permalink
  10. val antiquote: Value

    Permalink
  11. val antiquoted: Value

    Permalink
  12. final def apply(x: Int): Value

    Permalink
    Definition Classes
    Enumeration
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. val background_colors: ValueSet

    Permalink
  15. val bad: Value

    Permalink
  16. val bound: Value

    Permalink
  17. val canceled: Value

    Permalink
  18. val class_parameter: Value

    Permalink
  19. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. val comment1: Value

    Permalink
  21. val comment2: Value

    Permalink
  22. val comment3: Value

    Permalink
  23. val dynamic: Value

    Permalink
  24. val entity: Value

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  27. val error: Value

    Permalink
  28. val error_message: Value

    Permalink
  29. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. val foreground_colors: ValueSet

    Permalink
  31. val free: Value

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

    Permalink
    Definition Classes
    AnyRef → Any
  33. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  34. val improper: Value

    Permalink
  35. val information: Value

    Permalink
  36. val information_message: Value

    Permalink
  37. val inner_cartouche: Value

    Permalink
  38. val inner_numeral: Value

    Permalink
  39. val inner_quoted: Value

    Permalink
  40. val intensify: Value

    Permalink
  41. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  42. val keyword1: Value

    Permalink
  43. val keyword2: Value

    Permalink
  44. val keyword3: Value

    Permalink
  45. val legacy: Value

    Permalink
  46. val legacy_message: Value

    Permalink
  47. val main: Value

    Permalink
  48. val markdown_bullet1: Value

    Permalink
  49. val markdown_bullet2: Value

    Permalink
  50. val markdown_bullet3: Value

    Permalink
  51. val markdown_bullet4: Value

    Permalink
  52. final def maxId: Int

    Permalink
    Definition Classes
    Enumeration
  53. val message_background_colors: ValueSet

    Permalink
  54. val message_underline_colors: ValueSet

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

    Permalink
    Definition Classes
    AnyRef
  56. var nextId: Int

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  57. var nextName: Iterator[String]

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  58. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  60. val operator: Value

    Permalink
  61. val plain_text: Value

    Permalink
  62. val quasi_keyword: Value

    Permalink
  63. val quoted: Value

    Permalink
  64. val raw_text: Value

    Permalink
  65. def readResolve(): AnyRef

    Permalink
    Attributes
    protected
    Definition Classes
    Enumeration
  66. val running: Value

    Permalink
  67. val running1: Value

    Permalink
  68. val skolem: Value

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

    Permalink
    Definition Classes
    AnyRef
  70. val text_colors: ValueSet

    Permalink
  71. val text_overview_colors: Set[Value]

    Permalink
  72. val tfree: Value

    Permalink
  73. def toString(): String

    Permalink
    Definition Classes
    Enumeration → AnyRef → Any
  74. val tracing_message: Value

    Permalink
  75. val tvar: Value

    Permalink
  76. val unprocessed: Value

    Permalink
  77. val unprocessed1: Value

    Permalink
  78. def values: ValueSet

    Permalink
    Definition Classes
    Enumeration
  79. val var: Value

    Permalink
  80. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  83. val warning: Value

    Permalink
  84. val warning_message: Value

    Permalink
  85. final def withName(s: String): Value

    Permalink
    Definition Classes
    Enumeration
  86. val writeln: Value

    Permalink
  87. val writeln_message: Value

    Permalink

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped