public class SimpleNode extends java.lang.Object implements Node
Modifier and Type | Field and Description |
---|---|
static int |
ALWAYS |
static int |
AND |
static int |
ARGUMENT |
protected Attribute |
attribute
An attribute associated with the node.
|
static int |
ATTRIBUTE |
static int |
BIGGER |
static int |
BIGGEROREQUAL |
static int |
BIIMPLIES |
static int |
BIPROP |
protected Node[] |
children |
static int |
COMPPROP |
static int |
CONCEPTSET |
static int |
DATESTRING |
static int |
DIV |
static int |
DUMMY |
static int |
EQUAL |
static int |
EVENTUALLY |
static int |
EXISTS |
static int |
EXPR |
static int |
FORALL |
static int |
FORMULA
For determining the type of this node, a special enumeration is
introduced.
|
protected int |
id |
static int |
IMPLIES |
static int |
IN |
static int |
INT |
static int |
LESSER |
static int |
LESSOREQUAL |
static int |
MINUS |
static int |
MULT |
protected java.lang.String |
name
The name or text of this node.
|
static int |
NEXTTIME |
static int |
NOT |
static int |
NOTEQUAL |
static int |
OR |
protected Node |
parent |
protected LTLParser |
parser |
static int |
PLUS |
static int |
PROPOSITION |
static int |
QUANTOR |
static int |
REAL |
static int |
REGEXPEQUAL |
static int |
SET |
static int |
SETSTRING |
static int |
STRING |
static int |
STRINGLIST |
static int |
SUBFORMULA |
protected int |
type
The type of this node.
|
static java.lang.String[] |
typeNames |
static int |
UNMINUS |
static int |
UNPROP |
static int |
UNTIL |
static int |
USEFORMULA |
static int |
USESTATICFORMULA |
static int |
VALLIST |
Constructor and Description |
---|
SimpleNode(int i) |
SimpleNode(LTLParser p,
int i) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
asParseableString() |
java.lang.String |
asParseableString(java.util.List<FormulaParameter> args,
int type) |
void |
dump(java.lang.String prefix) |
Attribute |
getAttribute() |
java.lang.String |
getName()
Gets the name of this node.
|
int |
getType()
Gets the type of this node.
|
void |
jjtAddChild(Node n,
int i)
This method tells the node to add its argument to the node's list of
children.
|
void |
jjtClose()
This method is called after all the child nodes have been added.
|
Node |
jjtGetChild(int i)
This method returns a child node.
|
int |
jjtGetNumChildren()
Return the number of children the node has.
|
Node |
jjtGetParent() |
void |
jjtOpen()
This method is called after the node has been made the current node.
|
void |
jjtSetParent(Node n)
This pair of methods are used to inform the node of its parent.
|
void |
setAttribute(Attribute attribute) |
void |
setName(java.lang.String s)
Sets the name of this node.
|
void |
setName(Token tok)
Sets the name of this node.
|
void |
setType(int t)
Sets the type of this node.
|
java.lang.String |
toString() |
java.lang.String |
toString(boolean verbose) |
java.lang.String |
toString(java.lang.String prefix) |
public static final int FORMULA
public static final int SUBFORMULA
public static final int AND
public static final int OR
public static final int IMPLIES
public static final int BIIMPLIES
public static final int NOT
public static final int ALWAYS
public static final int EVENTUALLY
public static final int NEXTTIME
public static final int UNTIL
public static final int FORALL
public static final int EXISTS
public static final int EQUAL
public static final int NOTEQUAL
public static final int LESSOREQUAL
public static final int BIGGEROREQUAL
public static final int LESSER
public static final int BIGGER
public static final int REGEXPEQUAL
public static final int IN
public static final int PLUS
public static final int MINUS
public static final int MULT
public static final int DIV
public static final int UNPROP
public static final int BIPROP
public static final int EXPR
public static final int INT
public static final int REAL
public static final int STRING
public static final int SET
public static final int COMPPROP
public static final int ATTRIBUTE
public static final int USEFORMULA
public static final int USESTATICFORMULA
public static final int VALLIST
public static final int ARGUMENT
public static final int PROPOSITION
public static final int DUMMY
public static final int QUANTOR
public static final int UNMINUS
public static final int DATESTRING
public static final int SETSTRING
public static final int STRINGLIST
public static final int CONCEPTSET
public static final java.lang.String[] typeNames
protected int type
protected java.lang.String name
protected Attribute attribute
protected Node parent
protected Node[] children
protected int id
protected LTLParser parser
public SimpleNode(int i)
public SimpleNode(LTLParser p, int i)
public void setName(java.lang.String s)
s
- The name of this node.public void setName(Token tok)
tok
- The name of this node, given an token.public void setType(int t)
t
- The type of this node.public java.lang.String getName()
public int getType()
public Attribute getAttribute()
public void setAttribute(Attribute attribute)
public void jjtOpen()
Node
public void jjtClose()
Node
public void jjtSetParent(Node n)
Node
jjtSetParent
in interface Node
public Node jjtGetParent()
jjtGetParent
in interface Node
public void jjtAddChild(Node n, int i)
Node
jjtAddChild
in interface Node
public Node jjtGetChild(int i)
Node
jjtGetChild
in interface Node
public int jjtGetNumChildren()
Node
jjtGetNumChildren
in interface Node
public java.lang.String toString(boolean verbose)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(java.lang.String prefix)
public void dump(java.lang.String prefix)
public java.lang.String asParseableString()
public java.lang.String asParseableString(java.util.List<FormulaParameter> args, int type)