Package org.eclipse.xsemantics.dsl.xsemantics.impl

Class RuleImpl

java.lang.Object

org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

org.eclipse.xsemantics.dsl.xsemantics.impl.OverriderImpl

org.eclipse.xsemantics.dsl.xsemantics.impl.RuleImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder, org.eclipse.emf.ecore.InternalEObject, Named, Overrider, ReferToJudgment, Rule, UniqueByName

Direct Known Subclasses:

AxiomImpl, RuleWithPremisesImpl

public class RuleImpl
extends OverriderImpl
implements Rule

An implementation of the model object 'Rule'.

The following features are implemented:

• judgment
• Name
• Conclusion
• input Params
• output Params

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container.Dynamic

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EScannableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

Fields

Modifier and Type	Field	Description
protected org.eclipse.emf.common.util.EList<RuleParameter>	_inputParams	The cached value of the 'input Params' reference list.
protected JudgmentDescription	_judgment	The cached value of the 'judgment' reference.
protected boolean	_judgmentESet	This is true if the judgment reference has been set.
protected org.eclipse.emf.common.util.EList<RuleParameter>	_outputParams	The cached value of the 'output Params' reference list.
protected RuleConclusion	conclusion	The cached value of the 'Conclusion' containment reference.
protected java.lang.String	name	The cached value of the 'Name' attribute.
protected static java.lang.String	NAME_EDEFAULT	The default value of the 'Name' attribute.

Fields inherited from class org.eclipse.xsemantics.dsl.xsemantics.impl.OverriderImpl

override, OVERRIDE_EDEFAULT

Fields inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eContainer

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder

NIL

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RuleImpl()

Method Summary

Modifier and Type	Method	Description
JudgmentDescription	basicGet_judgment()
org.eclipse.emf.common.notify.NotificationChain	basicSetConclusion(RuleConclusion newConclusion, org.eclipse.emf.common.notify.NotificationChain msgs)
int	eBaseStructuralFeatureID(int derivedFeatureID, java.lang.Class<?> baseClass)
int	eDerivedStructuralFeatureID(int baseFeatureID, java.lang.Class<?> baseClass)
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
org.eclipse.emf.common.notify.NotificationChain	eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd, int featureID, org.eclipse.emf.common.notify.NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, java.lang.Object newValue)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
void	eUnset(int featureID)
org.eclipse.emf.common.util.EList<RuleParameter>	get_inputParams()
JudgmentDescription	get_judgment()
org.eclipse.emf.common.util.EList<RuleParameter>	get_outputParams()
RuleConclusion	getConclusion()
java.lang.String	getJudgmentSymbol()
java.lang.String	getName()
org.eclipse.emf.common.util.EList<java.lang.String>	getRelationSymbols()
boolean	isSet_inputParams()
boolean	isSet_judgment()
boolean	isSet_outputParams()
void	set_judgment(JudgmentDescription new_judgment)
void	setConclusion(RuleConclusion newConclusion)
void	setName(java.lang.String newName)
java.lang.String	toString()
void	unset_inputParams()
void	unset_judgment()
void	unset_outputParams()

Methods inherited from class org.eclipse.xsemantics.dsl.xsemantics.impl.OverriderImpl

isOverride, setOverride

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container

eBasicSetContainer, eInternalContainer

Methods inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl

dynamicGet, dynamicSet, dynamicUnset, eAdapters, eBasicAdapterArray, eBasicAdapterListeners, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, eBasicSetAdapterListeners, eBasicSetContainer, eBasicSetContainerFeatureID, eBasicSetSettings, eBasicSettings, eClass, eContainerFeatureID, eContents, eCrossReferences, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSetDirectResource, eSetProxyURI, eSettings

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedOperationID, eDerivedOperationID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.ecore.InternalEObject

eNotificationRequired

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

Field Detail

_judgment

protected JudgmentDescription _judgment

The cached value of the 'judgment' reference.

See Also:

get_judgment()

_judgmentESet

protected boolean _judgmentESet

This is true if the judgment reference has been set.

NAME_EDEFAULT

protected static final java.lang.String NAME_EDEFAULT

The default value of the 'Name' attribute.

See Also:

getName()

name

protected java.lang.String name

The cached value of the 'Name' attribute.

See Also:

getName()

conclusion

protected RuleConclusion conclusion

The cached value of the 'Conclusion' containment reference.

See Also:

getConclusion()

_inputParams

protected org.eclipse.emf.common.util.EList<RuleParameter> _inputParams

The cached value of the 'input Params' reference list.

See Also:

get_inputParams()

_outputParams

protected org.eclipse.emf.common.util.EList<RuleParameter> _outputParams

The cached value of the 'output Params' reference list.

See Also:

get_outputParams()

Constructor Detail

RuleImpl

protected RuleImpl()

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class OverriderImpl

get_judgment

public JudgmentDescription get_judgment()

Specified by:

get_judgment in interface ReferToJudgment

Returns:

the value of the 'judgment' reference.

See Also:

