Package tools.refinery.language.model.problem

Interface RuleDefinition

All Superinterfaces:
AnnotatedElement, org.eclipse.emf.ecore.EObject, NamedElement, org.eclipse.emf.common.notify.Notifier, ParametricDefinition, Statement
All Known Implementing Classes:
RuleDefinitionImpl
public interface RuleDefinition extends ParametricDefinition, NamedElement
A representation of the model object 'Rule Definition'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<Consequent>
    getConsequents()
    Returns the value of the 'Consequents' containment reference list.
    RuleKind
    getKind()
    Returns the value of the 'Kind' attribute.
    org.eclipse.emf.common.util.EList<Conjunction>
    getPreconditions()
    Returns the value of the 'Preconditions' containment reference list.
    void
    setKind(RuleKind value)
    Sets the value of the 'Kind' attribute.

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

    getAnnotations, setAnnotations

    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 tools.refinery.language.model.problem.NamedElement

    getName, setName

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

    eAdapters, eDeliver, eNotify, eSetDeliver

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

    getParameters