de.tuberlin.cs.cis.ocl.example.eval
Class ExampleModel

java.lang.Object
  |
  +--de.tuberlin.cs.cis.ocl.example.check.ExampleTypeFacade
        |
        +--de.tuberlin.cs.cis.ocl.example.eval.ExampleModel

All Implemented Interfaces:

ModelFacade, TypeFacade

public class ExampleModel

extends ExampleTypeFacade

implements ModelFacade

Represents the model described by the Example Class Diagram of OCL1.5 chapter 6.2.2.

Author:

fchabar

See Also:

OCL 1.5 Standard

Field Summary

Fields inherited from class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeFacade

DIAGRAM, UTIL

Constructor Summary

ExampleModel()

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 class de.tuberlin.cs.cis.ocl.example.check.ExampleTypeFacade

getClassifier

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getClassifier

Constructor Detail

ExampleModel

public ExampleModel()

Method Detail

getReflectionFactory

public ReflectionFactory getReflectionFactory()

Description copied from interface: ModelFacade

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.

Specified by:

getReflectionFactory in interface ModelFacade

Returns:

a ReflectionFactory.

getAllStates

public java.util.Set getAllStates()

Description copied from interface: ModelFacade

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

Specified by:

getAllStates in interface ModelFacade

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

getAllClassifiers

public java.util.Set getAllClassifiers()

Description copied from interface: ModelFacade

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

Specified by:

getAllClassifiers in interface ModelFacade

Returns:

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

See Also:

OCL 1.5 Standard