Package org.openflexo.pamela.jml

Class JMLInvariant<I>

java.lang.Object

DefaultBindable

org.openflexo.pamela.jml.JMLExpressionBased<java.lang.Boolean,I>

org.openflexo.pamela.jml.JMLInvariant<I>

public class JMLInvariant<I>
extends JMLExpressionBased<java.lang.Boolean,I>

Nested Class Summary

Nested classes/interfaces inherited from class org.openflexo.pamela.jml.JMLExpressionBased

JMLExpressionBased.HistoryBindingVariable

Field Summary

Fields inherited from class org.openflexo.pamela.jml.JMLExpressionBased

bindingModel, historyBindingVariables

Constructor Summary

Constructors

Constructor	Description
JMLInvariant(Invariant annotation, ModelEntity<I> entity)

Method Summary

Modifier and Type	Method	Description
void	check(ProxyMethodHandler<I> proxyMethodHandler)

Methods inherited from class org.openflexo.pamela.jml.JMLExpressionBased

evaluate, getBindingFactory, getBindingModel, getExpression, init, notifiedBindingChanged, notifiedBindingDecoded

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JMLInvariant

public JMLInvariant(Invariant annotation,
                    ModelEntity<I> entity)

Method Detail

check

public void check(ProxyMethodHandler<I> proxyMethodHandler)
           throws SpecificationsViolationException

Throws:

SpecificationsViolationException