de.tuberlin.cs.cis.ocl.model
Interface ModelFacade

All Superinterfaces:

TypeFacade

All Known Implementing Classes:

ExampleModel, MofFacade

public interface ModelFacade

extends TypeFacade

Provides information about and access to a model in order to use it in the OCL-Context. The model is described from both perspectives, the context checker perspective through its supertype TypeFacade and the evaluation perspective. The informations provided through this interface are a de facto minimal set of informations a model must provide to be fully constraineable by OCL.

Author:

fchabar

See Also:

de.tuberlin.cs.cis.ocl.model.check, de.tuberlin.cs.cis.ocl.model.eval

Method Summary

java.util.Set	getAllClassifiers() Returns the set of all classifier defined in the model.
java.util.Set	getAllStates() Returns the set of all states defined in the model.
ReflectionFactory	getReflectionFactory() Returns a ReflectionFactory in order to provide reflective informations about the model.

Methods inherited from interface de.tuberlin.cs.cis.ocl.model.check.TypeFacade

getClassifier

Method Detail

getReflectionFactory

public ReflectionFactory getReflectionFactory()

Returns a ReflectionFactory in order to provide reflective informations about the model. The informations are primaryly used to describe the OCL type OclType. But most importantly the ReflectionFactory provides access to all instances of a context or a classifier.

Returns:

a ReflectionFactory.

getAllClassifiers

public java.util.Set getAllClassifiers()

Returns the set of all classifier defined in the model. The classifiers are used to implement the Operation OclType.allInstances().

Returns:

all types defined in the model. The types are of type ClassifierDescriptor.

See Also:

OCL 1.5 Standard

getAllStates

public java.util.Set getAllStates()

Returns the set of all states defined in the model. The states are used to implement the Operation OclState.allInstances().

Returns:

all states defined in the model. The states are described by their names. The names contained by the returned set are of type String.

See Also:

OCL 1.5 Standard