de.tuberlin.cs.cis.ocl.example.check
Class ExampleTypeFacade
java.lang.Object
|
+--de.tuberlin.cs.cis.ocl.example.check.ExampleTypeFacade
- All Implemented Interfaces:
- TypeFacade
- Direct Known Subclasses:
- ExampleModel
- public class ExampleTypeFacade
- extends java.lang.Object
- implements TypeFacade
Implements the example model defined in OCL1.5 chapter 6.2.2
Example Class Diagram.
- Author:
- fchabar
- See Also:
- OCL 1.5 Standard
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DIAGRAM
public static final ClassifierDescriptor[] DIAGRAM
- All types contained in the example model class diagram.
UTIL
public static final ExampleTypeDesc[] UTIL
- All utility types assumed to be given in the example model.
ExampleTypeFacade
public ExampleTypeFacade()
getClassifier
public ClassifierDescriptor getClassifier(java.lang.String name)
throws UndefinedTypeException
- Description copied from interface:
TypeFacade
- 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.
- Specified by:
getClassifier
in interface TypeFacade
- 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.