Interface Assertion

All Superinterfaces:
Element, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Subinterfaces:
PropertyValueAssertion, TypeAssertion
All Known Implementing Classes:
AssertionImpl, PropertyValueAssertionImpl, TypeAssertionImpl

public interface Assertion extends Element
A representation of the model object 'Assertion'. Assertion is an element that characterizes an [=instance=] by specifying the value of one of its [=properties=].
See Also:
Generated:
Model:
abstract="true" annotation="https://tabatkins.github.io/bikeshed heading='Assertions'"
  • Method Summary

    Modifier and Type
    Method
    Description
    * Gets the instance that is the object of this assertion
    * Gets the instance that is the subject of this assertion

    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

    • getSubject

      Instance getSubject()
      * Gets the instance that is the subject of this assertion
      Generated:
      Model:
      kind="operation" unique="false"
    • getObject

      Element getObject()
      * Gets the instance that is the object of this assertion
      Generated:
      Model:
      kind="operation" unique="false"