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

Field Summary
(package private)  Predicate keyPred
           
(package private)  java.util.LinkedList operatorList
           
 
Constructor Summary
PredicateMapKey(Predicate k)
           
 
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
 

Field Detail

keyPred

Predicate keyPred
Since:
Version 1.0

operatorList

java.util.LinkedList operatorList
Since:
Version 1.0
Constructor Detail

PredicateMapKey

public PredicateMapKey(Predicate k)
Parameters:
k - das Pr?dikat, das als Schl?ssel eingetragen werden soll.
Since:
Version 1.0
Method Detail

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