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