Package io.opencaesar.oml

Interface KeyAxiom

All Superinterfaces:
Axiom, Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
KeyAxiomImpl
public interface KeyAxiom extends Axiom
A representation of the model object 'Key Axiom'. KeyAxiom is an [=Axiom=] that specifies that a set of [=properties=] form a unique key for an [=entity=]. This means that all [=instances=] of that [=entity=] must have unique values for those keys.

The following features are supported:

See Also:
Generated:
Model:
annotation="https://tabatkins.github.io/bikeshed heading='Axioms'"

  • Method Summary

    Modifier and Type
    Method
    Description
    Entity
    getCharacterizedTerm()
    Entity
    getKeyedEntity()
    Gets the entity that defines the given key axiom
    Entity
    getOwningEntity()
    Returns the value of the 'Owning Entity' container reference.
    org.eclipse.emf.common.util.EList<Property>
    getProperties()
    Returns the value of the 'Properties' reference list.
    void
    setOwningEntity(Entity value)
    Sets the value of the 'Owning Entity' container 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

    • getProperties

      org.eclipse.emf.common.util.EList<Property> getProperties()
      Returns the value of the 'Properties' reference list. The list contents are of type Property. The set of key properties specified by this axiom
      Returns:
      the value of the 'Properties' reference list.
      See Also:
      Generated:
      Model:
      required="true"

    • getOwningEntity

      Entity getOwningEntity()
      Returns the value of the 'Owning Entity' container reference. It is bidirectional and its opposite is 'Owned Keys'. The owning entity specified by this axiom
      Returns:
      the value of the 'Owning Entity' container reference.
      See Also:
      Generated:
      Model:
      opposite="ownedKeys" transient="false"

    • setOwningEntity

      void setOwningEntity(Entity value)
      Sets the value of the 'Owning Entity' container reference.
      Parameters:
      value - the new value of the 'Owning Entity' container reference.
      See Also:
      Generated:

    • getKeyedEntity

      Entity getKeyedEntity()
      Gets the entity that defines the given key axiom
      Generated:
      Model:
      kind="operation" unique="false"

    • getCharacterizedTerm

      Entity getCharacterizedTerm()
      Specified by:
      getCharacterizedTerm in interface Axiom
      Generated:
      Model:
      kind="operation" unique="false"