org.eclipse.ocl.pivot

Interface InstanceSpecification

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, Visitable

All Known Subinterfaces:

EnumerationLiteral

All Known Implementing Classes:

AbstractExecutorEnumerationLiteral, EcoreExecutorEnumerationLiteral, EnumerationLiteralImpl, ExecutorEnumerationLiteral, InstanceSpecificationImpl

public interface InstanceSpecification
extends NamedElement

A representation of the model object 'Instance Specification'. An InstanceSpecification is a model element that represents an instance in a modeled system. An InstanceSpecification can act as a DeploymentTarget in a Deployment relationship, in the case that it represents an instance of a Node. It can also act as a DeployedArtifact, if it represents an instance of an Artifact.

The following features are supported:

• Classes
• Owned Slots
• Owned Specification
• Owning Package

See Also:

PivotPackage.getInstanceSpecification()

Generated

Method Summary

Modifier and Type	Method and Description
java.util.List<Class>	getClasses() Returns the value of the 'Classes' reference list.
java.util.List<Slot>	getOwnedSlots() Returns the value of the 'Owned Slots' containment reference list.
LanguageExpression	getOwnedSpecification() Returns the value of the 'Owned Specification' containment reference.
Package	getOwningPackage() Returns the value of the 'Owning Package' container reference.
void	setOwnedSpecification(LanguageExpression value) Sets the value of the 'Owned Specification' containment reference.
void	setOwningPackage(Package value) Sets the value of the 'Owning Package' container reference.

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

Method Detail

getClasses

java.util.List<Class> getClasses()

Returns the value of the 'Classes' reference list. The list contents are of type Class. The Classifier or Classifiers of the represented instance. If multiple Classifiers are specified, the instance is classified by all of them.

Returns:

the value of the 'Classes' reference list.

See Also:

PivotPackage.getInstanceSpecification_Classes()

Generated

getOwnedSlots

java.util.List<Slot> getOwnedSlots()

Returns the value of the 'Owned Slots' containment reference list. The list contents are of type Slot. It is bidirectional and its opposite is 'Owning Instance'. A Slot giving the value or values of a StructuralFeature of the instance. An InstanceSpecification can have one Slot per StructuralFeature of its Classifiers, including inherited features. It is not necessary to model a Slot for every StructuralFeature, in which case the InstanceSpecification is a partial description.

Returns:

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

See Also:

PivotPackage.getInstanceSpecification_OwnedSlots(), Slot.getOwningInstance()

Generated

getOwnedSpecification

LanguageExpression getOwnedSpecification()

Returns the value of the 'Owned Specification' containment reference. A specification of how to compute, derive, or construct the instance.

Returns:

the value of the 'Owned Specification' containment reference.

See Also:

setOwnedSpecification(LanguageExpression), PivotPackage.getInstanceSpecification_OwnedSpecification()

Generated

setOwnedSpecification

void setOwnedSpecification(LanguageExpression value)

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

Parameters:

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

See Also:

getOwnedSpecification()

Generated

getOwningPackage

Package getOwningPackage()

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

If the meaning of the 'Owning Package' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Owning Package' container reference.

See Also:

setOwningPackage(org.eclipse.ocl.pivot.Package), PivotPackage.getInstanceSpecification_OwningPackage(), Package.getOwnedInstances()

Generated

setOwningPackage

void setOwningPackage(Package value)

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

Parameters:

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

See Also:

getOwningPackage()

Generated