Package io.opencaesar.oml

Interface LiteralEnumerationAxiom

All Superinterfaces:
Axiom, Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
LiteralEnumerationAxiomImpl
public interface LiteralEnumerationAxiom extends Axiom
A representation of the model object 'Literal Enumeration Axiom'. LiteralEnumerationAxiom is an [=Axiom=] specified on a [=Scalar=] that states that it classifies an enumerated set of [=Literals=].

The following features are supported:

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

  • Method Summary

    Modifier and Type
    Method
    Description
    Scalar
    getCharacterizedTerm()
    Scalar
    getEnumeratedScalar()
    Gets the scalar that defines the given enumeration axiom
    org.eclipse.emf.common.util.EList<Literal>
    getLiterals()
    Returns the value of the 'Literals' containment reference list.
    Scalar
    getOwningScalar()
    Returns the value of the 'Owning Scalar' container reference.
    void
    setOwningScalar(Scalar value)
    Sets the value of the 'Owning Scalar' 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

    • getLiterals

      org.eclipse.emf.common.util.EList<Literal> getLiterals()
      Returns the value of the 'Literals' containment reference list. The list contents are of type Literal. The set of enumerated literals specified by this axiom
      Returns:
      the value of the 'Literals' containment reference list.
      See Also:
      Generated:
      Model:
      containment="true" required="true"

    • getOwningScalar

      Scalar getOwningScalar()
      Returns the value of the 'Owning Scalar' container reference. It is bidirectional and its opposite is 'Owned Enumeration'. The owning scalar specified by this axiom
      Returns:
      the value of the 'Owning Scalar' container reference.
      See Also:
      Generated:
      Model:
      opposite="ownedEnumeration" transient="false"

    • setOwningScalar

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

    • getEnumeratedScalar

      Scalar getEnumeratedScalar()
      Gets the scalar that defines the given enumeration axiom
      Generated:
      Model:
      kind="operation" unique="false"

    • getCharacterizedTerm

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