de.cau.cs.kieler.quartz.editor.quartz.impl
Class ProofGoalListImpl

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.MinimalEObjectImpl
              extended by org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
                  extended by de.cau.cs.kieler.quartz.editor.quartz.impl.ObservedSpecListImpl
                      extended by de.cau.cs.kieler.quartz.editor.quartz.impl.ProofGoalListImpl
All Implemented Interfaces:
ObservedSpecList, ProofGoalList, Notifier, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject

public class ProofGoalListImpl
extends ObservedSpecListImpl
implements ProofGoalList

An implementation of the model object 'Proof Goal List'.

The following features are implemented:

Rating red
Generated:
This code was automatically generated.

Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
MinimalEObjectImpl.Container.Dynamic
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.MinimalEObjectImpl
MinimalEObjectImpl.Container
 
Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
BasicEObjectImpl.EPropertiesHolder, BasicEObjectImpl.EPropertiesHolderBaseImpl, BasicEObjectImpl.EPropertiesHolderImpl
 
Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl
BasicNotifierImpl.EAdapterList<E extends Object & Adapter>
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject
InternalEObject.EStore
 
Field Summary
protected  EList<AssumeList> ass
          The cached value of the 'Ass' containment reference list.
protected  EList<ControlList> ctr
          The cached value of the 'Ctr' containment reference list.
protected  EList<ControlList> ctrl
          The cached value of the 'Ctrl' containment reference list.
protected  EList<UtyExpr> expr
          The cached value of the 'Expr' containment reference list.
protected  EList<ProofGoalList> goals
          The cached value of the 'Goals' containment reference list.
protected  EList<QName> name
          The cached value of the 'Name' containment reference list.
protected  EList<String> ver
          The cached value of the 'Ver' attribute list.
 
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
protected ProofGoalListImpl()
           
 
Method Summary
 Object eGet(int featureID, boolean resolve, boolean coreType)
           
 NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
           
 boolean eIsSet(int featureID)
           
 void eSet(int featureID, Object newValue)
           
protected  EClass eStaticClass()
           
 void eUnset(int featureID)
           
 EList<AssumeList> getAss()
           
 EList<ControlList> getCtr()
           
 EList<ControlList> getCtrl()
           
 EList<UtyExpr> getExpr()
           
 EList<ProofGoalList> getGoals()
           
 EList<QName> getName()
           
 EList<String> getVer()
           
 String toString()
           
 
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, eBasicAdapters, eBasicHasAdapters, eBasicProperties, eBasicSetAdapterArray, 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, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseAdd, eInverseRemove, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, 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, 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.emf.ecore.InternalEObject
eNotificationRequired
 

Field Detail

name

protected EList<QName> name
The cached value of the 'Name' containment reference list.

See Also:
getName()
Generated:
This code was automatically generated.
Ordered

expr

protected EList<UtyExpr> expr
The cached value of the 'Expr' containment reference list.

See Also:
getExpr()
Generated:
This code was automatically generated.
Ordered

goals

protected EList<ProofGoalList> goals
The cached value of the 'Goals' containment reference list.

See Also:
getGoals()
Generated:
This code was automatically generated.
Ordered

ver

protected EList<String> ver
The cached value of the 'Ver' attribute list.

See Also:
getVer()
Generated:
This code was automatically generated.
Ordered

ctrl

protected EList<ControlList> ctrl
The cached value of the 'Ctrl' containment reference list.

See Also:
getCtrl()
Generated:
This code was automatically generated.
Ordered

ass

protected EList<AssumeList> ass
The cached value of the 'Ass' containment reference list.

See Also:
getAss()
Generated:
This code was automatically generated.
Ordered

ctr

protected EList<ControlList> ctr
The cached value of the 'Ctr' containment reference list.

See Also:
getCtr()
Generated:
This code was automatically generated.
Ordered
Constructor Detail

ProofGoalListImpl

protected ProofGoalListImpl()

Generated:
This code was automatically generated.
Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:
eStaticClass in class ObservedSpecListImpl
Generated:
This code was automatically generated.

getName

public EList<QName> getName()

Specified by:
getName in interface ProofGoalList
Returns:
the value of the 'Name' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Name()
Generated:
This code was automatically generated.

getExpr

public EList<UtyExpr> getExpr()

Specified by:
getExpr in interface ProofGoalList
Returns:
the value of the 'Expr' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Expr()
Generated:
This code was automatically generated.

getGoals

public EList<ProofGoalList> getGoals()

Specified by:
getGoals in interface ProofGoalList
Returns:
the value of the 'Goals' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Goals()
Generated:
This code was automatically generated.

getVer

public EList<String> getVer()

Specified by:
getVer in interface ProofGoalList
Returns:
the value of the 'Ver' attribute list.
See Also:
QuartzPackage.getProofGoalList_Ver()
Generated:
This code was automatically generated.

getCtrl

public EList<ControlList> getCtrl()

Specified by:
getCtrl in interface ProofGoalList
Returns:
the value of the 'Ctrl' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ctrl()
Generated:
This code was automatically generated.

getAss

public EList<AssumeList> getAss()

Specified by:
getAss in interface ProofGoalList
Returns:
the value of the 'Ass' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ass()
Generated:
This code was automatically generated.

getCtr

public EList<ControlList> getCtr()

Specified by:
getCtr in interface ProofGoalList
Returns:
the value of the 'Ctr' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ctr()
Generated:
This code was automatically generated.

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:
eInverseRemove in class BasicEObjectImpl
Generated:
This code was automatically generated.

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Specified by:
eGet in interface InternalEObject
Overrides:
eGet in class BasicEObjectImpl
Generated:
This code was automatically generated.

eSet

public void eSet(int featureID,
                 Object newValue)

Specified by:
eSet in interface InternalEObject
Overrides:
eSet in class BasicEObjectImpl
Generated:
This code was automatically generated.

eUnset

public void eUnset(int featureID)

Specified by:
eUnset in interface InternalEObject
Overrides:
eUnset in class BasicEObjectImpl
Generated:
This code was automatically generated.

eIsSet

public boolean eIsSet(int featureID)

Specified by:
eIsSet in interface InternalEObject
Overrides:
eIsSet in class BasicEObjectImpl
Generated:
This code was automatically generated.

toString

public String toString()

Overrides:
toString in class BasicEObjectImpl
Generated:
This code was automatically generated.