org.eclipse.ocl.pivot.internal.elements

Class AbstractExecutorClass

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, Class, CompleteInheritance, Element, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

Direct Known Subclasses:

AbstractSpecializedType, ExecutorLambdaType, ExecutorSpecializedType, ExecutorTupleType, ExecutorTupleType, ExecutorType, JavaType, ReflectiveInheritance

public class AbstractExecutorClass
extends AbstractExecutorType
implements Class

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, flags, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

name

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
AbstractExecutorClass(java.lang.String name, int flags)

Method Summary

Modifier and Type	Method and Description
org.eclipse.emf.ecore.EObject	createInstance() Return a new instance of this type from valueFactory.
java.lang.Object	createInstance(java.lang.String value) Return a new instance of this data type from valueFactory.
Class	getBehavioralClass()
java.util.List<StereotypeExtender>	getExtenders() Returns the value of the 'Extenders' reference list.
CompleteInheritance	getInheritance(StandardLibrary standardLibrary) Return the inheritance description for this type within standardLibrary.
java.lang.String	getInstanceClassName() Returns the value of the 'Instance Class Name' attribute.
java.lang.String	getMetaTypeName() Return the name of the meta-type of this type.
java.util.List<Behavior>	getOwnedBehaviors() Returns the value of the 'Owned Behaviors' containment reference list.
java.util.List<TemplateBinding>	getOwnedBindings() Returns the value of the 'Owned Bindings' containment reference list.
java.util.List<Constraint>	getOwnedConstraints() Returns the value of the 'Owned Constraints' containment reference list.
java.util.List<Constraint>	getOwnedInvariants() Returns the value of the 'Owned Invariants' containment reference list.
java.util.List<Operation>	getOwnedOperations() Returns the value of the 'Owned Operations' containment reference list.
java.util.List<Property>	getOwnedProperties() Returns the value of the 'Owned Properties' containment reference list.
TemplateSignature	getOwnedSignature() Returns the value of the 'Owned Signature' containment reference.
Package	getOwningPackage() Returns the value of the 'Owning Package' container reference.
java.util.List<Class>	getSuperClasses() Returns the value of the 'Super Classes' reference list.
TemplateParameters	getTypeParameters() Return the ordered list of type parameters of this type.
TemplateableElement	getUnspecializedElement() Returns the value of the 'Unspecialized Element' reference.
boolean	isIsAbstract() Returns the value of the 'Is Abstract' attribute.
boolean	isIsActive() Returns the value of the 'Is Active' attribute.
boolean	isIsInterface() Returns the value of the 'Is Interface' attribute.
boolean	isIsSerializable()
boolean	isOrdered() Return true if this type is a Collection type and has ordered elements.
boolean	isUnique() Return true if this type is a Collection type and has unique elements.
void	setBehavioralClass(Class value)
void	setInstanceClassName(java.lang.String value) Sets the value of the 'Instance Class Name' attribute.
void	setIsAbstract(boolean value) Sets the value of the 'Is Abstract' attribute.
void	setIsActive(boolean value) Sets the value of the 'Is Active' attribute.
void	setIsInterface(boolean value) Sets the value of the 'Is Interface' attribute.
void	setIsSerializable(boolean value)
void	setOwnedSignature(TemplateSignature value) Sets the value of the 'Owned Signature' containment reference.
void	setOwningPackage(Package value) Sets the value of the 'Owning Package' container reference.
void	setUnspecializedElement(TemplateableElement value) Sets the value of the 'Unspecialized Element' reference.
boolean	validateNameIsNotNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUniqueInvariantName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

conformsTo, flattenedType, getAllProperSuperFragments, getAllSuperFragments, getCommonType, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getNormalizedType, getPivotClass, getSelfFragment, getSuperFragments, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, oclEquals, oclHashCode, specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

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

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

lookupActualOperation, lookupImplementation

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

conformsTo, flattenedType, getCommonType, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

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

oclEquals, oclHashCode

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

getName, setName

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

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

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

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

eClass

Constructor Detail

AbstractExecutorClass

public AbstractExecutorClass(@NonNull
                             java.lang.String name,
                             int flags)

Method Detail

createInstance

@NonNull
public org.eclipse.emf.ecore.EObject createInstance()

