Interface RuleDefinition
- All Superinterfaces:
org.eclipse.emf.ecore.EObject
,NamedElement
,org.eclipse.emf.common.notify.Notifier
,ParametricDefinition
,Statement
- All Known Implementing Classes:
RuleDefinitionImpl
A representation of the model object 'Rule Definition'.
The following features are supported:
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionorg.eclipse.emf.common.util.EList
<Consequent> Returns the value of the 'Consequents' containment reference list.getKind()
Returns the value of the 'Kind' attribute.org.eclipse.emf.common.util.EList
<Conjunction> Returns the value of the 'Preconditions' containment reference list.void
Sets the value of the 'Kind
' 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 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
-
Method Details
-
getConsequents
org.eclipse.emf.common.util.EList<Consequent> getConsequents()Returns the value of the 'Consequents' containment reference list. The list contents are of typeConsequent
.- Returns:
- the value of the 'Consequents' containment reference list.
- See Also:
-
getPreconditions
org.eclipse.emf.common.util.EList<Conjunction> getPreconditions()Returns the value of the 'Preconditions' containment reference list. The list contents are of typeConjunction
.- Returns:
- the value of the 'Preconditions' containment reference list.
- See Also:
-
getKind
RuleKind getKind()Returns the value of the 'Kind' attribute. The literals are from the enumerationRuleKind
.- Returns:
- the value of the 'Kind' attribute.
- See Also:
-
setKind
Sets the value of the 'Kind
' attribute.- Parameters:
value
- the new value of the 'Kind' attribute.- See Also:
-