Package io.opencaesar.oml

Interface Relation

All Superinterfaces:
Element, org.eclipse.emf.ecore.EObject, IdentifiedElement, Member, org.eclipse.emf.common.notify.Notifier, Property, SemanticProperty, Term, VocabularyMember
All Known Subinterfaces:
ForwardRelation, ReverseRelation, UnreifiedRelation
All Known Implementing Classes:
ForwardRelationImpl, RelationImpl, ReverseRelationImpl, UnreifiedRelationImpl
public interface Relation extends SemanticProperty
A representation of the model object 'Relation'. Relation is a [=SemanticProperty=] whose domain is an [=Entity=] and whose range is also an [=Entity=]. It can be characterized by DL flags and can have an inverse [=Relation=].
See Also:
Generated:
Model:
abstract="true" annotation="https://tabatkins.github.io/bikeshed heading='Properties'"

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Classifier>
    getDomainList()
    org.eclipse.emf.common.util.EList<Entity>
    getDomains()
    Gets the domain of this relation
    Relation
    getInverse()
    Gets the inverse of this relation
    org.eclipse.emf.common.util.EList<Type>
    getRangeList()
    org.eclipse.emf.common.util.EList<Entity>
    getRanges()
    Gets the range of the relation
    boolean
    isAsymmetric()
    Gets whether this relation is asymmetric (i.e., A->B => !(B->A))
    boolean
    isInverseFunctional()
    Gets whether this relation is inverse functional (i.e., B->A and C->A => B=C)
    boolean
    isIrreflexive()
    Gets whether this relation is irreflexive (i.e., A => !(A->A))
    boolean
    isReflexive()
    Gets whether this relation is reflexive (i.e., A => A->A)
    boolean
    isSymmetric()
    Gets whether this relation is symmetric (i.e., A->B => B->A)
    boolean
    isTransitive()
    Gets whether this relation is transitive (i.e., A->B and B->C => A->C)

    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 io.opencaesar.oml.IdentifiedElement

    getOwnedAnnotations

    Methods inherited from interface io.opencaesar.oml.Member

    getAbbreviatedIri, getIri, getName, getRef, isRef, resolve, setName

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver

    Methods inherited from interface io.opencaesar.oml.SemanticProperty

    isFunctional

  • Method Details

    • isInverseFunctional

      boolean isInverseFunctional()
      Gets whether this relation is inverse functional (i.e., B->A and C->A => B=C)
      Generated:
      Model:
      kind="operation" unique="false"

    • isSymmetric

      boolean isSymmetric()
      Gets whether this relation is symmetric (i.e., A->B => B->A)
      Generated:
      Model:
      kind="operation" unique="false"

    • isAsymmetric

      boolean isAsymmetric()
      Gets whether this relation is asymmetric (i.e., A->B => !(B->A))
      Generated:
      Model:
      kind="operation" unique="false"

    • isReflexive

      boolean isReflexive()
      Gets whether this relation is reflexive (i.e., A => A->A)
      Generated:
      Model:
      kind="operation" unique="false"

    • isIrreflexive

      boolean isIrreflexive()
      Gets whether this relation is irreflexive (i.e., A => !(A->A))
      Generated:
      Model:
      kind="operation" unique="false"

    • isTransitive

      boolean isTransitive()
      Gets whether this relation is transitive (i.e., A->B and B->C => A->C)
      Generated:
      Model:
      kind="operation" unique="false"

    • getDomains

      org.eclipse.emf.common.util.EList<Entity> getDomains()
      Gets the domain of this relation
      Generated:
      Model:
      kind="operation" unique="false"

    • getRanges

      org.eclipse.emf.common.util.EList<Entity> getRanges()
      Gets the range of the relation
      Generated:
      Model:
      kind="operation" unique="false"

    • getInverse

      Relation getInverse()
      Gets the inverse of this relation
      Generated:
      Model:
      kind="operation" unique="false"

    • getDomainList

      org.eclipse.emf.common.util.EList<Classifier> getDomainList()
      Specified by:
      getDomainList in interface SemanticProperty
      Generated:
      Model:
      kind="operation" unique="false"

    • getRangeList

      org.eclipse.emf.common.util.EList<Type> getRangeList()
      Specified by:
      getRangeList in interface SemanticProperty
      Generated:
      Model:
      kind="operation" unique="false"