Description copied from interface: Class

Return a new instance of this type from valueFactory. Properties may be initialised using Property.initValue(Object, Object) provided no side-effect free OCL functionality is permitted to use the ObjectValue until initialisation has completed.

Specified by:

createInstance in interface Class

createInstance

@Nullable
public java.lang.Object createInstance(@NonNull
                                                  java.lang.String value)

Description copied from interface: Class

Return a new instance of this data type from valueFactory.

Specified by:

createInstance in interface Class

Parameters:

value - string initial value

getBehavioralClass

public Class getBehavioralClass()

getExtenders

@NonNull
public java.util.List<StereotypeExtender> getExtenders()

Description copied from interface: Class

Returns the value of the 'Extenders' reference list. The list contents are of type StereotypeExtender. It is bidirectional and its opposite is 'Class'.

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

Specified by:

getExtenders in interface Class

Returns:

the value of the 'Extenders' reference list.

See Also:

PivotPackage.getClass_Extenders(), StereotypeExtender.getClass_()

getInheritance

@NonNull
public CompleteInheritance getInheritance(@NonNull
                                                    StandardLibrary standardLibrary)

Description copied from interface: Type

Return the inheritance description for this type within standardLibrary.

Specified by:

getInheritance in interface Type

Overrides:

getInheritance in class AbstractExecutorType

getInstanceClassName

public java.lang.String getInstanceClassName()

Description copied from interface: Class

Returns the value of the 'Instance Class Name' attribute.

If the meaning of the 'Instance Class Name' attribute isn't clear, there really should be more of a description here...

Specified by:

getInstanceClassName in interface Class

Returns:

the value of the 'Instance Class Name' attribute.

See Also:

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

getMetaTypeName

@NonNull
public java.lang.String getMetaTypeName()

Description copied from interface: Class

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

Specified by:

getMetaTypeName in interface Class

getOwnedBehaviors

@NonNull
public java.util.List<Behavior> getOwnedBehaviors()

Description copied from interface: Class

Returns the value of the 'Owned Behaviors' containment reference list. The list contents are of type Behavior.

If the meaning of the 'Owned Behaviors' containment reference list isn't clear, there really should be more of a description here...

Behaviors owned by a BehavioredClassifier.

Specified by:

getOwnedBehaviors in interface Class

Returns:

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

See Also:

PivotPackage.getClass_OwnedBehaviors()

getOwnedBindings

public java.util.List<TemplateBinding> getOwnedBindings()

Description copied from interface: TemplateableElement

Returns the value of the 'Owned Bindings' containment reference list. The list contents are of type TemplateBinding. It is bidirectional and its opposite is 'Owning Element'. The optional TemplateBindings from this TemplateableElement to one or more templates.

Specified by:

getOwnedBindings in interface TemplateableElement

Returns:

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

See Also:

PivotPackage.getTemplateableElement_OwnedBindings(), TemplateBinding.getOwningElement()

getOwnedConstraints

@NonNull
public java.util.List<Constraint> getOwnedConstraints()

Description copied from interface: Namespace

Returns the value of the 'Owned Constraints' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Owned Rule' containment reference list isn't clear, there really should be more of a description here...

Specifies a set of Constraints owned by this Namespace.

Specified by:

getOwnedConstraints in interface Namespace

Returns:

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

See Also:

PivotPackage.getNamespace_OwnedConstraints()

getOwnedInvariants

@NonNull
public java.util.List<Constraint> getOwnedInvariants()

Description copied from interface: Class

Returns the value of the 'Owned Invariants' containment reference list. The list contents are of type Constraint.

If the meaning of the 'Owned Invariants' containment reference list isn't clear, there really should be more of a description here...

Specified by:

getOwnedInvariants in interface Class

Returns:

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

See Also:

PivotPackage.getClass_OwnedInvariants()

getOwnedOperations

@NonNull
public java.util.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

@NonNull
public java.util.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()

getOwnedSignature

public TemplateSignature getOwnedSignature()

Description copied from interface: TemplateableElement

Returns the value of the 'Owned Signature' containment reference. It is bidirectional and its opposite is 'Owning Element'. The optional TemplateSignature specifying the formal TemplateParameters for this TemplateableElement. If a TemplateableElement has a TemplateSignature, then it is a template.

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()

