Package io.opencaesar.oml

Interface SpecializationAxiom

All Superinterfaces:

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

All Known Implementing Classes:

SpecializationAxiomImpl

public interface SpecializationAxiom
extends Axiom

A representation of the model object 'Specialization Axiom'. SpecializationAxiom is an [=Axiom=] specified on a [=SpecializableTerm=] that states that it specializes another [=Term=].

The following features are supported:

• Super Term
• Owning Term

See Also:

• OmlPackage.getSpecializationAxiom()

Generated:

Model:

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

Method Summary

Modifier and Type	Method	Description
Term	getCharacterizedTerm()
SpecializableTerm	getOwningTerm()	Returns the value of the 'Owning Term' container reference.
Term	getSubTerm()	Gets the sub (specific) term of the given specialization axiom
Term	getSuperTerm()	Returns the value of the 'Super Term' reference.
void	setOwningTerm(SpecializableTerm value)	Sets the value of the 'Owning Term' container reference.
void	setSuperTerm(Term value)	Sets the value of the 'Super Term' 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

getSuperTerm

Term getSuperTerm()

Returns the value of the 'Super Term' reference. The super term specified by this axiom

Returns:

the value of the 'Super Term' reference.

See Also:

• setSuperTerm(Term)
• OmlPackage.getSpecializationAxiom_SuperTerm()

Generated:

Model:

required="true"

setSuperTerm

void setSuperTerm(Term value)

Sets the value of the 'Super Term' reference.

Parameters:

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

See Also:

• getSuperTerm()

Generated:

getOwningTerm

SpecializableTerm getOwningTerm()

Returns the value of the 'Owning Term' container reference. It is bidirectional and its opposite is 'Owned Specializations'. The owning term specified by this axiom

Returns:

the value of the 'Owning Term' container reference.

See Also:

• setOwningTerm(SpecializableTerm)
• OmlPackage.getSpecializationAxiom_OwningTerm()
• SpecializableTerm.getOwnedSpecializations()

Generated:

Model:

opposite="ownedSpecializations" transient="false"

setOwningTerm

void setOwningTerm(SpecializableTerm value)

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

Parameters:

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

See Also:

• getOwningTerm()

Generated:

getSubTerm

Term getSubTerm()

Gets the sub (specific) term of the given specialization axiom

Generated:

Model:

kind="operation" unique="false"

getCharacterizedTerm

Term getCharacterizedTerm()

Specified by:

getCharacterizedTerm in interface Axiom

Generated:

Model:

kind="operation" unique="false"