|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface QuartzFactory
The Factory for the model. It provides a create method for each non-abstract class of the model.
QuartzPackage
Field Summary | |
---|---|
static QuartzFactory |
eINSTANCE
The singleton instance of the factory. |
Method Summary | |
---|---|
AssumeList |
createAssumeList()
Returns a new object of class 'Assume List'. |
AtomicStmt |
createAtomicStmt()
Returns a new object of class 'Atomic Stmt'. |
case_list |
createcase_list()
Returns a new object of class 'case list'. |
ControlList |
createControlList()
Returns a new object of class 'Control List'. |
DimList |
createDimList()
Returns a new object of class 'Dim List'. |
dUtyExpr |
createdUtyExpr()
Returns a new object of class 'dUty Expr'. |
dUtyExprs |
createdUtyExprs()
Returns a new object of class 'dUty Exprs'. |
FixpointEqList |
createFixpointEqList()
Returns a new object of class 'Fixpoint Eq List'. |
Generic |
createGeneric()
Returns a new object of class 'Generic'. |
ImportList |
createImportList()
Returns a new object of class 'Import List'. |
InOutName |
createInOutName()
Returns a new object of class 'In Out Name'. |
InOutNameList |
createInOutNameList()
Returns a new object of class 'In Out Name List'. |
InOutNameListComma |
createInOutNameListComma()
Returns a new object of class 'In Out Name List Comma'. |
Interface |
createInterface()
Returns a new object of class 'Interface'. |
InterfaceComma |
createInterfaceComma()
Returns a new object of class 'Interface Comma'. |
InterfaceList |
createInterfaceList()
Returns a new object of class 'Interface List'. |
LocStmt |
createLocStmt()
Returns a new object of class 'Loc Stmt'. |
MacroDef |
createMacroDef()
Returns a new object of class 'Macro Def'. |
Name |
createName()
Returns a new object of class 'Name'. |
NamedStmt |
createNamedStmt()
Returns a new object of class 'Named Stmt'. |
ObservedSpecList |
createObservedSpecList()
Returns a new object of class 'Observed Spec List'. |
OptUtyExpr |
createOptUtyExpr()
Returns a new object of class 'Opt Uty Expr'. |
OptUtyExprList |
createOptUtyExprList()
Returns a new object of class 'Opt Uty Expr List'. |
PackagePath |
createPackagePath()
Returns a new object of class 'Package Path'. |
PointedName |
createPointedName()
Returns a new object of class 'Pointed Name'. |
ProofGoalList |
createProofGoalList()
Returns a new object of class 'Proof Goal List'. |
QModule |
createQModule()
Returns a new object of class 'QModule'. |
QName |
createQName()
Returns a new object of class 'QName'. |
QNameList |
createQNameList()
Returns a new object of class 'QName List'. |
QrzFile |
createQrzFile()
Returns a new object of class 'Qrz File'. |
QType |
createQType()
Returns a new object of class 'QType'. |
QTypeList |
createQTypeList()
Returns a new object of class 'QType List'. |
SeqStmt |
createSeqStmt()
Returns a new object of class 'Seq Stmt'. |
Stmt |
createStmt()
Returns a new object of class 'Stmt'. |
UtyAction |
createUtyAction()
Returns a new object of class 'Uty Action'. |
UtyExpr |
createUtyExpr()
Returns a new object of class 'Uty Expr'. |
UtyExprSelectList |
createUtyExprSelectList()
Returns a new object of class 'Uty Expr Select List'. |
QuartzPackage |
getQuartzPackage()
Returns the package supported by this factory. |
Methods inherited from interface org.eclipse.emf.ecore.EFactory |
---|
convertToString, create, createFromString, getEPackage, setEPackage |
Methods inherited from interface org.eclipse.emf.ecore.EModelElement |
---|
getEAnnotation, getEAnnotations |
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 |
Field Detail |
---|
static final QuartzFactory eINSTANCE
Method Detail |
---|
QrzFile createQrzFile()
PackagePath createPackagePath()
ImportList createImportList()
PointedName createPointedName()
MacroDef createMacroDef()
QModule createQModule()
ObservedSpecList createObservedSpecList()
Name createName()
QName createQName()
QNameList createQNameList()
QType createQType()
QTypeList createQTypeList()
DimList createDimList()
InOutName createInOutName()
InOutNameList createInOutNameList()
InOutNameListComma createInOutNameListComma()
Interface createInterface()
InterfaceComma createInterfaceComma()
InterfaceList createInterfaceList()
ControlList createControlList()
AssumeList createAssumeList()
ProofGoalList createProofGoalList()
FixpointEqList createFixpointEqList()
OptUtyExpr createOptUtyExpr()
OptUtyExprList createOptUtyExprList()
UtyExprSelectList createUtyExprSelectList()
UtyExpr createUtyExpr()
UtyAction createUtyAction()
case_list createcase_list()
dUtyExpr createdUtyExpr()
dUtyExprs createdUtyExprs()
Generic createGeneric()
LocStmt createLocStmt()
SeqStmt createSeqStmt()
Stmt createStmt()
AtomicStmt createAtomicStmt()
NamedStmt createNamedStmt()
QuartzPackage getQuartzPackage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |