public class ASTLiteral extends SimpleNode
ALWAYS, AND, ARGUMENT, attribute, ATTRIBUTE, BIGGER, BIGGEROREQUAL, BIIMPLIES, BIPROP, children, COMPPROP, CONCEPTSET, DATESTRING, DIV, DUMMY, EQUAL, EVENTUALLY, EXISTS, EXPR, FORALL, FORMULA, id, IMPLIES, IN, INT, LESSER, LESSOREQUAL, MINUS, MULT, name, NEXTTIME, NOT, NOTEQUAL, OR, parent, parser, PLUS, PROPOSITION, QUANTOR, REAL, REGEXPEQUAL, SET, SETSTRING, STRING, STRINGLIST, SUBFORMULA, type, typeNames, UNMINUS, UNPROP, UNTIL, USEFORMULA, USESTATICFORMULA, VALLIST
Constructor and Description |
---|
ASTLiteral(int id) |
ASTLiteral(LTLParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
java.text.SimpleDateFormat |
getDateParser() |
void |
setDateParser(java.text.SimpleDateFormat sdf) |
java.lang.String |
toString(boolean verbose) |
asParseableString, asParseableString, dump, getAttribute, getName, getType, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setAttribute, setName, setName, setType, toString, toString
public ASTLiteral(int id)
public ASTLiteral(LTLParser p, int id)
public void setDateParser(java.text.SimpleDateFormat sdf)
public java.text.SimpleDateFormat getDateParser()
public java.lang.String toString(boolean verbose)
toString
in class SimpleNode