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

Class RuleWithPremisesImpl

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

org.eclipse.xsemantics.dsl.xsemantics.impl.RuleWithPremisesImpl

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, RuleWithPremises, UniqueByName

public class RuleWithPremisesImpl
extends RuleImpl
implements RuleWithPremises

An implementation of the model object 'Rule With Premises'.

The following features are implemented:

• Premises

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.xtext.xbase.XExpression	premises	The cached value of the 'Premises' containment reference.

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

_inputParams, _judgment, _judgmentESet, _outputParams, conclusion, name, NAME_EDEFAULT

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	RuleWithPremisesImpl()

Method Summary

Modifier and Type	Method	Description
org.eclipse.emf.common.notify.NotificationChain	basicSetPremises(org.eclipse.xtext.xbase.XExpression newPremises, org.eclipse.emf.common.notify.NotificationChain msgs)
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.xtext.xbase.XExpression	getPremises()
void	setPremises(org.eclipse.xtext.xbase.XExpression newPremises)

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

basicGet_judgment, basicSetConclusion, eBaseStructuralFeatureID, eDerivedStructuralFeatureID, get_inputParams, get_judgment, get_outputParams, getConclusion, getJudgmentSymbol, getName, getRelationSymbols, isSet_inputParams, isSet_judgment, isSet_outputParams, set_judgment, setConclusion, setName, toString, unset_inputParams, unset_judgment, 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

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

Field Detail

premises

protected org.eclipse.xtext.xbase.XExpression premises

The cached value of the 'Premises' containment reference.

See Also:

getPremises()

Constructor Detail

RuleWithPremisesImpl

protected RuleWithPremisesImpl()

Method Detail

eStaticClass

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

Overrides:

eStaticClass in class RuleImpl

getPremises

public org.eclipse.xtext.xbase.XExpression getPremises()

Specified by:

getPremises in interface RuleWithPremises

Returns:

the value of the 'Premises' containment reference.

See Also:

RuleWithPremises.setPremises(XExpression), XsemanticsPackage.getRuleWithPremises_Premises()

basicSetPremises

public org.eclipse.emf.common.notify.NotificationChain basicSetPremises(org.eclipse.xtext.xbase.XExpression newPremises,
                                                                        org.eclipse.emf.common.notify.NotificationChain msgs)

setPremises

public void setPremises(org.eclipse.xtext.xbase.XExpression newPremises)

Specified by:

setPremises in interface RuleWithPremises

Parameters:

newPremises - the new value of the 'Premises' containment reference.

See Also:

RuleWithPremises.getPremises()

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 RuleImpl

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 RuleImpl

eSet

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

Specified by:

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

Overrides:

eSet in class RuleImpl

eUnset

public void eUnset(int featureID)

Specified by:

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

Overrides:

eUnset in class RuleImpl

eIsSet

public boolean eIsSet(int featureID)

Specified by:

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

Overrides:

eIsSet in class RuleImpl