Package cruise.umple.compiler

Class Postcondition

java.lang.Object

cruise.umple.compiler.ConstraintVariable

cruise.umple.compiler.ConstraintTree

cruise.umple.compiler.Postcondition

All Implemented Interfaces:

java.lang.Iterable<ConstraintVariable>

public class Postcondition
extends ConstraintTree

The Preconditions are constraints on methods, throughing an exception if the constraint is not sastisfied after the method has computed.

Constructor Summary

Constructors

Constructor	Description
Postcondition(Method aMethod)

Method Summary

Modifier and Type	Method	Description
ConstraintVariable	addElement(ConstraintVariable aElement)	Adds a node to the tree, the three modes are - if nothing exists in the tree: set the element as the root - if the element is an operator: add the root if it is not null as an operand to the operator, and set the operator to the root - if there exists an operator: add the element as an operand to the operator.
ConstraintTree	createNew()	Creates a new instance of this class, it is used in clone and addElement in order to copy a tree so that there is a deep copy instead of a shallow one This method needs to be overrided for sub classes of ConstaintTree to function properly.
void	delete()
Method	getMethod()
Position	getPosition()
boolean	setMethod(Method aNewMethod)
boolean	setPosition(Position aPosition)
java.lang.String	toString()

Methods inherited from class cruise.umple.compiler.ConstraintTree

addElementAll, clone, equals, getDisplayBrackets, getDisplayNegation, getNamedNames, getNames, getNumberOfElements, getRequestor, getRoot, getShouldDisplayBrackets, getType, hashCode, isEqualTo, isNegatable, iterator, negate, setDisplayNegation, setNames, setNumberOfElements, setRequestor, setRoot, setShouldDisplayBrackets

Methods inherited from class cruise.umple.compiler.ConstraintVariable

getValue, retrieveClassifier

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

Postcondition

public Postcondition(Method aMethod)

Method Details

setPosition

public boolean setPosition(Position aPosition)

getPosition

public Position getPosition()

getMethod

public Method getMethod()

setMethod

public boolean setMethod(Method aNewMethod)

delete

public void delete()

Overrides:

delete in class ConstraintTree

createNew

public ConstraintTree createNew()

Description copied from class: ConstraintTree

Creates a new instance of this class, it is used in clone and addElement in order to copy a tree so that there is a deep copy instead of a shallow one This method needs to be overrided for sub classes of ConstaintTree to function properly.

Overrides:

createNew in class ConstraintTree

addElement

public ConstraintVariable addElement(ConstraintVariable aElement)

Description copied from class: ConstraintTree

Adds a node to the tree, the three modes are - if nothing exists in the tree: set the element as the root - if the element is an operator: add the root if it is not null as an operand to the operator, and set the operator to the root - if there exists an operator: add the element as an operand to the operator.

Overrides:

addElement in class ConstraintTree

toString

public java.lang.String toString()

Overrides:

toString in class ConstraintTree