object Markup extends Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Markup
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- sealed class Elements extends AnyRef
- class Markup_Int extends AnyRef
- class Markup_Long extends AnyRef
- class Markup_String extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val ACCEPTED: String
- val ALT_STRING: String
- val ANTIQUOTE: String
- val ANTIQUOTED: String
- val ASSIGN: String
- val ATTRIBUTE: String
- val Antiquotes: Boolean
- val Assign_Update: T
- val BAD: String
- val BINDING: String
- val BOUND: String
- val BROWSER: String
- val BUILD_THEORIES_RESULT: String
- val BULLET: String
- val Broken: Markup
- val CANCEL_SCALA: String
- val CARTOUCHE: String
- val CASE: String
- val CITATION: String
- val CLASS: String
- val COMMAND: String
- val COMMAND_TIMING: String
- val COMMENT: String
- val COMPLETION: String
- val CONSTANT: String
- val CPU: Double
- val Citation: Markup_String
- val Consistent: Boolean
- val DEBUGGER_OUTPUT: String
- val DEBUGGER_STATE: String
- val DEF: String
- val DEF_END_OFFSET: String
- val DEF_FILE: String
- val DEF_ID: String
- val DEF_LINE: String
- val DEF_OFFSET: String
- val DELIMITER: String
- val DIALOG: String
- val DOC: String
- val DOCUMENT_ANTIQUOTATION: String
- val DOCUMENT_ANTIQUOTATION_OPTION: String
- val DYNAMIC_FACT: String
- val Delimited: Boolean
- val Doc: Markup_String
- val END_LINE: String
- val END_OFFSET: String
- val ENTITY: String
- val ERROR: String
- val ERROR_MESSAGE: String
- val EXIT: String
- val EXPRESSION: String
- val Elapsed: Double
- val Empty: Markup
- val FAILED: String
- val FILE: String
- val FINISHED: String
- val FIXED: String
- val FORKED: String
- val FREE: String
- val FUNCTION: String
- val Function: String
- val GC: Double
- val GOAL: String
- val GRAPHVIEW: String
- val HIDDEN: String
- val ID: String
- val IMPROPER: String
- val INFORMATION: String
- val INFORMATION_MESSAGE: String
- val INIT: String
- val INNER_CARTOUCHE: String
- val INNER_COMMENT: String
- val INNER_STRING: String
- val INSTANCE: String
- val INTENSIFY: String
- val INVOKE_SCALA: String
- val ITEM: String
- val Indent: Int
- val Instance: String
- val JOINED: String
- val KEYWORD1: String
- val KEYWORD2: String
- val KEYWORD3: String
- val KIND: String
- val Kind: String
- val LANGUAGE: String
- val LEGACY: String
- val LEGACY_MESSAGE: String
- val LINE: String
- val LITERAL: String
- val LOADING_THEORY: String
- val MARKDOWN_PARAGRAPH: String
- val METHOD: String
- val ML_ANTIQUOTATION: String
- val ML_BREAKPOINT: String
- val ML_CHAR: String
- val ML_COMMENT: String
- val ML_DEF: String
- val ML_DELIMITER: String
- val ML_KEYWORD1: String
- val ML_KEYWORD2: String
- val ML_KEYWORD3: String
- val ML_NUMERAL: String
- val ML_OPEN: String
- val ML_STRING: String
- val ML_STRUCTURE: String
- val ML_TVAR: String
- val ML_TYPING: String
- val Markdown_Item: Markup_Int
- val Markdown_List: Markup_String
- val NAME: String
- val NO_COMPLETION: String
- val NO_REPORT: String
- val NUMERAL: String
- val Name: String
- val OFFSET: String
- val OPERATOR: String
- val PADDING: String
- val PADDING_COMMAND: (String, String)
- val PADDING_LINE: (String, String)
- val PARAGRAPH: String
- val PATH: String
- val POSITION: String
- val POSITION_PROPERTIES: Set[String]
- val PRINT_OPERATIONS: String
- val PROOF_STATE: String
- val PROTOCOL: String
- val PROVER_ARG: String
- val PROVER_COMMAND: String
- val Path: Markup_String
- val QUASI_KEYWORD: String
- val REF: String
- val REPORT: String
- val RESULT: String
- val RUNNING: String
- val Removed_Versions: T
- val Result: String
- val Return_Code: Int
- val SENDBACK: String
- val SEPARATOR: String
- val SERIAL: String
- val SIMP_TRACE_CANCEL: String
- val SIMP_TRACE_HINT: String
- val SIMP_TRACE_IGNORE: String
- val SIMP_TRACE_LOG: String
- val SIMP_TRACE_PANEL: String
- val SIMP_TRACE_RECURSE: String
- val SIMP_TRACE_STEP: String
- val SKOLEM: String
- val SML_COMMENT: String
- val SML_STRING: String
- val SORTING: String
- val STATE: String
- val STATE_MESSAGE: String
- val STATUS: String
- val STDERR: String
- val STDOUT: String
- val STRING: String
- val SUBGOAL: String
- val SUBGOALS: String
- val SYSTEM: String
- val Serial: Long
- val Symbols: Boolean
- val TASK: String
- val TEXT_FOLD: String
- val TFREE: String
- val TIMING: String
- val TOKEN_RANGE: String
- val TRACING: String
- val TRACING_MESSAGE: String
- val TVAR: String
- val TYPE_NAME: String
- val TYPING: String
- val URL: String
- val Url: Markup_String
- val VAR: String
- val VERBATIM: String
- val VERSION: String
- val WARNING: String
- val WARNING_MESSAGE: String
- val WORDS: String
- val WRITELN: String
- val WRITELN_MESSAGE: String
- val Width: Int
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val message: (String) ⇒ String
- val messages: Map[String, String]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- object Block
- object Break
- object Build_Theories_Result
- object Cancel_Scala
- object Debugger_Output
- object Debugger_State
- object Elements
- object Entity
- object Invoke_Scala
- object Language
- object Loading_Theory
- object ML_Statistics
- object Protocol_Handler
- object Simp_Trace_Cancel
- object Task_Statistics
- object Timing
- object Timing_Properties