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 class_parameter: Value

    Permalink
  18. def clone(): AnyRef

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

    Permalink
  20. val entity: Value

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

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

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

    Permalink
  24. val error_message: Value

    Permalink
  25. def finalize(): Unit

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

    Permalink
  27. val free: Value

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

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

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

    Permalink
  31. val information: Value

    Permalink
  32. val information_message: Value

    Permalink
  33. val inner_cartouche: Value

    Permalink
  34. val inner_comment: Value

    Permalink
  35. val inner_numeral: Value

    Permalink
  36. val inner_quoted: Value

    Permalink
  37. val intensify: Value

    Permalink
  38. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  39. val keyword1: Value

    Permalink
  40. val keyword2: Value

    Permalink
  41. val keyword3: Value

    Permalink
  42. val legacy: Value

    Permalink
  43. val legacy_message: Value

    Permalink
  44. val main: Value

    Permalink
  45. val markdown_bullet1: Value

    Permalink
  46. val markdown_bullet2: Value

    Permalink
  47. val markdown_bullet3: Value

    Permalink
  48. val markdown_bullet4: Value

    Permalink
  49. final def maxId: Int

    Permalink
    Definition Classes
    Enumeration
  50. val message_background_colors: ValueSet

    Permalink
  51. val message_underline_colors: ValueSet

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

    Permalink
    Definition Classes
    AnyRef
  53. var nextId: Int

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

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

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

    Permalink
    Definition Classes
    AnyRef
  57. val operator: Value

    Permalink
  58. val quasi_keyword: Value

    Permalink
  59. val quoted: Value

    Permalink
  60. def readResolve(): AnyRef

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

    Permalink
  62. val running1: Value

    Permalink
  63. val skolem: Value

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

    Permalink
    Definition Classes
    AnyRef
  65. val text_colors: ValueSet

    Permalink
  66. val text_overview_colors: Set[Value]

    Permalink
  67. val tfree: Value

    Permalink
  68. def toString(): String

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

    Permalink
  70. val tvar: Value

    Permalink
  71. val unprocessed: Value

    Permalink
  72. val unprocessed1: Value

    Permalink
  73. def values: ValueSet

    Permalink
    Definition Classes
    Enumeration
  74. val var: Value

    Permalink
  75. final def wait(): Unit

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

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

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

    Permalink
  79. val warning_message: Value

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

    Permalink
    Definition Classes
    Enumeration
  81. val writeln: Value

    Permalink
  82. val writeln_message: Value

    Permalink

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped