|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectparser.SimpleNode
Implementierung eines Baumes zum Aufbau des Parse-Tree, der Verifikationsbedingungen und der Vereinfachungsregeln.
SimpRule
,
VerifCondCreater
Field Summary | |
protected Node[] |
children
Kindknoten. |
protected int |
id
Knotentyp. |
protected java.lang.String |
name
Knotenbezeichner. |
protected Node |
parent
ParentKnoten. |
protected Verifier |
parser
Von "JJTree" automatisch generiertes Feld. |
Constructor Summary | |
SimpleNode(int i)
Von "JJTree" automatisch generierter Konstruktor. |
|
SimpleNode(int i,
java.lang.String nname)
Erzeugt einen Baumknoten vom Typ i und Bezeichner nname ohne Kindknoten. |
|
SimpleNode(int i,
java.lang.String nname,
SimpleNode[] cchildren)
Erzeugt einen Baumknoten vom Typ i und Bezeichner nname mit den Kindern cchildren. |
|
SimpleNode(Verifier p,
int i)
Von "JJTree" automatisch generierter Konstruktor. |
Method Summary | |
SimpleNode |
copy()
Liefert eine tiefe Kopie dieses Baumes. |
void |
down(int cons,
java.lang.String name)
Vertauscht den zweiten Kindknoten des aktuellen SimpleNode mit dem zweiten Kindknoten des ersten Kindknoten des aktuellen SimpleNode, falls der erste Kindknoten des aktuellen SimpleNode vom Typ cons ist und den Namen name trägt. |
void |
downAdd()
Spezielle Version von down(int cons, String name) ,
die allerdingsberücksichtigt, dass Addition und Subtraktion bei der Linksklammerung
gleichgestellt sind. |
java.lang.String |
dump(java.lang.String prefix)
Liefert eine String-Repraesentation dieses Knotens mit Kindern und dem Zeilenprefix prefix. |
java.lang.String |
dumpExpr()
Liefert eine gemaess den entsprechenden Praezedenzen geklammerte String-Repraesentation dieses Knotens mit Kindern. |
IntList |
dumpExprList()
Liefert eine IntegerListe, die an i-ter Stelle die Länge des String-Ausdrucks enthält, der dem i-ten Knoten in der Sring-Repraesentation unter Beruecksichtigung der Klammerung gemaess Praezedenzen entspricht. |
java.lang.String |
dumpExprOneLine()
Liefert eine gemaess den entsprechenden Praezedenzen geklammerte, einzeilige String-Repraesentation dieses Knotens mit Kindern. |
java.lang.String |
dumpExprWithPrecedences(int prec,
boolean parenthesis,
boolean isRoot,
boolean oneline)
Liefert eine gemaess den entsprechenden Praezedenzen geklammerte, bei Bedarf einzeilige String-Repraesentation dieses Knotens mit Kindern. |
IntList |
dumpExprWithPrecedencesList(int prec,
boolean parenthesis,
boolean isRoot,
IntList liste,
int lang)
Liefert eine IntegerListe, die an i-ter Stelle die Länge des String-Ausdrucks enthält, der dem i-ten Knoten in der Sring-Repraesentation unter Beruecksichtigung der Klammerung gemaess Praezedenzen entspricht. |
SimpleNode |
getChild(int i)
Liefert i-ten Kindknoten des Arrays children. |
java.lang.String |
getName()
Liefert den Knotenbezeichner. |
int |
getNodeType()
Liefert den Knotentyp. |
SimpleNode |
getParent()
Liefert den Parentknoten des aktuellen SimpleNode. |
void |
inverse()
Vertauscht die beiden Kinderknoten der aktuellen SimpleNode, falls der Knoten zwei Kinderknoten hat. |
void |
jjtAddChild(Node n,
int i)
Von "JJTree" automatisch generierte Methode. |
void |
jjtClose()
Von "JJTree" automatisch generierte Methode. |
Node |
jjtGetChild(int i)
Von "JJTree" automatisch generierte Methode. |
int |
jjtGetNumChildren()
Liefert die Anzahl der Kindknoten. |
Node |
jjtGetParent()
Von "JJTree" automatisch generierte Methode. |
void |
jjtOpen()
Von "JJTree" automatisch generierte Methode. |
void |
jjtSetParent(Node n)
Von "JJTree" automatisch generierte Methode. |
void |
leftAddFirst()
Fuehrt zu einer Linksklammerung bei Verschachtelten mehrerer Additionen und Subtraktionen. |
void |
leftFirst(int type,
java.lang.String name)
Führt zu einer Linksklammerung bei Verschachtelten mehrerer Operationen vom Typ type und mit Namen name durch. |
void |
mod(SimpleNode simpCond)
Ersetzt in einer SimpleNode den vom Benutzer markierten Teilbaum durch einen vereinfachten Teilbaum simpCond unter Berücksichtigung der Linksklammerung von verschachtelten Summen und Produkten. |
void |
negSub()
Ersetzt alle Knoten vom Typ VerifierTreeConstants.JJTNUM mit negativem Wert druch einen Knoten vom Typ VerifierTreeConstants.JJTNEG und einen Knoten vom Typ VerifierTreeConstants.JJTNUM mit positivem Wert. |
boolean |
notOccur(java.lang.String nodeName)
Gibt an, ob der Knoten mit dem Bezeichner nodeName in diesem Baum vorkommt. |
void |
removeChild(int numChild)
Loescht das an der Position numChild befindliche Kind. |
void |
replaceAll(SimpleNode oldNode,
SimpleNode newNode)
Ersetzt alle Identifier-Knoten (Typ VerifierTreeConstants.JJTID), die den gleichen Bezeichner wie der Identifier-Knoten oldNode besitzen, durch den Knoten newNode. |
void |
replaceAll(java.lang.String nameOfOldNode,
SimpleNode newNode)
Ersetzt alle Knoten mit dem Bezeichner nameOfOldNode durch den Knoten newNode. |
void |
replaceNode(SimpleNode newNode)
Ersetzt diesen Knoten durch newNode. |
void |
setName(java.lang.String nname)
Setzt den Knotenbezeichner. |
void |
setParents()
Setzt in einem Baum die Node parent für alle Knoten, außer fuer den Wurzelknoten. |
void |
setParents(Node newparent)
Setzt für diesen Knoten und alle seine Kindknoten den Wert parent. |
void |
standard()
Standardisiert einen SimpleNode durch Anwendung von negSub() ,
leftAddFirst() und leftFirst(int type, String name) . |
java.lang.String |
toString()
Liefert eine String-Repraesentation dieses Knotens ohne Kinder. |
java.lang.String |
toString(java.lang.String prefix)
Liefert eine String-Repraesentation dieses Knotens ohne Kinder mit dem Zeilenprefix prefix. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected Node parent
protected Node[] children
protected int id
protected Verifier parser
protected java.lang.String name
Constructor Detail |
public SimpleNode(int i)
public SimpleNode(int i, java.lang.String nname, SimpleNode[] cchildren)
public SimpleNode(int i, java.lang.String nname)
public SimpleNode(Verifier p, int i)
Method Detail |
public void jjtOpen()
jjtOpen
in interface Node
public void jjtClose()
jjtClose
in interface Node
public void jjtSetParent(Node n)
jjtSetParent
in interface Node
public Node jjtGetParent()
jjtGetParent
in interface Node
public SimpleNode getParent()
public void jjtAddChild(Node n, int i)
jjtAddChild
in interface Node
public Node jjtGetChild(int i)
jjtGetChild
in interface Node
public SimpleNode getChild(int i)
public int jjtGetNumChildren()
jjtGetNumChildren
in interface Node
public java.lang.String getName()
public void setName(java.lang.String nname)
public void setParents()
setParents
in interface Node
public void setParents(Node newparent)
setParents
in interface Node
public int getNodeType()
public boolean notOccur(java.lang.String nodeName)
public SimpleNode copy()
public void replaceAll(SimpleNode oldNode, SimpleNode newNode)
public void replaceAll(java.lang.String nameOfOldNode, SimpleNode newNode)
public void replaceNode(SimpleNode newNode)
public void removeChild(int numChild)
public java.lang.String toString()
public java.lang.String toString(java.lang.String prefix)
public java.lang.String dump(java.lang.String prefix)
public java.lang.String dumpExprWithPrecedences(int prec, boolean parenthesis, boolean isRoot, boolean oneline)
prec
- Praezedenzparenthesis
- true erzwingt eine von der Praezedenz unabhaengigen Klammerung.isRoot
- true bedeutet, dass die Methode gerade die Wurzel eines SimpleNode bearbeitet,
wird fuer die spezielle Ausgabebehandlung der Implikation verwendet.oneline
- true bedeutet, dass die String-Repraesentation in einer Zeile erzwungen wird.public java.lang.String dumpExpr()
dumpExprWithPrecedences(int prec, boolean parenthesis, boolean isRoot, boolean oneline)
.
public java.lang.String dumpExprOneLine()
dumpExprWithPrecedences(int prec, boolean parenthesis, boolean isRoot, boolean oneline)
.
public IntList dumpExprList()
dumpExprWithPrecedencesList(int prec, boolean parenthesis, boolean isRoot, IntList liste, int lang)
.
public IntList dumpExprWithPrecedencesList(int prec, boolean parenthesis, boolean isRoot, IntList liste, int lang)
prec
- Praezedenzparenthesis
- true erzwingt eine von der Praezedenz unabhaengigen Klammerung.isRoot
- true bedeutet, dass die Methode gerade die Wurzel eines SimpleNode bearbeitet,
wird fuer die spezielle Ausgabebehandlung der Implikation verwendet.liste
- Integer-Listelang
- Zwischenspeicher für die Anzahl der Zeichen des aktuell bearbeiteten Knotenspublic void inverse()
public void down(int cons, java.lang.String name)
inverse()
.
cons
- Typ des ersten Kindknotens, mit dem eine Verschiebung stattfinden soll.name
- Name des ersten Kindknotens, mit dem eine Verschiebung stattfinden soll.public void downAdd()
down(int cons, String name)
,
die allerdingsberücksichtigt, dass Addition und Subtraktion bei der Linksklammerung
gleichgestellt sind. Benutzt inverse()
.
public void leftAddFirst()
inverse()
und down(int cons, String name)
.
public void leftFirst(int type, java.lang.String name)
inverse()
und down(int cons, String name)
.
public void negSub()
public void standard()
negSub()
,
leftAddFirst()
und leftFirst(int type, String name)
.
public void mod(SimpleNode simpCond)
simpCond
- neuer Ausdruck, der den markierten Teilbaum ersetzen soll.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |