Scala 2
|
|
isabelle/Markup.scala
]
object
Markup
extends
AnyRefMethods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Value Details |
val
NAME : java.lang.String
val
KIND : java.lang.String
val
ENTITY : java.lang.String
val
DEF : java.lang.String
val
REF : java.lang.String
val
LINE : java.lang.String
val
COLUMN : java.lang.String
val
OFFSET : java.lang.String
val
END_LINE : java.lang.String
val
END_COLUMN : java.lang.String
val
END_OFFSET : java.lang.String
val
FILE : java.lang.String
val
ID : java.lang.String
val
POSITION_PROPERTIES : scala.collection.immutable.Set[java.lang.String]
val
POSITION : java.lang.String
val
LOCATION : java.lang.String
val
TCLASS : java.lang.String
val
TYCON : java.lang.String
val
FIXED_DECL : java.lang.String
val
FIXED : java.lang.String
val
CONST_DECL : java.lang.String
val
CONST : java.lang.String
val
FACT_DECL : java.lang.String
val
FACT : java.lang.String
val
DYNAMIC_FACT : java.lang.String
val
LOCAL_FACT_DECL : java.lang.String
val
LOCAL_FACT : java.lang.String
val
TFREE : java.lang.String
val
TVAR : java.lang.String
val
FREE : java.lang.String
val
SKOLEM : java.lang.String
val
BOUND : java.lang.String
val
VAR : java.lang.String
val
NUM : java.lang.String
val
FLOAT : java.lang.String
val
XNUM : java.lang.String
val
XSTR : java.lang.String
val
LITERAL : java.lang.String
val
INNER_COMMENT : java.lang.String
val
SORT : java.lang.String
val
TYP : java.lang.String
val
TERM : java.lang.String
val
PROP : java.lang.String
val
ATTRIBUTE : java.lang.String
val
METHOD : java.lang.String
val
ML_SOURCE : java.lang.String
val
DOC_SOURCE : java.lang.String
val
ANTIQ : java.lang.String
val
ML_ANTIQ : java.lang.String
val
DOC_ANTIQ : java.lang.String
val
ML_KEYWORD : java.lang.String
val
ML_IDENT : java.lang.String
val
ML_TVAR : java.lang.String
val
ML_NUMERAL : java.lang.String
val
ML_CHAR : java.lang.String
val
ML_STRING : java.lang.String
val
ML_COMMENT : java.lang.String
val
ML_MALFORMED : java.lang.String
val
ML_DEF : java.lang.String
val
ML_OPEN : java.lang.String
val
ML_STRUCT : java.lang.String
val
ML_REF : java.lang.String
val
ML_TYPING : java.lang.String
val
KEYWORD_DECL : java.lang.String
val
COMMAND_DECL : java.lang.String
val
KEYWORD : java.lang.String
val
COMMAND : java.lang.String
val
IDENT : java.lang.String
val
STRING : java.lang.String
val
ALTSTRING : java.lang.String
val
VERBATIM : java.lang.String
val
COMMENT : java.lang.String
val
CONTROL : java.lang.String
val
MALFORMED : java.lang.String
val
COMMAND_SPAN : java.lang.String
val
IGNORED_SPAN : java.lang.String
val
MALFORMED_SPAN : java.lang.String
val
STATE : java.lang.String
val
SUBGOAL : java.lang.String
val
SENDBACK : java.lang.String
val
HILITE : java.lang.String
val
TASK : java.lang.String
val
UNPROCESSED : java.lang.String
val
RUNNING : java.lang.String
val
FAILED : java.lang.String
val
FINISHED : java.lang.String
val
DISPOSED : java.lang.String
val
EDITS : java.lang.String
val
EDIT : java.lang.String
val
PID : java.lang.String
val
SESSION : java.lang.String
val
MESSAGE : java.lang.String
val
CLASS : java.lang.String
val
INIT : java.lang.String
val
STATUS : java.lang.String
val
WRITELN : java.lang.String
val
PRIORITY : java.lang.String
val
TRACING : java.lang.String
val
WARNING : java.lang.String
val
ERROR : java.lang.String
val
DEBUG : java.lang.String
val
SYSTEM : java.lang.String
val
STDIN : java.lang.String
val
STDOUT : java.lang.String
val
SIGNAL : java.lang.String
val
EXIT : java.lang.String
val
READY : java.lang.String
val
ROOT : java.lang.String
val
RAW : java.lang.String
val
BAD : java.lang.String
Scala 2
|
|