org.eclipse.ocl.examples.pivot
Interface Type

All Superinterfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLValue, ParameterableElement, PivotObject, TemplateableElement, Visitable

All Known Subinterfaces:

AnyType, AssociationClass, BagType, Behavior, Class, CollectionType, DataType, DynamicType, ElementExtension, Enumeration, InvalidType, LambdaType, MessageType, Metaclass<T>, OrderedSetType, PrimitiveType, SelfType, SequenceType, SetType, StateMachine, Stereotype, TemplateParameterType, TupleType, UnspecifiedType, VoidType

All Known Implementing Classes:

AnyTypeImpl, AssociationClassImpl, BagTypeImpl, BehaviorImpl, ClassImpl, CollectionTypeImpl, DataTypeImpl, DynamicTypeImpl, ElementExtensionImpl, EnumerationImpl, InvalidTypeImpl, LambdaTypeImpl, MessageTypeImpl, MetaclassImpl, OrderedSetTypeImpl, PrimitiveTypeImpl, SelfTypeImpl, SequenceTypeImpl, SetTypeImpl, StateMachineImpl, StereotypeImpl, TemplateParameterTypeImpl, TupleTypeImpl, TypeImpl, UnspecifiedTypeImpl, VoidTypeImpl

public interface Type
extends NamedElement, TemplateableElement, ParameterableElement, DomainType

A representation of the model object 'Type'.

See Also:

PivotPackage.getType()

Generated

Method Summary

java.util.List<TypeExtension>	getExtendedBys() Returns the value of the 'Extended Bys' reference list.
java.lang.String	getInstanceClassName() Returns the value of the 'Instance Class Name' attribute.
java.util.List<Property>	getOwnedAttribute() Returns the value of the 'Owned Attribute' containment reference list.
java.util.List<Constraint>	getOwnedInvariant() Returns the value of the 'Owned Invariant' containment reference list.
java.util.List<Operation>	getOwnedOperation() Returns the value of the 'Owned Operation' containment reference list.
Package	getPackage() Returns the value of the 'Package' container reference.
java.util.List<Type>	getSuperClass() Returns the value of the 'Super Class' reference list.
void	setInstanceClassName(java.lang.String value) Sets the value of the 'Instance Class Name' attribute.
void	setPackage(Package value) Sets the value of the 'Package' container reference.
Type	specializeIn(OCLExpression expr, Type selfType)
boolean	validateUniqueInvariantName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

getName, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.TemplateableElement

getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

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

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, 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.examples.pivot.util.Visitable

accept, eClass

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

Method Detail

getExtendedBys

java.util.List<TypeExtension> getExtendedBys()

Returns the value of the 'Extended Bys' reference list. The list contents are of type TypeExtension. It is bidirectional and its opposite is 'Type'.

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

Returns:

the value of the 'Extended Bys' reference list.

See Also:

PivotPackage.getType_ExtendedBys(), TypeExtension.getType()

Generated

getPackage

Package getPackage()

Returns the value of the 'Package' container reference. It is bidirectional and its opposite is 'Owned Type'. Specifies the owning package of this classifier, if any.

Specified by:

getPackage in interface DomainType

Returns:

the value of the 'Package' container reference.

See Also:

setPackage(org.eclipse.ocl.examples.pivot.Package), PivotPackage.getType_Package(), Package.getOwnedType()

Generated

setPackage

void setPackage(Package value)

Sets the value of the 'Package' container reference.

Parameters:

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

See Also:

getPackage()

Generated

getOwnedAttribute

@NonNull
java.util.List<Property> getOwnedAttribute()

Returns the value of the 'Owned Attribute' containment reference list. The list contents are of type Property. It is bidirectional and its opposite is 'Owning Type'.

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

Specified by:

getOwnedAttribute in interface DomainType

Returns:

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

See Also:

PivotPackage.getType_OwnedAttribute(), Property.getOwningType()

Generated

getOwnedOperation

@NonNull
java.util.List<Operation> getOwnedOperation()

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

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

Specified by:

getOwnedOperation in interface DomainType

Returns:

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

See Also:

PivotPackage.getType_OwnedOperation(), Operation.getOwningType()

Generated

getSuperClass

@NonNull
java.util.List<Type> getSuperClass()

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

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

Returns:

the value of the 'Super Class' reference list.

See Also:

PivotPackage.getType_SuperClass()

Generated

getOwnedInvariant

@NonNull
java.util.List<Constraint> getOwnedInvariant()

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

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

Specified by:

getOwnedInvariant in interface DomainType

Returns:

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

See Also:

PivotPackage.getType_OwnedInvariant()

Generated

getInstanceClassName

java.lang.String getInstanceClassName()

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...

Returns:

the value of the 'Instance Class Name' attribute.

See Also:

setInstanceClassName(String), PivotPackage.getType_InstanceClassName()

Generated

setInstanceClassName

void setInstanceClassName(java.lang.String value)

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

Parameters:

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

See Also:

getInstanceClassName()

Generated

specializeIn

Type specializeIn(OCLExpression expr,
                  Type selfType)

Generated

validateUniqueInvariantName

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

Generated