de.tuberlin.cs.cis.ocl.example.check
Class ExampleEnumDesc

java.lang.Object
  |
  +--de.tuberlin.cs.cis.ocl.example.check.ExampleEnumDesc

All Implemented Interfaces:

ClassifierDescriptor, EnumerationTypeDescriptor

public class ExampleEnumDesc

extends java.lang.Object

implements EnumerationTypeDescriptor

An ExampleEnumDesc describes the enumeration type of the enumerations in the OCL 1.5 example model (i.e. Sex).

Author:

fchabar

See Also:

OCL 1.5 Standard

Field Summary

static ExampleEnumDesc

SEX The Sex enumeration type

Constructor Summary

ExampleEnumDesc(java.lang.String qualifier)
Constructs an enumeration type in the example model.

Method Summary

TypedAssociation	getAssociation(java.lang.String roleName, Type[] qualifiers) Resolves and returns the specified association qualifiable by the specified qualifier parameters on this type.
TypedProperty	getAttribute(java.lang.String attrName, boolean classScoped) Resolves and returns the specified attribute on this type.
java.lang.String[]	getLabels() Returns the labels of the enumeration type.
java.lang.String	getName() Returns the name of the type.
Classifier	getOclSupertype() Returns the predefined OCL 1.5 supertype of this type.
TypedProperty	getOperation(java.lang.String operationName, ClassifierDescriptor[] params, boolean classScoped) Resolves and returns the specified operation on this type.
boolean	isStateDefined(java.lang.String state) Returns true if the specified state is defined on the statemachine attached to this type.
boolean	isSubtypeOf(ClassifierDescriptor type) Returns true if this type is a subtype of the specified type.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

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

equals

Field Detail

SEX

public static final ExampleEnumDesc SEX

The Sex enumeration type

Constructor Detail

ExampleEnumDesc

public ExampleEnumDesc(java.lang.String qualifier)

Constructs an enumeration type in the example model.

Parameters:

qualifier - the qualified name of the enumeration type.

Method Detail

getName

public java.lang.String getName()

Description copied from interface: ClassifierDescriptor

Returns the name of the type. The name is mainly used for feedback purposes. It is recommanded to specify the name qualified.

Specified by:

getName in interface ClassifierDescriptor

Returns:

the name of the type.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getLabels

public java.lang.String[] getLabels()

Description copied from interface: EnumerationTypeDescriptor

Returns the labels of the enumeration type. The label elements must be unique.

Specified by:

getLabels in interface EnumerationTypeDescriptor

Returns:

the labels of the enumeration type.

isSubtypeOf

public boolean isSubtypeOf(ClassifierDescriptor type)

Description copied from interface: ClassifierDescriptor

Returns true if this type is a subtype of the specified type. This relation will be used to build up a type conformance hierarchy within OCL, which will be used in either the type check (for example in oclAsType(OclType)) - and evaluation process (for example in oclIsKindOf(OclType)).

Specified by:

isSubtypeOf in interface ClassifierDescriptor

Parameters:

type - a possible supertype of the model.

Returns:

true if this type is a suptype of the specified type, otherwise false.

getAssociation

public TypedAssociation getAssociation(java.lang.String roleName,
                                       Type[] qualifiers)
                                throws UndefinedFeatureException

Description copied from interface: ClassifierDescriptor

Resolves and returns the specified association qualifiable by the specified qualifier parameters on this type. The association is specified via its role-name. The qualifiers can be used denotationally so that the type can also be predefined (for example an integer). If the qualifier is a model type the qualifiers will be instances of de.tuberlin.cs.cis.ocl.type.ModelType.

Specified by:

getAssociation in interface ClassifierDescriptor

Parameters:

roleName - the role-name of the association/navigation.

Returns:

the specified association

UndefinedFeatureException

See Also:

ModelType.isDescribedBy(ClassifierDescriptor)

getAttribute

public TypedProperty getAttribute(java.lang.String attrName,
                                  boolean classScoped)
                           throws UndefinedFeatureException

Description copied from interface: ClassifierDescriptor

Resolves and returns the specified attribute on this type. The attribute is specified via its name.

Specified by:

getAttribute in interface ClassifierDescriptor

Parameters:

attrName - the name of the attribute

classScoped - true if the attribute is called on the classifier itself.

Returns:

the attribute on this type.

Throws:

UndefinedFeatureException - if the attribute is not defined on this type.

getOclSupertype

public Classifier getOclSupertype()

Description copied from interface: ClassifierDescriptor

Returns the predefined OCL 1.5 supertype of this type. Within the OCL 1.5 context, the type OclAny is the supertype of all types in the model. Thus each subtype of OclAny and OclAny itself can be the predefined supertype of this type (that is Boolean, Integer, Real, String, Enumeration and OclState; the type OclExpression is not supported). The declaration of the predefined supertype will then be used to continue the conformance hierarchy within OCL.

Note: Virtually the predefined supertype is used to import each model type into the OCL context. Especially the model primitive types should extend its natural supertype in order to use the OCL-functionality in its full extents.

Example (from OCL 1.5 - 6.2.2 Example Class Diagram): context Company inv:
self.numberOfEmployees > 50

1) The UML-Type Integer does not extend the predefined type Integer: The expression self.numberOfEmployees would result in an UML-Integer. Sinse neither the UML-Integer nor its supertype OclAny define the Operation >(UML-Integer, OCL-Integer), the expression would be undefined.

2) The UML-Type Integer extends the predefined type Integer: The same expression would result in an UML-Integer that inherits the operation >(OCL-Integer, OCL-Integer). Sinse the UML-Integer would be a subtype of OCL-Integer, the operation would result in the expected OCL-Boolean.

Specified by:

getOclSupertype in interface ClassifierDescriptor

Returns:

the predefined supertype of this model type in order to import the model type into the OCL context.

getOperation

public TypedProperty getOperation(java.lang.String operationName,
                                  ClassifierDescriptor[] params,
                                  boolean classScoped)
                           throws UndefinedFeatureException

Description copied from interface: ClassifierDescriptor

Resolves and returns the specified operation on this type. The operation is specified via its name, its paremeter and if its classifier scoped or not. The identity and equality of operations can be determined through the model implementor. It is assumed that the model is self-contained. Thus the parmeters will all be model classifier.

Specified by:

getOperation in interface ClassifierDescriptor

Parameters:

operationName - the name of the operation.

params - the parameters of the operation.

classScoped - true if the operation is called on the classifier itself.

Returns:

the specified operation.

Throws:

UndefinedFeatureException - if the operation could not be resolved on this type.

isStateDefined

public boolean isStateDefined(java.lang.String state)

Description copied from interface: ClassifierDescriptor

Returns true if the specified state is defined on the statemachine attached to this type. The state will be used for the predefined Operation oclInState(OclState). The argument state will be represented as a String. The form of the String is described in the Standard itself.

Specified by:

isStateDefined in interface ClassifierDescriptor

Parameters:

state - a state of this type's statemachine.

Returns:

true if this type has at least one statemachine attached to itself which defines the specified state, false otherwise.