Package io.opencaesar.oml

Interface ClassifierEquivalenceAxiom

All Superinterfaces:

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

All Known Implementing Classes:

ClassifierEquivalenceAxiomImpl

public interface ClassifierEquivalenceAxiom
extends Axiom

A representation of the model object 'Classifier Equivalence Axiom'. ClassifierEquivalenceAxiom is an [=Axiom=] specified on a subject [=Classifier=] that states that it is equivalent to the intersection of [=Classifiers=] and/or [=PropertyRestrictionAxioms=]. This axiom implies that the [=classifiers=] are super types of the subject classifier. It also implies that when an instance is classified by this intersection, then it follows that it is also classified by the subject classifier. Conversely, when an instance is classified by the subject classifier, then it follows that it is also classified by the intersection. In other words, this axiom enables bi-directional (or two-way) inferencing.

The following features are supported:

• Super Classifiers
• Owned Property Restrictions
• Owning Classifier

See Also:

• OmlPackage.getClassifierEquivalenceAxiom()

Generated:

Model:

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

Method Summary

Modifier and Type	Method	Description
Classifier	getCharacterizedTerm()
org.eclipse.emf.common.util.EList<PropertyRestrictionAxiom>	getOwnedPropertyRestrictions()	Returns the value of the 'Owned Property Restrictions' containment reference list.
Classifier	getOwningClassifier()	Returns the value of the 'Owning Classifier' container reference.
Classifier	getSubClassifier()	Gets the sub classifier of this axiom
org.eclipse.emf.common.util.EList<Classifier>	getSuperClassifiers()	Returns the value of the 'Super Classifiers' reference list.
void	setOwningClassifier(Classifier value)	Sets the value of the 'Owning Classifier' 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

getSuperClassifiers

org.eclipse.emf.common.util.EList<Classifier> getSuperClassifiers()

Returns the value of the 'Super Classifiers' reference list. The list contents are of type Classifier. The super classifiers specified by this axiom

Returns:

the value of the 'Super Classifiers' reference list.

See Also:

• OmlPackage.getClassifierEquivalenceAxiom_SuperClassifiers()

Generated:

Model:

getOwnedPropertyRestrictions

org.eclipse.emf.common.util.EList<PropertyRestrictionAxiom> getOwnedPropertyRestrictions()

Returns the value of the 'Owned Property Restrictions' containment reference list. The list contents are of type PropertyRestrictionAxiom. It is bidirectional and its opposite is 'Owning Axiom'. The property restrictions specified by this axiom

Returns:

the value of the 'Owned Property Restrictions' containment reference list.

See Also:

• OmlPackage.getClassifierEquivalenceAxiom_OwnedPropertyRestrictions()
• PropertyRestrictionAxiom.getOwningAxiom()

Generated:

Model:

opposite="owningAxiom" containment="true"

getOwningClassifier

Classifier getOwningClassifier()

Returns the value of the 'Owning Classifier' container reference. It is bidirectional and its opposite is 'Owned Equivalences'. The owning classifier specified by this axiom

Returns:

the value of the 'Owning Classifier' container reference.

See Also:

• setOwningClassifier(Classifier)
• OmlPackage.getClassifierEquivalenceAxiom_OwningClassifier()
• Classifier.getOwnedEquivalences()

Generated:

Model:

opposite="ownedEquivalences" transient="false"

setOwningClassifier

void setOwningClassifier(Classifier value)

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

Parameters:

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

See Also:

• getOwningClassifier()

Generated:

getSubClassifier

Classifier getSubClassifier()

Gets the sub classifier of this axiom

Generated:

Model:

kind="operation" unique="false"

getCharacterizedTerm

Classifier getCharacterizedTerm()

Specified by:

getCharacterizedTerm in interface Axiom

Generated:

Model:

kind="operation" unique="false"