|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.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
de.cau.cs.kieler.quartz.editor.quartz.impl.ObservedSpecListImpl
de.cau.cs.kieler.quartz.editor.quartz.impl.ProofGoalListImpl
public class ProofGoalListImpl
An implementation of the model object 'Proof Goal List'.
The following features are implemented:
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.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 |
---|
protected EList<QName> name
Name
' containment reference list.
getName()
protected EList<UtyExpr> expr
Expr
' containment reference list.
getExpr()
protected EList<ProofGoalList> goals
Goals
' containment reference list.
getGoals()
protected EList<String> ver
Ver
' attribute list.
getVer()
protected EList<ControlList> ctrl
Ctrl
' containment reference list.
getCtrl()
protected EList<AssumeList> ass
Ass
' containment reference list.
getAss()
protected EList<ControlList> ctr
Ctr
' containment reference list.
getCtr()
Constructor Detail |
---|
protected ProofGoalListImpl()
Method Detail |
---|
protected EClass eStaticClass()
eStaticClass
in class ObservedSpecListImpl
public EList<QName> getName()
getName
in interface ProofGoalList
QuartzPackage.getProofGoalList_Name()
public EList<UtyExpr> getExpr()
getExpr
in interface ProofGoalList
QuartzPackage.getProofGoalList_Expr()
public EList<ProofGoalList> getGoals()
getGoals
in interface ProofGoalList
QuartzPackage.getProofGoalList_Goals()
public EList<String> getVer()
getVer
in interface ProofGoalList
QuartzPackage.getProofGoalList_Ver()
public EList<ControlList> getCtrl()
getCtrl
in interface ProofGoalList
QuartzPackage.getProofGoalList_Ctrl()
public EList<AssumeList> getAss()
getAss
in interface ProofGoalList
QuartzPackage.getProofGoalList_Ass()
public EList<ControlList> getCtr()
getCtr
in interface ProofGoalList
QuartzPackage.getProofGoalList_Ctr()
public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
eInverseRemove
in class BasicEObjectImpl
public Object eGet(int featureID, boolean resolve, boolean coreType)
eGet
in interface InternalEObject
eGet
in class BasicEObjectImpl
public void eSet(int featureID, Object newValue)
eSet
in interface InternalEObject
eSet
in class BasicEObjectImpl
public void eUnset(int featureID)
eUnset
in interface InternalEObject
eUnset
in class BasicEObjectImpl
public boolean eIsSet(int featureID)
eIsSet
in interface InternalEObject
eIsSet
in class BasicEObjectImpl
public String toString()
toString
in class BasicEObjectImpl
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |