operators
Class Postcondition

java.lang.Object
  |
  +--operators.Postcondition

public class Postcondition
extends java.lang.Object
implements java.io.Serializable, java.lang.Cloneable

Diese Klasse repr?sentiert eine einzelne komplette Nachbedingung eines Operators.

Version:
1.4
Author:
Christian Fischbach, Nils Malzahn [toString();Clone()]
See Also:
Operator, Serialized Form

Field Summary
private  java.util.LinkedList addList
           
private  java.util.LinkedList deleteList
           
 
Constructor Summary
Postcondition()
           
 
Method Summary
 java.util.LinkedList addAddListPred(Predicate p)
          Erweitert die addList um ein Predicate
 java.util.LinkedList addDeleteListPred(Predicate p)
          Erweitert die deleteList um ein Predicate
 java.lang.Object clone()
          Diese Methode gibt eine ShallowCopy der Postcondition zur?ck.
 void copyFrom(Postcondition src)
          Diese Methode kopiert den Inhalt der enthaltenen PredArguments in die entsprechenden eigenen PredArguments.
 Postcondition deepClone()
          Diese Methode gibt eine deepCopy der Postcondition zur|ck.
 Postcondition deepPointerClone(java.util.Hashtable name2PredArg)
           
 java.util.LinkedList getAddList()
           
 java.util.LinkedList getDeleteList()
           
 java.util.LinkedList setAddList(java.util.LinkedList l)
          Diese Methode setzt die addlist.
 java.util.LinkedList setDeleteList(java.util.LinkedList l)
          Diese Methode setzt die deletelist.
 java.lang.String toString()
          Gibt die AddListe und die DeleteListe als String zur?ck.
 
Methods inherited from class java.lang.Object
, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

addList

private java.util.LinkedList addList
Since:
version 1.0

deleteList

private java.util.LinkedList deleteList
Since:
version 1.0
Constructor Detail

Postcondition

public Postcondition()
Method Detail

getAddList

public java.util.LinkedList getAddList()
Returns:
LinkedList Die addList.
Since:
version 1.0

getDeleteList

public java.util.LinkedList getDeleteList()
Returns:
LinkedList Die deleteList.
Since:
version 1.0

addAddListPred

public java.util.LinkedList addAddListPred(Predicate p)
Erweitert die addList um ein Predicate
Parameters:
p - das hinzugefuegte Predicate
Returns:
LinkedList Die erweiterte addList
Since:
version 1.2

addDeleteListPred

public java.util.LinkedList addDeleteListPred(Predicate p)
Erweitert die deleteList um ein Predicate
Parameters:
p - das hinzugefuegte Predicate
Returns:
LinkedList Die erweiterte deleteList
Since:
version 1.2

setAddList

public java.util.LinkedList setAddList(java.util.LinkedList l)
Diese Methode setzt die addlist.
Parameters:
l - die zu setzende LinkedList.
Returns:
LinkedList die gesetzte addlist.
Since:
version 1.0

setDeleteList

public java.util.LinkedList setDeleteList(java.util.LinkedList l)
Diese Methode setzt die deletelist.
Parameters:
l - die zu setzende LinkedList.
Returns:
LinkedList die gesetzte deletelist.
Since:
version 1.0

toString

public java.lang.String toString()
Gibt die AddListe und die DeleteListe als String zur?ck.
Returns:
Stringrepr?sentation der Postcondition.
Overrides:
toString in class java.lang.Object
Since:
Version 1.1

clone

public java.lang.Object clone()
Diese Methode gibt eine ShallowCopy der Postcondition zur?ck. Die enthaltenen Predicate werden nicht per Predicate.deepClone() geklont.
Returns:
Postcondition-Klon
Overrides:
clone in class java.lang.Object
Since:
Version 1.4

deepClone

public Postcondition deepClone()
Diese Methode gibt eine deepCopy der Postcondition zur|ck. Die enthaltenen Predicate werden nicht per Predicate.deepClone() geklont.
Returns:
Postcondition-Klon
Since:
Version 1.4

deepPointerClone

public Postcondition deepPointerClone(java.util.Hashtable name2PredArg)

copyFrom

public void copyFrom(Postcondition src)
Diese Methode kopiert den Inhalt der enthaltenen PredArguments in die entsprechenden eigenen PredArguments. Wenn die Mächtigkeit der AddListen oder DeleteListen nicht gleich sind, dann passiert nichts. Wenn die Elemente in den Listen nicht gleich sind, dann ist die Kopie in einem undefinierten Zustand [Effizienzüberlegung].
Parameters:
src - die Quelle der Kopien
Since:
1.9