ReferToJudgment.isSet_judgment(), ReferToJudgment.unset_judgment(), ReferToJudgment.set_judgment(JudgmentDescription), XsemanticsPackage.getReferToJudgment__judgment()

basicGet_judgment

public JudgmentDescription basicGet_judgment()

set_judgment

public void set_judgment(JudgmentDescription new_judgment)

Specified by:

set_judgment in interface ReferToJudgment

Parameters:

new_judgment - the new value of the 'judgment' reference.

See Also:

ReferToJudgment.isSet_judgment(), ReferToJudgment.unset_judgment(), ReferToJudgment.get_judgment()

unset_judgment

public void unset_judgment()

Specified by:

unset_judgment in interface ReferToJudgment

See Also:

ReferToJudgment.isSet_judgment(), ReferToJudgment.get_judgment(), ReferToJudgment.set_judgment(JudgmentDescription)

isSet_judgment

public boolean isSet_judgment()

Specified by:

isSet_judgment in interface ReferToJudgment

Returns:

whether the value of the 'judgment' reference is set.

See Also:

ReferToJudgment.unset_judgment(), ReferToJudgment.get_judgment(), ReferToJudgment.set_judgment(JudgmentDescription)

getName

public java.lang.String getName()

Specified by:

getName in interface Named

Specified by:

getName in interface Rule

Overrides:

getName in class OverriderImpl

Returns:

the value of the 'Name' attribute.

See Also:

Rule.setName(String), XsemanticsPackage.getRule_Name()

setName

public void setName(java.lang.String newName)

Specified by:

setName in interface Rule

Parameters:

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

See Also:

Rule.getName()

getConclusion

public RuleConclusion getConclusion()

Specified by:

getConclusion in interface Rule

Returns:

the value of the 'Conclusion' containment reference.

See Also:

Rule.setConclusion(RuleConclusion), XsemanticsPackage.getRule_Conclusion()

basicSetConclusion

public org.eclipse.emf.common.notify.NotificationChain basicSetConclusion(RuleConclusion newConclusion,
                                                                          org.eclipse.emf.common.notify.NotificationChain msgs)

setConclusion

public void setConclusion(RuleConclusion newConclusion)

Specified by:

setConclusion in interface Rule

Parameters:

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

See Also:

Rule.getConclusion()

get_inputParams

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

Specified by:

get_inputParams in interface Rule

Returns:

the value of the 'input Params' reference list.

See Also:

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

unset_inputParams

public void unset_inputParams()

Specified by:

unset_inputParams in interface Rule

See Also:

Rule.isSet_inputParams(), Rule.get_inputParams()

isSet_inputParams

public boolean isSet_inputParams()

Specified by:

isSet_inputParams in interface Rule

Returns:

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

See Also:

Rule.unset_inputParams(), Rule.get_inputParams()

get_outputParams

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

Specified by:

get_outputParams in interface Rule

Returns:

the value of the 'output Params' reference list.

See Also:

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

unset_outputParams

public void unset_outputParams()

Specified by:

unset_outputParams in interface Rule

See Also:

Rule.isSet_outputParams(), Rule.get_outputParams()

isSet_outputParams

public boolean isSet_outputParams()

Specified by:

isSet_outputParams in interface Rule

Returns:

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

See Also:

Rule.unset_outputParams(), Rule.get_outputParams()

getJudgmentSymbol

public java.lang.String getJudgmentSymbol()

Specified by:

getJudgmentSymbol in interface ReferToJudgment

Specified by:

getJudgmentSymbol in interface Rule

getRelationSymbols

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

Specified by:

getRelationSymbols in interface ReferToJudgment

Specified by:

getRelationSymbols in interface Rule

eInverseRemove

public org.eclipse.emf.common.notify.NotificationChain eInverseRemove(org.eclipse.emf.ecore.InternalEObject otherEnd,
                                                                      int featureID,
                                                                      org.eclipse.emf.common.notify.NotificationChain msgs)

Overrides:

eInverseRemove in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eGet

public java.lang.Object eGet(int featureID,
                             boolean resolve,
                             boolean coreType)

Specified by:

eGet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eGet in class OverriderImpl

eSet

public void eSet(int featureID,
                 java.lang.Object newValue)

Specified by:

eSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eSet in class OverriderImpl

eUnset

public void eUnset(int featureID)

Specified by:

eUnset in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eUnset in class OverriderImpl

eIsSet

public boolean eIsSet(int featureID)

Specified by:

eIsSet in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eIsSet in class OverriderImpl

eBaseStructuralFeatureID

public int eBaseStructuralFeatureID(int derivedFeatureID,
                                    java.lang.Class<?> baseClass)

Specified by:

eBaseStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eBaseStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eDerivedStructuralFeatureID

public int eDerivedStructuralFeatureID(int baseFeatureID,
                                       java.lang.Class<?> baseClass)

Specified by:

eDerivedStructuralFeatureID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eDerivedStructuralFeatureID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

toString

public java.lang.String toString()

Overrides:

toString in class OverriderImpl