Package io.opencaesar.oml

Interface PropertyCardinalityRestrictionAxiom

All Superinterfaces:

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

All Known Implementing Classes:

PropertyCardinalityRestrictionAxiomImpl

public interface PropertyCardinalityRestrictionAxiom
extends PropertyRestrictionAxiom

A representation of the model object 'Property Cardinality Restriction Axiom'. PropertyCardinalityRestrictionAxiom is a [=PropertyRestrictionAxiom=] that restricts the cardinality of a [=property=] to an exact value, a minimum value or a maximum value. This restrictions can apply either to all values of the property in the restricting [=classifier=], or only to those values classified by a specific subtype of the range.

The following features are supported:

• Kind
• Cardinality
• Range

See Also:

• OmlPackage.getPropertyCardinalityRestrictionAxiom()

Generated:

Model:

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

Method Summary

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

CardinalityRestrictionKind getKind()

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

Returns:

the value of the 'Kind' attribute.

See Also:

• CardinalityRestrictionKind
• setKind(CardinalityRestrictionKind)
• OmlPackage.getPropertyCardinalityRestrictionAxiom_Kind()

Generated:

Model:

default="exactly" unique="false" required="true"

setKind

void setKind(CardinalityRestrictionKind value)

Sets the value of the 'Kind' attribute.

Parameters:

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

See Also:

• CardinalityRestrictionKind
• getKind()

Generated:

getCardinality

int getCardinality()

Returns the value of the 'Cardinality' attribute. The default value is "1". The value of the cardinality specified by this axiom (default is 1)

Returns:

the value of the 'Cardinality' attribute.

See Also:

• setCardinality(int)
• OmlPackage.getPropertyCardinalityRestrictionAxiom_Cardinality()

Generated:

Model:

default="1" unique="false" dataType="io.opencaesar.oml.UnsignedInt" required="true"

setCardinality

void setCardinality(int value)

Sets the value of the 'Cardinality' attribute.

Parameters:

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

See Also:

• getCardinality()

Generated:

getRange

Type getRange()

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

Returns:

the value of the 'Range' reference.

See Also:

• setRange(Type)
• OmlPackage.getPropertyCardinalityRestrictionAxiom_Range()

Generated:

Model:

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: