Package org.openflexo.pamela.patterns.annotations

Annotation Types Summary

Annotation Type	Description
Ensures	Defines a property evaluated as a postcondition for a given method, in the context of a given PatternDefinition, and expressed in related paradigm
Requires	Defines a property evaluated as a precondition for a given method, in the context of a given PatternDefinition, and expressed in related paradigm