de.tuberlin.cs.cis.ocl.model.check
Interface TypeFacade
- All Known Subinterfaces:
- ModelFacade
- All Known Implementing Classes:
- ExampleModel, ExampleTypeFacade, MofFacade, StateModel
- public interface TypeFacade
A TypeFacade
is a facade used to access the types of a model
via its names. The types of a model in the context of OCL 1.5 are
Classifiers especially Enumeration Types. The resolved types are represented
through a ClassifierDescriptor
.
- Author:
- fchabar
- See Also:
- OCL 1.5 Standard
,
de.tuberlin.cs.cis.ocl.model,
de.tuberlin.cs.cis.ocl.model.eval
getClassifier
public ClassifierDescriptor getClassifier(java.lang.String name)
throws UndefinedTypeException,
AmbiguousTypeException
- Returns the type described by its name (primarily through its qualified name).
This method is called each time the context checker has to resolve a type
from the model. The name of the type is directly derived from OCL-
constraints. The OCL Type Checker tries to resolve the type both: qualified
and unqualified. A type may be a classifier or especially an enumeration type.
- Parameters:
name
- The name of the model type to resolve. Namespaces of qualified names
are seperated through '::'. A utility class to transform qualified names into
java.util.List
s or to change the seperator (to be specific '.')
is provided QualifiedName
.
- Returns:
- The type specified through the qualified name.
- Throws:
UndefinedTypeException
- if the type is undefined in the model.
AmbiguousTypeException
- if the type is ambigious in the model, in case
of an unqualified name specifier.