Interface RuleWithPremises
-
- All Superinterfaces:
org.eclipse.emf.ecore.EObject,Named,org.eclipse.emf.common.notify.Notifier,Overrider,ReferToJudgment,Rule,UniqueByName
- All Known Implementing Classes:
RuleWithPremisesImpl
public interface RuleWithPremises extends Rule
A representation of the model object 'Rule With Premises'.The following features are supported:
- See Also:
XsemanticsPackage.getRuleWithPremises()
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description org.eclipse.xtext.xbase.XExpressiongetPremises()Returns the value of the 'Premises' containment reference.voidsetPremises(org.eclipse.xtext.xbase.XExpression value)Sets the value of the 'Premises' 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
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.Overrider
isOverride, setOverride
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.ReferToJudgment
get_judgment, isSet_judgment, set_judgment, unset_judgment
-
Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.Rule
get_inputParams, get_outputParams, getConclusion, getJudgmentSymbol, getName, getRelationSymbols, isSet_inputParams, isSet_outputParams, setConclusion, setName, unset_inputParams, unset_outputParams
-
-
-
-
Method Detail
-
getPremises
org.eclipse.xtext.xbase.XExpression getPremises()
Returns the value of the 'Premises' containment reference.- Returns:
- the value of the 'Premises' containment reference.
- See Also:
setPremises(XExpression),XsemanticsPackage.getRuleWithPremises_Premises()
-
setPremises
void setPremises(org.eclipse.xtext.xbase.XExpression value)
Sets the value of the 'Premises' containment reference.- Parameters:
value- the new value of the 'Premises' containment reference.- See Also:
getPremises()
-
-