|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectListOfSubstitutions
Implementation einer Liste aus Substitutions.
Substitution
Constructor Summary | |
ListOfSubstitutions()
Erzeugt eine leere Liste aus Substitutions. |
Method Summary | |
void |
addLast(Substitution newNode)
Fügt ein Element an das Ende der Liste an. |
Substitution |
getNext()
Liefert das nächste Element des Iterators. |
int |
getNumber()
Liefert die Anzahl der Elemente. |
SimpleNode |
getRhsOfSubstitution(java.lang.String name)
Liefert, falls vorhanden, die rechte Seite der Substitution. |
boolean |
hasNext()
Überprüft, ob der Iterator ein nächstes Element liefern kann. |
boolean |
isEmpty()
Überprüft, ob die Liste leer ist. |
void |
resetIterator()
Setzt den Cursor des Iterators auf den Anfang der Liste. |
java.lang.String |
toString()
Liefert eine String-Repräsentation der Liste. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ListOfSubstitutions()
Method Detail |
public int getNumber()
public void addLast(Substitution newNode)
public boolean isEmpty()
public SimpleNode getRhsOfSubstitution(java.lang.String name)
name
- Name der freien Variablen der Substitution.public void resetIterator()
public Substitution getNext()
public boolean hasNext()
public java.lang.String toString()
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |