Package tools.refinery.language.model.problem

Interface AbstractAssertion

All Superinterfaces:
org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Subinterfaces:
Assertion, AssertionAction
All Known Implementing Classes:
AbstractAssertionImpl, AssertionActionImpl, AssertionImpl
public interface AbstractAssertion extends org.eclipse.emf.ecore.EObject
A representation of the model object 'Abstract Assertion'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<AssertionArgument>
    getArguments()
    Returns the value of the 'Arguments' containment reference list.
    Relation
    getRelation()
    Returns the value of the 'Relation' reference.
    Expr
    getValue()
    Returns the value of the 'Value' containment reference.
    void
    setRelation(Relation value)
    Sets the value of the 'Relation' reference.
    void
    setValue(Expr value)
    Sets the value of the 'Value' containment reference.

    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