org.eclipse.ocl.pivot.internal

Class ClassImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypeImpl

org.eclipse.ocl.pivot.internal.ClassImpl

All Implemented Interfaces:

Class, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Labelable, Nameable, PivotObject, OCLValue

Direct Known Subclasses:

AnyTypeImpl, AssociationClassImpl, BehaviorImpl, DataTypeImpl, DynamicTypeImpl, ElementExtensionImpl, InvalidTypeImpl, MessageTypeImpl, SelfTypeImpl, SignalImpl, StereotypeImpl, VoidTypeImpl, WildcardTypeImpl

public class ClassImpl
extends TypeImpl
implements Class

An implementation of the model object 'Class'.

The following features are implemented:

• Owned Constraints
• Owned Bindings
• Owned Signature
• Unspecialized Element
• Extenders
• Instance Class Name
• Is Abstract
• Is Active
• Is Interface
• Owned Behaviors
• Owned Invariants
• Owned Operations
• Owned Properties
• Owning Package
• Super Classes

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
void	addClassListener(ClassListeners.IClassListener classListener)
NotificationChain	basicSetOwnedSignature(TemplateSignature newOwnedSignature, NotificationChain msgs)
NotificationChain	basicSetOwningPackage(Package newOwningPackage, NotificationChain msgs)
TypeId	computeId()
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.
int	eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass)
NotificationChain	eBasicRemoveFromContainerFeature(NotificationChain msgs)
int	eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
Object	eInvoke(int operationID, <any> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
Type	getCommonType(IdResolver idResolver, Type type) Return the most derived type common to this type and thatType within standardLibrary.
List<StereotypeExtender>	getExtenders()
CompleteInheritance	getInheritance(StandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
String	getInstanceClassName()
String	getMetaTypeName() Return the name of the meta-type of this type.
Class	getNormalizedType(StandardLibrary standardLibrary) Return the unique executable form of this type within standardLibrary.
List<Behavior>	getOwnedBehaviors()
List<TemplateBinding>	getOwnedBindings()
List<Constraint>	getOwnedConstraints()
List<Constraint>	getOwnedInvariants()
List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
List<Property>	getOwnedProperties() Returns the value of the 'Owned Properties' containment reference list.
TemplateSignature	getOwnedSignature()
Package	getOwningPackage()
List<Class>	getSuperClasses() Returns the value of the 'Super Classes' reference list.
TypeId	getTypeId() Return a unique StandardLibrary-independent identifier for this type.
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this type.
TemplateableElement	getUnspecializedElement() Returns the value of the 'Unspecialized Element' reference.
Class	isClass()
boolean	isIsAbstract()
boolean	isIsActive()
boolean	isIsInterface()
boolean	isOrdered() Return true if this type is a Collection type and has ordered elements.
TemplateParameter	isTemplateParameter()
boolean	isUnique() Return true if this type is a Collection type and has unique elements.
Operation	lookupActualOperation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
void	removeClassListener(ClassListeners.IClassListener classListener)
void	setInstanceClassName(String newInstanceClassName)
void	setIsAbstract(boolean newIsAbstract)
void	setIsActive(boolean newIsActive)
void	setIsInterface(boolean newIsInterface)
void	setName(String newName)
void	setOwnedSignature(TemplateSignature newOwnedSignature)
void	setOwningPackage(Package newOwningPackage)
void	setUnspecializedElement(TemplateableElement newUnspecializedElement)
Type	specializeIn(CallExp callExpr, Type selfType)
String	toString()
boolean	validateNameIsNotNull(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUniqueInvariantName(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.TypeImpl

createInstance, createInstance, flattenedType, getPackage, isEqualTo, isEqualToUnspecializedType, oclEquals, oclHashCode

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.pivot.Class

createInstance, createInstance

Methods inherited from interface org.eclipse.ocl.pivot.Type

flattenedType, isEqualTo, isEqualToUnspecializedType

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName

Methods inherited from interface org.eclipse.ocl.pivot.Element

allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Method Detail

getOwnedConstraints

public List<Constraint> getOwnedConstraints()

Specified by:

getOwnedConstraints in interface Namespace

Returns:

the value of the 'Owned Constraints' containment reference list.

See Also:

PivotPackage.getNamespace_OwnedConstraints()

EMF generated code

getOwnedSignature

public TemplateSignature getOwnedSignature()

Specified by:

getOwnedSignature in interface TemplateableElement

Returns:

the value of the 'Owned Signature' containment reference.

See Also:

TemplateableElement.setOwnedSignature(TemplateSignature), PivotPackage.getTemplateableElement_OwnedSignature(), TemplateSignature.getOwningElement()

EMF generated code

basicSetOwnedSignature

public NotificationChain basicSetOwnedSignature(TemplateSignature newOwnedSignature,
                                                NotificationChain msgs)

EMF generated code

setOwnedSignature

public void setOwnedSignature(TemplateSignature newOwnedSignature)

Specified by:

setOwnedSignature in interface TemplateableElement

Parameters:

newOwnedSignature - the new value of the 'Owned Signature' containment reference.

See Also:

TemplateableElement.getOwnedSignature()

EMF generated code

getOwnedBindings

public List<TemplateBinding> getOwnedBindings()

Specified by:

getOwnedBindings in interface TemplateableElement

Returns:

the value of the 'Owned Bindings' containment reference list.

See Also:

PivotPackage.getTemplateableElement_OwnedBindings(), TemplateBinding.getOwningElement()

EMF generated code

setUnspecializedElement

public void setUnspecializedElement(TemplateableElement newUnspecializedElement)

Specified by:

setUnspecializedElement in interface TemplateableElement

Parameters:

newUnspecializedElement - the new value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.getUnspecializedElement()

EMF generated code

getExtenders

public List<StereotypeExtender> getExtenders()

Specified by:

getExtenders in interface Class

Returns:

the value of the 'Extenders' reference list.

See Also:

PivotPackage.getClass_Extenders(), StereotypeExtender.getClass_()

EMF generated code

getInstanceClassName

public String getInstanceClassName()

Specified by:

getInstanceClassName in interface Class

Returns:

the value of the 'Instance Class Name' attribute.

See Also:

Class.setInstanceClassName(String), PivotPackage.getClass_InstanceClassName()

EMF generated code

setInstanceClassName

public void setInstanceClassName(String newInstanceClassName)

Specified by:

setInstanceClassName in interface Class

Parameters:

newInstanceClassName - the new value of the 'Instance Class Name' attribute.

See Also:

Class.getInstanceClassName()

EMF generated code

isIsAbstract

public boolean isIsAbstract()

Specified by:

isIsAbstract in interface Class

Returns:

the value of the 'Is Abstract' attribute.

See Also:

Class.setIsAbstract(boolean), PivotPackage.getClass_IsAbstract()

EMF generated code

setIsAbstract

public void setIsAbstract(boolean newIsAbstract)

Specified by:

setIsAbstract in interface Class

Parameters:

newIsAbstract - the new value of the 'Is Abstract' attribute.

See Also:

Class.isIsAbstract()

EMF generated code

isIsActive

public boolean isIsActive()

Specified by:

isIsActive in interface Class

Returns:

the value of the 'Is Active' attribute.

See Also:

Class.setIsActive(boolean), PivotPackage.getClass_IsActive()

EMF generated code

setIsActive

public void setIsActive(boolean newIsActive)

Specified by:

setIsActive in interface Class

Parameters:

newIsActive - the new value of the 'Is Active' attribute.

See Also:

Class.isIsActive()

EMF generated code

isIsInterface

public boolean isIsInterface()

Specified by:

isIsInterface in interface Class

Returns:

the value of the 'Is Interface' attribute.

See Also:

Class.setIsInterface(boolean), PivotPackage.getClass_IsInterface()

EMF generated code

getOwnedInvariants

public List<Constraint> getOwnedInvariants()

Specified by:

getOwnedInvariants in interface Class

Returns:

the value of the 'Owned Invariants' containment reference list.

See Also:

PivotPackage.getClass_OwnedInvariants()

EMF generated code

getOwningPackage

public Package getOwningPackage()

Specified by:

getOwningPackage in interface Class

Returns:

the value of the 'Owning Package' container reference.

See Also:

Class.setOwningPackage(org.eclipse.ocl.pivot.Package), PivotPackage.getClass_OwningPackage(), Package.getOwnedClasses()

EMF generated code

basicSetOwningPackage

public NotificationChain basicSetOwningPackage(Package newOwningPackage,
                                               NotificationChain msgs)

EMF generated code

setOwningPackage

public void setOwningPackage(Package newOwningPackage)

Specified by:

setOwningPackage in interface Class

Parameters:

newOwningPackage - the new value of the 'Owning Package' container reference.

See Also:

Class.getOwningPackage()

EMF generated code

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:

eInverseAdd in class ElementImpl

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class ElementImpl

EMF generated code

eBasicRemoveFromContainerFeature

public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs)

EMF generated code

validateUniqueInvariantName

public boolean validateUniqueInvariantName(DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Specified by:

validateUniqueInvariantName in interface Class

EMF generated code

setIsInterface

public void setIsInterface(boolean newIsInterface)

Specified by:

setIsInterface in interface Class

Parameters:

newIsInterface - the new value of the 'Is Interface' attribute.

See Also:

Class.isIsInterface()

EMF generated code

getOwnedBehaviors

public List<Behavior> getOwnedBehaviors()

Specified by:

getOwnedBehaviors in interface Class

Returns:

the value of the 'Owned Behaviors' containment reference list.

See Also:

PivotPackage.getClass_OwnedBehaviors()

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class NamedElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class NamedElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class NamedElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class NamedElementImpl

EMF generated code

eBaseStructuralFeatureID

public int eBaseStructuralFeatureID(int derivedFeatureID,
                                    Class<?> baseClass)

EMF generated code

eDerivedStructuralFeatureID

public int eDerivedStructuralFeatureID(int baseFeatureID,
                                       Class<?> baseClass)

EMF generated code

eInvoke

public Object eInvoke(int operationID,
                      <any> arguments)
               throws InvocationTargetException

Overrides:

eInvoke in class TypeImpl

Throws:

InvocationTargetException

EMF generated code

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class TypeImpl

Returns:

the result of the visit.

addClassListener

public void addClassListener(ClassListeners.IClassListener classListener)

computeId

public TypeId computeId()

conformsTo

public boolean conformsTo(StandardLibrary standardLibrary,
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

getCommonType

public Type getCommonType(IdResolver idResolver,
                          Type type)

Description copied from interface: Type

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

Specified by:

getCommonType in interface Type

Overrides:

getCommonType in class TypeImpl

getInheritance

public CompleteInheritance getInheritance(StandardLibrary standardLibrary)

Description copied from interface: Type

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface Type

getMetaTypeName

public String getMetaTypeName()

Description copied from interface: Class

Return the name of the meta-type of this type.

Specified by:

getMetaTypeName in interface Class

getNormalizedType

public Class getNormalizedType(StandardLibrary standardLibrary)

Description copied from interface: Type

Return the unique executable form of this type within standardLibrary.

Specified by:

getNormalizedType in interface Type

getOwnedOperations

public List<Operation> getOwnedOperations()

Description copied from interface: Class

Returns the value of the 'Owned Operations' containment reference list. The list contents are of type Operation. It is bidirectional and its opposite is 'Owning Class'. The Operations owned by the Class.

Specified by:

getOwnedOperations in interface Class

Returns:

the value of the 'Owned Operations' containment reference list.

See Also:

PivotPackage.getClass_OwnedOperations(), Operation.getOwningClass()

getOwnedProperties

public List<Property> getOwnedProperties()

Description copied from interface: Class

Returns the value of the 'Owned Properties' containment reference list. The list contents are of type Property. It is bidirectional and its opposite is 'Owning Class'. The Properties owned by the StructuredClassifier. The attributes (i.e., the Properties) owned by the Class.

Specified by:

getOwnedProperties in interface Class

Returns:

the value of the 'Owned Properties' containment reference list.

See Also:

PivotPackage.getClass_OwnedProperties(), Property.getOwningClass()

getSuperClasses

public List<Class> getSuperClasses()

Description copied from interface: Class

Returns the value of the 'Super Classes' reference list. The list contents are of type Class.

Specified by:

getSuperClasses in interface Class

Returns:

the value of the 'Super Classes' reference list.

See Also:

PivotPackage.getClass_SuperClasses()

validateNameIsNotNull

public boolean validateNameIsNotNull(DiagnosticChain diagnostics,
                                     Map<Object,Object> context)

Specified by:

validateNameIsNotNull in interface Class

Since:

1.3

EMF generated code

getTypeId

public TypeId getTypeId()

Description copied from interface: Type

Return a unique StandardLibrary-independent identifier for this type.

Specified by:

getTypeId in interface Type

getTypeParameters

public TemplateParameters getTypeParameters()

Description copied from interface: Class

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface Class

Overrides:

getTypeParameters in class TypeImpl

getUnspecializedElement

public TemplateableElement getUnspecializedElement()

Description copied from interface: TemplateableElement

Returns the value of the 'Unspecialized Element' reference.

If the meaning of the 'Unspecialized Element' reference isn't clear, there really should be more of a description here...

Specified by:

getUnspecializedElement in interface TemplateableElement

Returns:

the value of the 'Unspecialized Element' reference.

See Also:

TemplateableElement.setUnspecializedElement(TemplateableElement), PivotPackage.getTemplateableElement_UnspecializedElement()

isClass

public Class isClass()

Description copied from class: TypeImpl

Specified by:

isClass in interface Type

Overrides:

isClass in class TypeImpl

isOrdered

public boolean isOrdered()

Description copied from interface: Class

Return true if this type is a Collection type and has ordered elements.

Specified by:

isOrdered in interface Class

isUnique

public boolean isUnique()

Description copied from interface: Class

Return true if this type is a Collection type and has unique elements.

Specified by:

isUnique in interface Class

isTemplateParameter

public TemplateParameter isTemplateParameter()

Description copied from class: TypeImpl

Specified by:

isTemplateParameter in interface Type

Overrides:

isTemplateParameter in class TypeImpl

lookupActualOperation

public Operation lookupActualOperation(StandardLibrary standardLibrary,
                                       Operation apparentOperation)

Specified by:

lookupActualOperation in interface Class

lookupImplementation

public LibraryFeature lookupImplementation(StandardLibrary standardLibrary,
                                           Operation apparentOperation)

Description copied from interface: Class

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

Specified by:

lookupImplementation in interface Class

removeClassListener

public void removeClassListener(ClassListeners.IClassListener classListener)

setName

public void setName(String newName)

Description copied from class: NamedElementImpl

Specified by:

setName in interface NamedElement

Overrides:

setName in class NamedElementImpl

Parameters:

newName - the new value of the 'Name' attribute.

See Also:

NamedElement.getName()

specializeIn

public Type specializeIn(CallExp callExpr,
                         Type selfType)

Description copied from class: TypeImpl

Specified by:

specializeIn in interface Type

Overrides:

specializeIn in class TypeImpl

toString

public String toString()

Description copied from class: TypeImpl

Overrides:

toString in class TypeImpl