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

Field Summary
static ClassifierDescriptor[] DIAGRAM
          All types contained in the example model class diagram.
static ExampleTypeDesc[] UTIL
          All utility types assumed to be given in the example model.
 
Constructor Summary
ExampleTypeFacade()
           
 
Method Summary
 ClassifierDescriptor getClassifier(java.lang.String name)
          Returns the type described by its name (primarily through its qualified name).
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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.

Constructor Detail

ExampleTypeFacade

public ExampleTypeFacade()
Method Detail

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.Lists 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.