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

    Method Summary
     ClassifierDescriptor getClassifier(java.lang.String name)
              Returns the type described by its name (primarily through its qualified name).
     

    Method Detail

    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.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.
    AmbiguousTypeException - if the type is ambigious in the model, in case of an unqualified name specifier.