getOwningPackage

public Package getOwningPackage()

Description copied from interface: Class

Returns the value of the 'Owning Package' container reference. It is bidirectional and its opposite is 'Owned Classes'.

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()

getSuperClasses

@NonNull
public java.util.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()

getTypeParameters

@NonNull
public TemplateParameters getTypeParameters()

Description copied from interface: Class

Return the ordered list of type parameters of this type.

Specified by:

getTypeParameters in interface Class

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()

isIsAbstract

public boolean isIsAbstract()

Description copied from interface: Class

Returns the value of the 'Is Abstract' attribute. The default value is "false". If true, the Class does not provide a complete declaration and cannot be instantiated. An abstract Class is typically used as a target of Associations or Generalizations. If true, the Classifier can only be instantiated by instantiating one of its specializations. An abstract Classifier is intended to be used by other Classifiers e.g., as the target of Associations or Generalizations.

Specified by:

isIsAbstract in interface Class

Returns:

the value of the 'Is Abstract' attribute.

See Also:

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

isIsActive

public boolean isIsActive()

Description copied from interface: Class

Returns the value of the 'Is Active' attribute. The default value is "false". Determines whether an object specified by this Class is active or not. If true, then the owning Class is referred to as an active Class. If false, then such a Class is referred to as a passive Class.

Specified by:

isIsActive in interface Class

Returns:

the value of the 'Is Active' attribute.

See Also:

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

isIsInterface

public boolean isIsInterface()

Description copied from interface: Class

Returns the value of the 'Is Interface' attribute. The default value is "false".

If the meaning of the 'Is Interface' attribute isn't clear, there really should be more of a description here...

Specified by:

isIsInterface in interface Class

Returns:

the value of the 'Is Interface' attribute.

See Also:

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

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

isIsSerializable

public boolean isIsSerializable()

setBehavioralClass

public void setBehavioralClass(Class value)

setInstanceClassName

public void setInstanceClassName(java.lang.String value)

Description copied from interface: Class

Sets the value of the 'Instance Class Name' attribute.

Specified by:

setInstanceClassName in interface Class

Parameters:

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

See Also:

Class.getInstanceClassName()

setIsAbstract

public void setIsAbstract(boolean value)

Description copied from interface: Class

Sets the value of the 'Is Abstract' attribute.

Specified by:

setIsAbstract in interface Class

Parameters:

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

See Also:

Class.isIsAbstract()

setIsActive

public void setIsActive(boolean value)

Description copied from interface: Class

Sets the value of the 'Is Active' attribute.

Specified by:

setIsActive in interface Class

Parameters:

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

See Also:

Class.isIsActive()

setIsInterface

public void setIsInterface(boolean value)

Description copied from interface: Class

Sets the value of the 'Is Interface' attribute.

Specified by:

setIsInterface in interface Class

Parameters:

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

See Also:

Class.isIsInterface()

setIsSerializable

public void setIsSerializable(boolean value)

setOwnedSignature

public void setOwnedSignature(TemplateSignature value)

Description copied from interface: TemplateableElement

Sets the value of the 'Owned Signature' containment reference.

Specified by:

setOwnedSignature in interface TemplateableElement

Parameters:

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

See Also:

TemplateableElement.getOwnedSignature()

setOwningPackage

public void setOwningPackage(Package value)

Description copied from interface: Class

Sets the value of the 'Owning Package' container reference.

Specified by:

setOwningPackage in interface Class

Parameters:

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

See Also:

Class.getOwningPackage()

setUnspecializedElement

public void setUnspecializedElement(TemplateableElement value)

Description copied from interface: TemplateableElement

Sets the value of the 'Unspecialized Element' reference.

Specified by:

setUnspecializedElement in interface TemplateableElement

Parameters:

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

See Also:

TemplateableElement.getUnspecializedElement()

validateNameIsNotNull

public boolean validateNameIsNotNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Class

Specified by:

validateNameIsNotNull in interface Class

Since:

1.3

validateUniqueInvariantName

public boolean validateUniqueInvariantName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)

Description copied from interface: Class

Specified by:

validateUniqueInvariantName in interface Class