|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProofGoalList
A representation of the model object 'Proof Goal List'.
The following features are supported:
QuartzPackage.getProofGoalList()
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 |
---|
EList<QName> getName()
QName
.
If the meaning of the 'Name' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Name()
containment | = | true |
EList<UtyExpr> getExpr()
UtyExpr
.
If the meaning of the 'Expr' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Expr()
containment | = | true |
EList<ProofGoalList> getGoals()
ProofGoalList
.
If the meaning of the 'Goals' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Goals()
containment | = | true |
EList<String> getVer()
String
.
If the meaning of the 'Ver' attribute list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Ver()
unique | = | false |
EList<ControlList> getCtrl()
ControlList
.
If the meaning of the 'Ctrl' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Ctrl()
containment | = | true |
EList<AssumeList> getAss()
AssumeList
.
If the meaning of the 'Ass' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Ass()
containment | = | true |
EList<ControlList> getCtr()
ControlList
.
If the meaning of the 'Ctr' containment reference list isn't clear, there really should be more of a description here...
QuartzPackage.getProofGoalList_Ctr()
containment | = | true |
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |