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

All Superinterfaces:
EFactory, EModelElement, EObject, Notifier
All Known Implementing Classes:
QuartzFactoryImpl

public interface QuartzFactory
extends EFactory

The Factory for the model. It provides a create method for each non-abstract class of the model.

See Also:
QuartzPackage
Rating red
Generated:
This code was automatically generated.

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

eINSTANCE

static final QuartzFactory eINSTANCE
The singleton instance of the factory.

Generated:
This code was automatically generated.
Method Detail

createQrzFile

QrzFile createQrzFile()
Returns a new object of class 'Qrz File'.

Returns:
a new object of class 'Qrz File'.
Generated:
This code was automatically generated.

createPackagePath

PackagePath createPackagePath()
Returns a new object of class 'Package Path'.

Returns:
a new object of class 'Package Path'.
Generated:
This code was automatically generated.

createImportList

ImportList createImportList()
Returns a new object of class 'Import List'.

Returns:
a new object of class 'Import List'.
Generated:
This code was automatically generated.

createPointedName

PointedName createPointedName()
Returns a new object of class 'Pointed Name'.

Returns:
a new object of class 'Pointed Name'.
Generated:
This code was automatically generated.

createMacroDef

MacroDef createMacroDef()
Returns a new object of class 'Macro Def'.

Returns:
a new object of class 'Macro Def'.
Generated:
This code was automatically generated.

createQModule

QModule createQModule()
Returns a new object of class 'QModule'.

Returns:
a new object of class 'QModule'.
Generated:
This code was automatically generated.

createObservedSpecList

ObservedSpecList createObservedSpecList()
Returns a new object of class 'Observed Spec List'.

Returns:
a new object of class 'Observed Spec List'.
Generated:
This code was automatically generated.

createName

Name createName()
Returns a new object of class 'Name'.

Returns:
a new object of class 'Name'.
Generated:
This code was automatically generated.

createQName

QName createQName()
Returns a new object of class 'QName'.

Returns:
a new object of class 'QName'.
Generated:
This code was automatically generated.

createQNameList

QNameList createQNameList()
Returns a new object of class 'QName List'.

Returns:
a new object of class 'QName List'.
Generated:
This code was automatically generated.

createQType

QType createQType()
Returns a new object of class 'QType'.

Returns:
a new object of class 'QType'.
Generated:
This code was automatically generated.

createQTypeList

QTypeList createQTypeList()
Returns a new object of class 'QType List'.

Returns:
a new object of class 'QType List'.
Generated:
This code was automatically generated.

createDimList

DimList createDimList()
Returns a new object of class 'Dim List'.

Returns:
a new object of class 'Dim List'.
Generated:
This code was automatically generated.

createInOutName

InOutName createInOutName()
Returns a new object of class 'In Out Name'.

Returns:
a new object of class 'In Out Name'.
Generated:
This code was automatically generated.

createInOutNameList

InOutNameList createInOutNameList()
Returns a new object of class 'In Out Name List'.

Returns:
a new object of class 'In Out Name List'.
Generated:
This code was automatically generated.

createInOutNameListComma

InOutNameListComma createInOutNameListComma()
Returns a new object of class 'In Out Name List Comma'.

Returns:
a new object of class 'In Out Name List Comma'.
Generated:
This code was automatically generated.

createInterface

Interface createInterface()
Returns a new object of class 'Interface'.

Returns:
a new object of class 'Interface'.
Generated:
This code was automatically generated.

createInterfaceComma

InterfaceComma createInterfaceComma()
Returns a new object of class 'Interface Comma'.

Returns:
a new object of class 'Interface Comma'.
Generated:
This code was automatically generated.

createInterfaceList

InterfaceList createInterfaceList()
Returns a new object of class 'Interface List'.

Returns:
a new object of class 'Interface List'.
Generated:
This code was automatically generated.

createControlList

ControlList createControlList()
Returns a new object of class 'Control List'.

Returns:
a new object of class 'Control List'.
Generated:
This code was automatically generated.

createAssumeList

AssumeList createAssumeList()
Returns a new object of class 'Assume List'.

Returns:
a new object of class 'Assume List'.
Generated:
This code was automatically generated.

createProofGoalList

ProofGoalList createProofGoalList()
Returns a new object of class 'Proof Goal List'.

Returns:
a new object of class 'Proof Goal List'.
Generated:
This code was automatically generated.

createFixpointEqList

FixpointEqList createFixpointEqList()
Returns a new object of class 'Fixpoint Eq List'.

Returns:
a new object of class 'Fixpoint Eq List'.
Generated:
This code was automatically generated.

createOptUtyExpr

OptUtyExpr createOptUtyExpr()
Returns a new object of class 'Opt Uty Expr'.

Returns:
a new object of class 'Opt Uty Expr'.
Generated:
This code was automatically generated.

createOptUtyExprList

OptUtyExprList createOptUtyExprList()
Returns a new object of class 'Opt Uty Expr List'.

Returns:
a new object of class 'Opt Uty Expr List'.
Generated:
This code was automatically generated.

createUtyExprSelectList

UtyExprSelectList createUtyExprSelectList()
Returns a new object of class 'Uty Expr Select List'.

Returns:
a new object of class 'Uty Expr Select List'.
Generated:
This code was automatically generated.

createUtyExpr

UtyExpr createUtyExpr()
Returns a new object of class 'Uty Expr'.

Returns:
a new object of class 'Uty Expr'.
Generated:
This code was automatically generated.

createUtyAction

UtyAction createUtyAction()
Returns a new object of class 'Uty Action'.

Returns:
a new object of class 'Uty Action'.
Generated:
This code was automatically generated.

createcase_list

case_list createcase_list()
Returns a new object of class 'case list'.

Returns:
a new object of class 'case list'.
Generated:
This code was automatically generated.

createdUtyExpr

dUtyExpr createdUtyExpr()
Returns a new object of class 'dUty Expr'.

Returns:
a new object of class 'dUty Expr'.
Generated:
This code was automatically generated.

createdUtyExprs

dUtyExprs createdUtyExprs()
Returns a new object of class 'dUty Exprs'.

Returns:
a new object of class 'dUty Exprs'.
Generated:
This code was automatically generated.

createGeneric

Generic createGeneric()
Returns a new object of class 'Generic'.

Returns:
a new object of class 'Generic'.
Generated:
This code was automatically generated.

createLocStmt

LocStmt createLocStmt()
Returns a new object of class 'Loc Stmt'.

Returns:
a new object of class 'Loc Stmt'.
Generated:
This code was automatically generated.

createSeqStmt

SeqStmt createSeqStmt()
Returns a new object of class 'Seq Stmt'.

Returns:
a new object of class 'Seq Stmt'.
Generated:
This code was automatically generated.

createStmt

Stmt createStmt()
Returns a new object of class 'Stmt'.

Returns:
a new object of class 'Stmt'.
Generated:
This code was automatically generated.

createAtomicStmt

AtomicStmt createAtomicStmt()
Returns a new object of class 'Atomic Stmt'.

Returns:
a new object of class 'Atomic Stmt'.
Generated:
This code was automatically generated.

createNamedStmt

NamedStmt createNamedStmt()
Returns a new object of class 'Named Stmt'.

Returns:
a new object of class 'Named Stmt'.
Generated:
This code was automatically generated.

getQuartzPackage

QuartzPackage getQuartzPackage()
Returns the package supported by this factory.

Returns:
the package supported by this factory.
Generated:
This code was automatically generated.