Class Precondition

java.lang.Object

cruise.umple.compiler.ConstraintVariable

cruise.umple.compiler.ConstraintTree

cruise.umple.compiler.Precondition

All Implemented Interfaces:

Iterable<ConstraintVariable>

public class Precondition
extends ConstraintTree

The Preconditions are constraints on methods, restricting the method so that it does not process if the constraint is not satisfied.

Constructor Summary

Constructors

Constructor	Description
Precondition(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()
boolean	setMethod(Method aNewMethod)

Methods inherited from class ConstraintTree

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

Methods inherited from class ConstraintVariable

getValue, retrieveClassifier

Methods inherited from class Object

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

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

Precondition

public Precondition(Method aMethod)

Method Details

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