de.cau.cs.kieler.quartz.editor.quartz
Interface ProofGoalList

All Superinterfaces:
EObject, Notifier, ObservedSpecList
All Known Implementing Classes:
ProofGoalListImpl

public interface ProofGoalList
extends ObservedSpecList

A representation of the model object 'Proof Goal List'.

The following features are supported:

See Also:
QuartzPackage.getProofGoalList()
Rating red
Generated:
This code was automatically generated.
Model element

Method Summary
 EList<AssumeList> getAss()
          Returns the value of the 'Ass' containment reference list.
 EList<ControlList> getCtr()
          Returns the value of the 'Ctr' containment reference list.
 EList<ControlList> getCtrl()
          Returns the value of the 'Ctrl' containment reference list.
 EList<UtyExpr> getExpr()
          Returns the value of the 'Expr' containment reference list.
 EList<ProofGoalList> getGoals()
          Returns the value of the 'Goals' containment reference list.
 EList<QName> getName()
          Returns the value of the 'Name' containment reference list.
 EList<String> getVer()
          Returns the value of the 'Ver' attribute list.
 
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
 

Method Detail

getName

EList<QName> getName()
Returns the value of the 'Name' containment reference list. The list contents are of type QName.

If the meaning of the 'Name' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Name' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Name()
Generated:
This code was automatically generated.
Model element:
containment=true

getExpr

EList<UtyExpr> getExpr()
Returns the value of the 'Expr' containment reference list. The list contents are of type UtyExpr.

If the meaning of the 'Expr' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Expr' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Expr()
Generated:
This code was automatically generated.
Model element:
containment=true

getGoals

EList<ProofGoalList> getGoals()
Returns the value of the 'Goals' containment reference list. The list contents are of type ProofGoalList.

If the meaning of the 'Goals' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Goals' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Goals()
Generated:
This code was automatically generated.
Model element:
containment=true

getVer

EList<String> getVer()
Returns the value of the 'Ver' attribute list. The list contents are of type String.

If the meaning of the 'Ver' attribute list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Ver' attribute list.
See Also:
QuartzPackage.getProofGoalList_Ver()
Generated:
This code was automatically generated.
Model element:
unique=false

getCtrl

EList<ControlList> getCtrl()
Returns the value of the 'Ctrl' containment reference list. The list contents are of type ControlList.

If the meaning of the 'Ctrl' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Ctrl' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ctrl()
Generated:
This code was automatically generated.
Model element:
containment=true

getAss

EList<AssumeList> getAss()
Returns the value of the 'Ass' containment reference list. The list contents are of type AssumeList.

If the meaning of the 'Ass' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Ass' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ass()
Generated:
This code was automatically generated.
Model element:
containment=true

getCtr

EList<ControlList> getCtr()
Returns the value of the 'Ctr' containment reference list. The list contents are of type ControlList.

If the meaning of the 'Ctr' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Ctr' containment reference list.
See Also:
QuartzPackage.getProofGoalList_Ctr()
Generated:
This code was automatically generated.
Model element:
containment=true