Package tools.refinery.language.model.problem

Interface ModalExpr

All Superinterfaces:
org.eclipse.emf.ecore.EObject, Expr, org.eclipse.emf.common.notify.Notifier, UnaryExpr
All Known Implementing Classes:
ModalExprImpl
public interface ModalExpr extends UnaryExpr
A representation of the model object 'Modal Expr'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    Concreteness
    getConcreteness()
    Returns the value of the 'Concreteness' attribute.
    Modality
    getModality()
    Returns the value of the 'Modality' attribute.
    void
    setConcreteness(Concreteness value)
    Sets the value of the 'Concreteness' attribute.
    void
    setModality(Modality value)
    Sets the value of the 'Modality' attribute.

    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

    Methods inherited from interface tools.refinery.language.model.problem.UnaryExpr

    getBody, setBody