Package io.opencaesar.oml

Interface PropertyEquivalenceAxiom

All Superinterfaces:

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

All Known Implementing Classes:

PropertyEquivalenceAxiomImpl

public interface PropertyEquivalenceAxiom
extends Axiom

A representation of the model object 'Property Equivalence Axiom'. PropertyEquivalenceAxiom is an [=Axiom=] specified on a subject [=Property=] that states that it is equivalent to another property. This axiom implies that the equivalent properties are super properties of the subject property (and vice versa).

The following features are supported:

• Super Property
• Owning Property

See Also:

• OmlPackage.getPropertyEquivalenceAxiom()

Generated:

Model:

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

Method Summary

Modifier and Type	Method	Description
Property	getCharacterizedTerm()
SpecializableProperty	getOwningProperty()	Returns the value of the 'Owning Property' container reference.
Property	getSubProperty()	Gets the sub property of this axiom
Property	getSuperProperty()	Returns the value of the 'Super Property' reference.
void	setOwningProperty(SpecializableProperty value)	Sets the value of the 'Owning Property' container reference.
void	setSuperProperty(Property value)	Sets the value of the 'Super Property' 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

getSuperProperty

Property getSuperProperty()

Returns the value of the 'Super Property' reference. The super property specified by this axiom

Returns:

the value of the 'Super Property' reference.

See Also:

• setSuperProperty(Property)
• OmlPackage.getPropertyEquivalenceAxiom_SuperProperty()

Generated:

Model:

required="true"

setSuperProperty

void setSuperProperty(Property value)

Sets the value of the 'Super Property' reference.

Parameters:

value - the new value of the 'Super Property' reference.

See Also:

• getSuperProperty()

Generated:

getOwningProperty

SpecializableProperty getOwningProperty()

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

Returns:

the value of the 'Owning Property' container reference.

See Also:

• setOwningProperty(SpecializableProperty)
• OmlPackage.getPropertyEquivalenceAxiom_OwningProperty()
• SpecializableProperty.getOwnedEquivalences()

Generated:

Model:

opposite="ownedEquivalences" transient="false"

setOwningProperty

void setOwningProperty(SpecializableProperty value)

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

Parameters:

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

See Also:

• getOwningProperty()

Generated:

getSubProperty

Property getSubProperty()

Gets the sub property of this axiom

Generated:

Model:

kind="operation" unique="false"

getCharacterizedTerm

Property getCharacterizedTerm()

Specified by:

getCharacterizedTerm in interface Axiom

Generated:

Model:

kind="operation" unique="false"