|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.tuberlin.cs.cis.ocl.eval.Evaluator
Interprets and evaluates OCL constraints on the instance level of a model. Specified instances and properties of model types are accessed to evaluate expressed constraints. Evaluation results can be used to validate the correctness of a model.
ModelFacade
Constructor Summary | |
Evaluator(ModelFacade model)
Constructs an Evaluator to validate constraints against a model. |
Method Summary | |
Report |
evaluate(de.tuberlin.cs.cis.ocl.parser.node.Start ast)
Interprets OCL constraints represented by an AST. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Evaluator(ModelFacade model)
ModelFacade
describing
the type and instance-level of a model. The facade is accessed
to check type conformance of OCL constraints. The facade's
instance level provides the means to evaluate constraints.
model
- describes the type and instance level of a model.Method Detail |
public Report evaluate(de.tuberlin.cs.cis.ocl.parser.node.Start ast)
ast
- an ast representing OCL constraints.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |