Package io.opencaesar.oml

Interface PropertyRangeRestrictionAxiom

All Superinterfaces:

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

All Known Implementing Classes:

PropertyRangeRestrictionAxiomImpl

public interface PropertyRangeRestrictionAxiom
extends PropertyRestrictionAxiom

A representation of the model object 'Property Range Restriction Axiom'. PropertyRangeRestrictionAxiom is a [=PropertyRestrictionAxiom=] that restricts the range of a [=property=] to a [=type=] that specializes the original range. This restrictions may apply to `all` or to `some` values of the property that have the restricting [=classifier=] as a domain.

The following features are supported:

• Kind
• Range

See Also:

• OmlPackage.getPropertyRangeRestrictionAxiom()

Generated:

Model:

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

Method Summary

Modifier and Type	Method	Description
RangeRestrictionKind	getKind()	Returns the value of the 'Kind' attribute.
Type	getRange()	Returns the value of the 'Range' reference.
void	setKind(RangeRestrictionKind value)	Sets the value of the 'Kind' attribute.
void	setRange(Type value)	Sets the value of the 'Range' 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

Methods inherited from interface io.opencaesar.oml.PropertyRestrictionAxiom

getCharacterizedTerm, getOwningAxiom, getOwningClassifier, getProperty, getRestrictingDomain, setOwningAxiom, setOwningClassifier, setProperty

Method Details

getKind

RangeRestrictionKind getKind()

Returns the value of the 'Kind' attribute. The default value is "all". The literals are from the enumeration RangeRestrictionKind. The range restriction kind specified by this axiom (default is all)

Returns:

the value of the 'Kind' attribute.

See Also:

• RangeRestrictionKind
• setKind(RangeRestrictionKind)
• OmlPackage.getPropertyRangeRestrictionAxiom_Kind()

Generated:

Model:

default="all" unique="false" required="true"

setKind

void setKind(RangeRestrictionKind value)

Sets the value of the 'Kind' attribute.

Parameters:

value - the new value of the 'Kind' attribute.

See Also:

• RangeRestrictionKind
• getKind()

Generated:

getRange

Type getRange()

Returns the value of the 'Range' reference. The restricted range specified by this axiom

Returns:

the value of the 'Range' reference.

See Also:

• setRange(Type)
• OmlPackage.getPropertyRangeRestrictionAxiom_Range()

Generated:

Model:

required="true"

setRange

void setRange(Type value)

Sets the value of the 'Range' reference.

Parameters:

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

See Also:

• getRange()

Generated: