Package org.eclipse.xsemantics.dsl.xsemantics

Interface Rule

All Superinterfaces:

org.eclipse.emf.ecore.EObject, Named, org.eclipse.emf.common.notify.Notifier, Overrider, ReferToJudgment, UniqueByName

All Known Subinterfaces:

Axiom, RuleWithPremises

All Known Implementing Classes:

AxiomImpl, RuleImpl, RuleWithPremisesImpl

public interface Rule
extends Overrider, ReferToJudgment

A representation of the model object 'Rule'.

The following features are supported:

• Name
• Conclusion
• input Params
• output Params

See Also:

XsemanticsPackage.getRule()

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<RuleParameter>	get_inputParams()	Returns the value of the 'input Params' reference list.
org.eclipse.emf.common.util.EList<RuleParameter>	get_outputParams()	Returns the value of the 'output Params' reference list.
RuleConclusion	getConclusion()	Returns the value of the 'Conclusion' containment reference.
java.lang.String	getJudgmentSymbol()
java.lang.String	getName()	Returns the value of the 'Name' attribute.
org.eclipse.emf.common.util.EList<java.lang.String>	getRelationSymbols()
boolean	isSet_inputParams()	Returns whether the value of the 'input Params' reference list is set.
boolean	isSet_outputParams()	Returns whether the value of the 'output Params' reference list is set.
void	setConclusion(RuleConclusion value)	Sets the value of the 'Conclusion' containment reference.
void	setName(java.lang.String value)	Sets the value of the 'Name' attribute.
void	unset_inputParams()	Unsets the value of the 'input Params' reference list.
void	unset_outputParams()	Unsets the value of the 'output Params' reference list.

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

Method Detail

getName

java.lang.String getName()

Returns the value of the 'Name' attribute.

Specified by:

getName in interface Named

Returns:

the value of the 'Name' attribute.

See Also:

setName(String), XsemanticsPackage.getRule_Name()

setName

void setName(java.lang.String value)

Sets the value of the 'Name' attribute.

Parameters:

value - the new value of the 'Name' attribute.

See Also:

getName()

getConclusion

RuleConclusion getConclusion()

Returns the value of the 'Conclusion' containment reference.

Returns:

the value of the 'Conclusion' containment reference.

See Also:

setConclusion(RuleConclusion), XsemanticsPackage.getRule_Conclusion()

setConclusion

void setConclusion(RuleConclusion value)

Sets the value of the 'Conclusion' containment reference.

Parameters:

value - the new value of the 'Conclusion' containment reference.

See Also:

getConclusion()

get_inputParams

org.eclipse.emf.common.util.EList<RuleParameter> get_inputParams()

Returns the value of the 'input Params' reference list. The list contents are of type RuleParameter.

Returns:

the value of the 'input Params' reference list.

See Also:

isSet_inputParams(), unset_inputParams(), XsemanticsPackage.getRule__inputParams()

unset_inputParams

void unset_inputParams()

Unsets the value of the 'input Params' reference list.

See Also:

isSet_inputParams(), get_inputParams()

isSet_inputParams

boolean isSet_inputParams()

Returns whether the value of the 'input Params' reference list is set.

Returns:

whether the value of the 'input Params' reference list is set.

See Also:

unset_inputParams(), get_inputParams()

get_outputParams

org.eclipse.emf.common.util.EList<RuleParameter> get_outputParams()

Returns the value of the 'output Params' reference list. The list contents are of type RuleParameter.

Returns:

the value of the 'output Params' reference list.

See Also:

isSet_outputParams(), unset_outputParams(), XsemanticsPackage.getRule__outputParams()

unset_outputParams

void unset_outputParams()

Unsets the value of the 'output Params' reference list.

See Also:

isSet_outputParams(), get_outputParams()

isSet_outputParams

boolean isSet_outputParams()

Returns whether the value of the 'output Params' reference list is set.

Returns:

whether the value of the 'output Params' reference list is set.

See Also:

unset_outputParams(), get_outputParams()

getJudgmentSymbol

java.lang.String getJudgmentSymbol()

Specified by:

getJudgmentSymbol in interface ReferToJudgment

getRelationSymbols

org.eclipse.emf.common.util.EList<java.lang.String> getRelationSymbols()

Specified by:

getRelationSymbols in interface ReferToJudgment