Archived Website:
This website is a static snapshot for archival purposes only.
It is no longer maintained or updated.
operators
Class PredicateMapKey
java.lang.Object
|
+--operators.PredicateMapKey
- public class PredicateMapKey
- extends java.lang.Object
- implements java.lang.Comparable, java.lang.Cloneable, java.io.Serializable
Diese Klasse repr?sentiert einen Schl?ssel, der in die
Operator.precondPredMap oder
Operator.postcondPredMap eingetragen wird.
In einem solchen Schl?ssel/Knoten kann ein Objekt vom Typ
Predicate und eine Liste von Operatoren, die
dieses Predicate in der Vor- oder Nachbedingung enthalten
gespeichert werden.
- Version:
- 1.1
- Author:
- Nils Malzahn
- See Also:
Operator,
Predicate, Serialized Form
|
Method Summary |
void |
addOperator(Operator op)
Diese Methode f?gt einen Operator hinzu, der das Schl?sselpr?dikat
enth?lt. |
int |
compareTo(java.lang.Object o)
Die Predicates werden einfach alphabetisch anhand des Namens verglichen. |
void |
deleteOperator(Operator op)
Diese Methode l?scht einen Operator aus der operatorList |
java.lang.String |
getKeyName()
|
java.util.ListIterator |
getOperators()
|
java.lang.String |
toString()
Ausgabe des PredicateMapKeys in einen String. |
| Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
keyPred
Predicate keyPred
- Since:
- Version 1.0
operatorList
java.util.LinkedList operatorList
- Since:
- Version 1.0
PredicateMapKey
public PredicateMapKey(Predicate k)
- Parameters:
k - das Pr?dikat, das als Schl?ssel eingetragen werden soll.- Since:
- Version 1.0
getKeyName
public java.lang.String getKeyName()
- Returns:
- den Namen des Schl?sselpr?dikats.
- Since:
- Version 1.0
addOperator
public void addOperator(Operator op)
- Diese Methode f?gt einen Operator hinzu, der das Schl?sselpr?dikat
enth?lt. Wenn die OperatorKlasse schon in der Liste enthalten sein
sollte, so wird er ignoriert.
- Parameters:
op - der hinzuzuf?gende Operator- Since:
- Version 1.0
getOperators
public java.util.ListIterator getOperators()
- Returns:
- gibt einen ListIterator von
Operator-Objekten
zur?ck, die das Schluesselpr?dikat in der Vorbedingung beinhalten.- Since:
- Version 1.0
compareTo
public int compareTo(java.lang.Object o)
- Die Predicates werden einfach alphabetisch anhand des Namens verglichen.
- Specified by:
- compareTo in interface java.lang.Comparable
- Parameters:
o - the Object to be compared.- Returns:
- a negative integer, zero, or a positive integer as this object
is less than, equal to, or greater than the specified object.
- Throws:
- java.lang.ClassCastException - if the specified object's type prevents it
from being compared to this Object.
- Since:
- Version 1.0
toString
public java.lang.String toString()
- Ausgabe des
PredicateMapKeys in einen String.
Ausgegeben wird die der Name des Pr?dikats, das in diesem Schl?ssel
steck und die Anzahl der Operatoren, die in diesem Schl?ssel
gespeichert sind.
- Returns:
- String
- Overrides:
- toString in class java.lang.Object
- Since:
- Version 1.1
deleteOperator
public void deleteOperator(Operator op)
- Diese Methode l?scht einen Operator aus der
operatorList
- Returns:
- den gel?schten Operator
- Since:
- Version 1.1