org.processmining.plugins.ltlchecker.parser

Class ASTStringList

java.lang.Object

org.processmining.plugins.ltlchecker.parser.SimpleNode

org.processmining.plugins.ltlchecker.parser.ASTStringList

All Implemented Interfaces:

Node

public class ASTStringList
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
ASTStringList(int id)
ASTStringList(LTLParser p, int id)

Method Summary

Modifier and Type	Method and Description
java.util.TreeSet	getStrings()
void	setStrings(java.util.TreeSet strings)
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

ASTStringList

public ASTStringList(int id)

ASTStringList

public ASTStringList(LTLParser p,
                     int id)

Method Detail

setStrings

public void setStrings(java.util.TreeSet strings)

getStrings

public java.util.TreeSet getStrings()

toString

public java.lang.String toString(boolean verbose)

Overrides:

toString in class SimpleNode