org.processmining.plugins.ltlchecker.parser

Class ASTLiteral

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTLiteral

All Implemented Interfaces:

Node

public class ASTLiteral
extends SimpleNode

Field Summary

Fields inherited from class org.processmining.plugins.ltlchecker.parser.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 Summary

Constructors

Constructor and Description
ASTLiteral(int id)
ASTLiteral(LTLParser p, int id)

Method Summary

Modifier and Type	Method and Description
java.text.SimpleDateFormat	getDateParser()
void	setDateParser(java.text.SimpleDateFormat sdf)
java.lang.String	toString(boolean verbose)

Methods inherited from class org.processmining.plugins.ltlchecker.parser.SimpleNode

asParseableString, asParseableString, dump, getAttribute, getName, getType, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setAttribute, setName, setName, setType, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ASTLiteral

public ASTLiteral(int id)

ASTLiteral

public ASTLiteral(LTLParser p,
                  int id)

Method Detail

setDateParser

public void setDateParser(java.text.SimpleDateFormat sdf)

getDateParser

public java.text.SimpleDateFormat getDateParser()

toString

public java.lang.String toString(boolean verbose)

Overrides:

toString in class SimpleNode