Package org.openflexo.pamela.jml

Class JMLExpressionBasedOnMethod<T,I>

java.lang.Object

DefaultBindable

org.openflexo.pamela.jml.JMLExpressionBased<T,I>

org.openflexo.pamela.jml.JMLExpressionBasedOnMethod<T,I>

Type Parameters:

T -

I -

Direct Known Subclasses:

JMLAssignable, JMLEnsures, JMLRequires

public abstract class JMLExpressionBasedOnMethod<T,I>
extends JMLExpressionBased<T,I>

A JML clause or assertion attached to a Method

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	JMLExpressionBasedOnMethod.ParameterBindingVariable

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
JMLExpressionBasedOnMethod(ModelEntity<I> entity, java.lang.reflect.Method method)

Method Summary

Modifier and Type	Method	Description
protected java.util.Map<java.lang.String,java.lang.Object>	buildMethodArguments(java.lang.Object[] args)
java.lang.reflect.Method	getMethod()

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

JMLExpressionBasedOnMethod

public JMLExpressionBasedOnMethod(ModelEntity<I> entity,
                                  java.lang.reflect.Method method)

Method Detail

buildMethodArguments

protected java.util.Map<java.lang.String,java.lang.Object> buildMethodArguments(java.lang.Object[] args)

getMethod

public java.lang.reflect.Method getMethod()