org.eclipse.ocl.examples.library.executor

Class JavaType

java.lang.Object

org.eclipse.ocl.examples.domain.types.AbstractType

org.eclipse.ocl.examples.library.executor.JavaType

All Implemented Interfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue

public class JavaType
extends AbstractType

JavaType supports the usage of Java Class to define the type of an object.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Class<?>	javaClass

Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractType

name, standardLibrary

Constructor Summary

Constructors

Constructor and Description
JavaType(DomainStandardLibrary standardLibrary, java.lang.Class<?> javaClass)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType) Return true if this type conform to thatType within standardLibrary.
DomainType	getCommonType(IdResolver idResolver, DomainType type) Return the most derived type com mon to this type and thatType within standardLibrary.
DomainInheritance	getInheritance(DomainStandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
boolean	isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType) Return true if this is the same type as thatType within standardLibrary.
LibraryFeature	lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractType

createInstance, createInstance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, oclEquals, oclHashCode, specializeIn

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

javaClass

@NonNull
protected final java.lang.Class<?> javaClass

Constructor Detail

JavaType

public JavaType(@NonNull
        DomainStandardLibrary standardLibrary,
        @NonNull
        java.lang.Class<?> javaClass)

Method Detail

conformsTo

public boolean conformsTo(@NonNull
                 DomainStandardLibrary standardLibrary,
                 @NonNull
                 DomainType thatType)

Description copied from interface: DomainType

Return true if this type conform to thatType within standardLibrary.

getCommonType

@NonNull
public DomainType getCommonType(@NonNull
                               IdResolver idResolver,
                               @NonNull
                               DomainType type)

Description copied from interface: DomainType

Return the most derived type com mon to this type and thatType within standardLibrary.

Specified by:

getCommonType in interface DomainType

Specified by:

getCommonType in class AbstractType

getInheritance

@NonNull
public DomainInheritance getInheritance(@NonNull
                                       DomainStandardLibrary standardLibrary)

Description copied from interface: DomainType

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface DomainType

Overrides:

getInheritance in class AbstractType

getTypeId

@NonNull
public TypeId getTypeId()

Description copied from interface: DomainType

Return a unique StandardLibrary-independent identifier for this type.

Returns:

isEqualTo

public boolean isEqualTo(@NonNull
                DomainStandardLibrary standardLibrary,
                @NonNull
                DomainType thatType)

Description copied from interface: DomainType

Return true if this is the same type as thatType within standardLibrary.

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                          DomainStandardLibrary standardLibrary,
                                          @NonNull
                                          DomainOperation staticOperation)

Description copied from interface: DomainType

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object