Archived Website: This website is a static snapshot for archival purposes only. It is no longer maintained or updated.

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