Package io.opencaesar.oml

Interface Axiom

All Superinterfaces:
Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Subinterfaces:
ClassifierEquivalenceAxiom, InstanceEnumerationAxiom, KeyAxiom, LiteralEnumerationAxiom, PropertyCardinalityRestrictionAxiom, PropertyEquivalenceAxiom, PropertyRangeRestrictionAxiom, PropertyRestrictionAxiom, PropertySelfRestrictionAxiom, PropertyValueRestrictionAxiom, ScalarEquivalenceAxiom, SpecializationAxiom
All Known Implementing Classes:
AxiomImpl, ClassifierEquivalenceAxiomImpl, InstanceEnumerationAxiomImpl, KeyAxiomImpl, LiteralEnumerationAxiomImpl, PropertyCardinalityRestrictionAxiomImpl, PropertyEquivalenceAxiomImpl, PropertyRangeRestrictionAxiomImpl, PropertyRestrictionAxiomImpl, PropertySelfRestrictionAxiomImpl, PropertyValueRestrictionAxiomImpl, ScalarEquivalenceAxiomImpl, SpecializationAxiomImpl
public interface Axiom extends Element
A representation of the model object 'Axiom'. Axiom is an element that characterizes a [=term=] in some way.
See Also:
Generated:
Model:
abstract="true" annotation="https://tabatkins.github.io/bikeshed heading='Axioms'"

  • Method Summary

    Modifier and Type
    Method
    Description
    Term
    getCharacterizedTerm()
    Gets the term that is characterized by this axiom

    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

    • getCharacterizedTerm

      Term getCharacterizedTerm()
      Gets the term that is characterized by this axiom
      Generated:
      Model:
      kind="operation" unique="false"