Package io.opencaesar.oml

Interface PropertyRestrictionAxiom

All Superinterfaces:

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

All Known Subinterfaces:

PropertyCardinalityRestrictionAxiom, PropertyRangeRestrictionAxiom, PropertySelfRestrictionAxiom, PropertyValueRestrictionAxiom

All Known Implementing Classes:

PropertyCardinalityRestrictionAxiomImpl, PropertyRangeRestrictionAxiomImpl, PropertyRestrictionAxiomImpl, PropertySelfRestrictionAxiomImpl, PropertyValueRestrictionAxiomImpl

public interface PropertyRestrictionAxiom
extends Axiom

A representation of the model object 'Property Restriction Axiom'. PropertyRestrictionAxiom is an [=Axiom=] specified on a [=Classifier=] that places some restriction on the value of a [=SemanticProperty=] in the context of the classifier.

The following features are supported:

• Property
• Owning Classifier
• Owning Axiom

See Also:

• OmlPackage.getPropertyRestrictionAxiom()

Generated:

Model:

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

Method Summary

Modifier and Type	Method	Description
Classifier	getCharacterizedTerm()
ClassifierEquivalenceAxiom	getOwningAxiom()	Returns the value of the 'Owning Axiom' container reference.
Classifier	getOwningClassifier()	Returns the value of the 'Owning Classifier' container reference.
SemanticProperty	getProperty()	Returns the value of the 'Property' reference.
Classifier	getRestrictingDomain()	Gets the restricting domain of the given property restriction axiom
void	setOwningAxiom(ClassifierEquivalenceAxiom value)	Sets the value of the 'Owning Axiom' container reference.
void	setOwningClassifier(Classifier value)	Sets the value of the 'Owning Classifier' container reference.
void	setProperty(SemanticProperty value)	Sets the value of the '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

getProperty

SemanticProperty getProperty()

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

Returns:

the value of the 'Property' reference.

See Also:

• setProperty(SemanticProperty)
• OmlPackage.getPropertyRestrictionAxiom_Property()

Generated:

Model:

required="true"

setProperty

void setProperty(SemanticProperty value)

Sets the value of the 'Property' reference.

Parameters:

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

See Also:

• getProperty()

Generated:

getOwningClassifier

Classifier getOwningClassifier()

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

Returns:

the value of the 'Owning Classifier' container reference.

See Also:

• setOwningClassifier(Classifier)
• OmlPackage.getPropertyRestrictionAxiom_OwningClassifier()
• Classifier.getOwnedPropertyRestrictions()

Generated:

Model:

opposite="ownedPropertyRestrictions" 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:

getOwningAxiom

ClassifierEquivalenceAxiom getOwningAxiom()

Returns the value of the 'Owning Axiom' container reference. It is bidirectional and its opposite is 'Owned Property Restrictions'. The owning classifier equivalence axiom specified by this axiom

Returns:

the value of the 'Owning Axiom' container reference.

See Also:

• setOwningAxiom(ClassifierEquivalenceAxiom)
• OmlPackage.getPropertyRestrictionAxiom_OwningAxiom()
• ClassifierEquivalenceAxiom.getOwnedPropertyRestrictions()

Generated:

Model:

opposite="ownedPropertyRestrictions" transient="false"

setOwningAxiom

void setOwningAxiom(ClassifierEquivalenceAxiom value)

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

Parameters:

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

See Also:

• getOwningAxiom()

Generated:

getRestrictingDomain

Classifier getRestrictingDomain()

Gets the restricting domain of the given property restriction axiom

Generated:

Model:

kind="operation" unique="false"

getCharacterizedTerm

Classifier getCharacterizedTerm()

Specified by:

getCharacterizedTerm in interface Axiom

Generated:

Model:

kind="operation" unique="false"