Package krieger.oclruntime

Contains classes for executing/simulating operations specified in OCL, possibly embedded in a Java application.

See:
          Description

Class Summary
MethodBody Represents a Java method body generated from an OCL operation contract.
PropertyID Identifies a property.
QueryEvaluator<K> A class for evaluating OCL queries represented by Expressions in the context of a method call.
 

Package krieger.oclruntime Description

Contains classes for executing/simulating operations specified in OCL, possibly embedded in a Java application.