Package io.opencaesar.oml

Interface InstanceEnumerationAxiom

All Superinterfaces:

Axiom, Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

InstanceEnumerationAxiomImpl

public interface InstanceEnumerationAxiom
extends Axiom

A representation of the model object 'Instance Enumeration Axiom'. InstanceEnumerationAxiom is an [=Axiom=] specified on a [=Concept=] that states that it classifies an enumerated set of [=instances=].

The following features are supported:

• Instances
• Owning Concept

See Also:

• OmlPackage.getInstanceEnumerationAxiom()

Generated:

Model:

annotation="https://tabatkins.github.io/bikeshed heading='Axioms'"

Method Summary

Modifier and Type	Method	Description
Concept	getCharacterizedTerm()
Concept	getEnumeratedConcept()	Gets the concept that defines the given enumeration axiom
org.eclipse.emf.common.util.EList<ConceptInstance>	getInstances()	Returns the value of the 'Instances' reference list.
Concept	getOwningConcept()	Returns the value of the 'Owning Concept' container reference.
void	setOwningConcept(Concept value)	Sets the value of the 'Owning Concept' container reference.

Methods inherited from interface io.opencaesar.oml.Element

extraValidate, getOntology

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

Method Details

getInstances

org.eclipse.emf.common.util.EList<ConceptInstance> getInstances()

Returns the value of the 'Instances' reference list. The list contents are of type ConceptInstance. The set of enumerated instances specified by this axiom

Returns:

the value of the 'Instances' reference list.

See Also:

• OmlPackage.getInstanceEnumerationAxiom_Instances()

Generated:

Model:

required="true"

getOwningConcept

Concept getOwningConcept()

Returns the value of the 'Owning Concept' container reference. It is bidirectional and its opposite is 'Owned Enumeration'. The owning concept specified by this axiom

Returns:

the value of the 'Owning Concept' container reference.

See Also:

• setOwningConcept(Concept)
• OmlPackage.getInstanceEnumerationAxiom_OwningConcept()
• Concept.getOwnedEnumeration()

Generated:

Model:

opposite="ownedEnumeration" transient="false"

setOwningConcept

void setOwningConcept(Concept value)

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

Parameters:

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

See Also:

• getOwningConcept()

Generated:

getEnumeratedConcept

Concept getEnumeratedConcept()

Gets the concept that defines the given enumeration axiom

Generated:

Model:

kind="operation" unique="false"

getCharacterizedTerm

Concept getCharacterizedTerm()

Specified by:

getCharacterizedTerm in interface Axiom

Generated:

Model:

kind="operation" unique="false"