Package org.eclipse.xsemantics.dsl.xsemantics

Interface RuleConclusion

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Implementing Classes:

RuleConclusionImpl

public interface RuleConclusion
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'Rule Conclusion'.

The following features are supported:

• Environment
• Judgment Symbol
• Conclusion Elements
• Relation Symbols
• Error

See Also:

XsemanticsPackage.getRuleConclusion()

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<RuleConclusionElement>	getConclusionElements()	Returns the value of the 'Conclusion Elements' containment reference list.
Environment	getEnvironment()	Returns the value of the 'Environment' containment reference.
org.eclipse.xtext.xbase.XExpression	getError()	Returns the value of the 'Error' containment reference.
java.lang.String	getJudgmentSymbol()	Returns the value of the 'Judgment Symbol' attribute.
org.eclipse.emf.common.util.EList<java.lang.String>	getRelationSymbols()	Returns the value of the 'Relation Symbols' attribute list.
void	setEnvironment(Environment value)	Sets the value of the 'Environment' containment reference.
void	setError(org.eclipse.xtext.xbase.XExpression value)	Sets the value of the 'Error' containment reference.
void	setJudgmentSymbol(java.lang.String value)	Sets the value of the 'Judgment Symbol' 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

Method Detail

getEnvironment

Environment getEnvironment()

Returns the value of the 'Environment' containment reference.

Returns:

the value of the 'Environment' containment reference.

See Also:

setEnvironment(Environment), XsemanticsPackage.getRuleConclusion_Environment()

setEnvironment

void setEnvironment(Environment value)

Sets the value of the 'Environment' containment reference.

Parameters:

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

See Also:

getEnvironment()

getJudgmentSymbol

java.lang.String getJudgmentSymbol()

Returns the value of the 'Judgment Symbol' attribute.

Returns:

the value of the 'Judgment Symbol' attribute.

See Also:

setJudgmentSymbol(String), XsemanticsPackage.getRuleConclusion_JudgmentSymbol()

setJudgmentSymbol

void setJudgmentSymbol(java.lang.String value)

Sets the value of the 'Judgment Symbol' attribute.

Parameters:

value - the new value of the 'Judgment Symbol' attribute.

See Also:

getJudgmentSymbol()

getConclusionElements

org.eclipse.emf.common.util.EList<RuleConclusionElement> getConclusionElements()

Returns the value of the 'Conclusion Elements' containment reference list. The list contents are of type RuleConclusionElement.

Returns:

the value of the 'Conclusion Elements' containment reference list.

See Also:

XsemanticsPackage.getRuleConclusion_ConclusionElements()

getRelationSymbols

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

Returns the value of the 'Relation Symbols' attribute list. The list contents are of type String.

Returns:

the value of the 'Relation Symbols' attribute list.

See Also:

XsemanticsPackage.getRuleConclusion_RelationSymbols()

getError

org.eclipse.xtext.xbase.XExpression getError()

Returns the value of the 'Error' containment reference.

Returns:

the value of the 'Error' containment reference.

See Also:

setError(XExpression), XsemanticsPackage.getRuleConclusion_Error()

setError

void setError(org.eclipse.xtext.xbase.XExpression value)

Sets the value of the 'Error' containment reference.

Parameters:

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

See Also:

getError()