de.cau.cs.kieler.quartz.editor.quartz.impl
Class QuartzFactoryImpl

java.lang.Object
  extended by org.eclipse.emf.common.notify.impl.BasicNotifierImpl
      extended by org.eclipse.emf.ecore.impl.BasicEObjectImpl
          extended by org.eclipse.emf.ecore.impl.MinimalEObjectImpl
              extended by org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
                  extended by org.eclipse.emf.ecore.impl.EModelElementImpl
                      extended by org.eclipse.emf.ecore.impl.EFactoryImpl
                          extended by de.cau.cs.kieler.quartz.editor.quartz.impl.QuartzFactoryImpl
All Implemented Interfaces:
QuartzFactory, Notifier, EFactory, EModelElement, EObject, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject

public class QuartzFactoryImpl
extends EFactoryImpl
implements QuartzFactory

An implementation of the model Factory.

Rating red
Generated:
This code was automatically generated.

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
 
Fields inherited from class org.eclipse.emf.ecore.impl.EFactoryImpl
EDATE_FORMATS, ePackage
 
Fields inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eAnnotations, eFlags, EFROZEN, ELAST_EMODEL_ELEMENT_FLAG
 
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 de.cau.cs.kieler.quartz.editor.quartz.QuartzFactory
eINSTANCE
 
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
QuartzFactoryImpl()
          Creates an instance of the factory.
 
Method Summary
 EObject create(EClass eClass)
           
 AssumeList createAssumeList()
           
 AtomicStmt createAtomicStmt()
           
 case_list createcase_list()
           
 ControlList createControlList()
           
 DimList createDimList()
           
 dUtyExpr createdUtyExpr()
           
 dUtyExprs createdUtyExprs()
           
 FixpointEqList createFixpointEqList()
           
 Generic createGeneric()
           
 ImportList createImportList()
           
 InOutName createInOutName()
           
 InOutNameList createInOutNameList()
           
 InOutNameListComma createInOutNameListComma()
           
 Interface createInterface()
           
 InterfaceComma createInterfaceComma()
           
 InterfaceList createInterfaceList()
           
 LocStmt createLocStmt()
           
 MacroDef createMacroDef()
           
 Name createName()
           
 NamedStmt createNamedStmt()
           
 ObservedSpecList createObservedSpecList()
           
 OptUtyExpr createOptUtyExpr()
           
 OptUtyExprList createOptUtyExprList()
           
 PackagePath createPackagePath()
           
 PointedName createPointedName()
           
 ProofGoalList createProofGoalList()
           
 QModule createQModule()
           
 QName createQName()
           
 QNameList createQNameList()
           
 QrzFile createQrzFile()
           
 QType createQType()
           
 QTypeList createQTypeList()
           
 SeqStmt createSeqStmt()
           
 Stmt createStmt()
           
 UtyAction createUtyAction()
           
 UtyExpr createUtyExpr()
           
 UtyExprSelectList createUtyExprSelectList()
           
static QuartzPackage getPackage()
          Deprecated.  
 QuartzPackage getQuartzPackage()
           
static QuartzFactory init()
          Creates the default factory implementation.
 
Methods inherited from class org.eclipse.emf.ecore.impl.EFactoryImpl
basicCreate, basicSetEPackage, collapseWhiteSpace, convertToString, convertToString, createFromString, createFromString, eGet, eInverseAdd, eInverseRemove, eIsSet, eSet, eStaticClass, eUnset, getEPackage, replaceWhiteSpace, setEPackage
 
Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eObjectForURIFragmentSegment, eSetDirectResource, eURIFragmentSegment, freeze, freeze, getEAnnotation, getEAnnotations, isFrozen, setFrozen
 
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, eSetProxyURI, eSettings
 
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDynamicBasicRemoveFromContainer, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eInternalResource, eInverseAdd, eInverseRemove, eIsSet, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetResource, eSetStore, eSetting, eSettingDelegate, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStore, eUnset, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues, toString
 
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.EFactory
convertToString, 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
 
Methods inherited from interface org.eclipse.emf.ecore.InternalEObject
eNotificationRequired
 

Constructor Detail

QuartzFactoryImpl

public QuartzFactoryImpl()
Creates an instance of the factory.

Generated:
This code was automatically generated.
Method Detail

init

public static QuartzFactory init()
Creates the default factory implementation.

Generated:
This code was automatically generated.

create

public EObject create(EClass eClass)

Specified by:
create in interface EFactory
Overrides:
create in class EFactoryImpl
Generated:
This code was automatically generated.

createQrzFile

public QrzFile createQrzFile()

Specified by:
createQrzFile in interface QuartzFactory
Returns:
a new object of class 'Qrz File'.
Generated:
This code was automatically generated.

createPackagePath

public PackagePath createPackagePath()

Specified by:
createPackagePath in interface QuartzFactory
Returns:
a new object of class 'Package Path'.
Generated:
This code was automatically generated.

createImportList

public ImportList createImportList()

Specified by:
createImportList in interface QuartzFactory
Returns:
a new object of class 'Import List'.
Generated:
This code was automatically generated.

createPointedName

public PointedName createPointedName()

Specified by:
createPointedName in interface QuartzFactory
Returns:
a new object of class 'Pointed Name'.
Generated:
This code was automatically generated.

createMacroDef

public MacroDef createMacroDef()

Specified by:
createMacroDef in interface QuartzFactory
Returns:
a new object of class 'Macro Def'.
Generated:
This code was automatically generated.

createQModule

public QModule createQModule()

Specified by:
createQModule in interface QuartzFactory
Returns:
a new object of class 'QModule'.
Generated:
This code was automatically generated.

createObservedSpecList

public ObservedSpecList createObservedSpecList()

Specified by:
createObservedSpecList in interface QuartzFactory
Returns:
a new object of class 'Observed Spec List'.
Generated:
This code was automatically generated.

createName

public Name createName()

Specified by:
createName in interface QuartzFactory
Returns:
a new object of class 'Name'.
Generated:
This code was automatically generated.

createQName

public QName createQName()

Specified by:
createQName in interface QuartzFactory
Returns:
a new object of class 'QName'.
Generated:
This code was automatically generated.

createQNameList

public QNameList createQNameList()

Specified by:
createQNameList in interface QuartzFactory
Returns:
a new object of class 'QName List'.
Generated:
This code was automatically generated.

createQType

public QType createQType()

Specified by:
createQType in interface QuartzFactory
Returns:
a new object of class 'QType'.
Generated:
This code was automatically generated.

createQTypeList

public QTypeList createQTypeList()

Specified by:
createQTypeList in interface QuartzFactory
Returns:
a new object of class 'QType List'.
Generated:
This code was automatically generated.

createDimList

public DimList createDimList()

Specified by:
createDimList in interface QuartzFactory
Returns:
a new object of class 'Dim List'.
Generated:
This code was automatically generated.

createInOutName

public InOutName createInOutName()

Specified by:
createInOutName in interface QuartzFactory
Returns:
a new object of class 'In Out Name'.
Generated:
This code was automatically generated.

createInOutNameList

public InOutNameList createInOutNameList()

Specified by:
createInOutNameList in interface QuartzFactory
Returns:
a new object of class 'In Out Name List'.
Generated:
This code was automatically generated.

createInOutNameListComma

public InOutNameListComma createInOutNameListComma()

Specified by:
createInOutNameListComma in interface QuartzFactory
Returns:
a new object of class 'In Out Name List Comma'.
Generated:
This code was automatically generated.

createInterface

public Interface createInterface()

Specified by:
createInterface in interface QuartzFactory
Returns:
a new object of class 'Interface'.
Generated:
This code was automatically generated.

createInterfaceComma

public InterfaceComma createInterfaceComma()

Specified by:
createInterfaceComma in interface QuartzFactory
Returns:
a new object of class 'Interface Comma'.
Generated:
This code was automatically generated.

createInterfaceList

public InterfaceList createInterfaceList()

Specified by:
createInterfaceList in interface QuartzFactory
Returns:
a new object of class 'Interface List'.
Generated:
This code was automatically generated.

createControlList

public ControlList createControlList()

Specified by:
createControlList in interface QuartzFactory
Returns:
a new object of class 'Control List'.
Generated:
This code was automatically generated.

createAssumeList

public AssumeList createAssumeList()

Specified by:
createAssumeList in interface QuartzFactory
Returns:
a new object of class 'Assume List'.
Generated:
This code was automatically generated.

createProofGoalList

public ProofGoalList createProofGoalList()

Specified by:
createProofGoalList in interface QuartzFactory
Returns:
a new object of class 'Proof Goal List'.
Generated:
This code was automatically generated.

createFixpointEqList

public FixpointEqList createFixpointEqList()

Specified by:
createFixpointEqList in interface QuartzFactory
Returns:
a new object of class 'Fixpoint Eq List'.
Generated:
This code was automatically generated.

createOptUtyExpr

public OptUtyExpr createOptUtyExpr()

Specified by:
createOptUtyExpr in interface QuartzFactory
Returns:
a new object of class 'Opt Uty Expr'.
Generated:
This code was automatically generated.

createOptUtyExprList

public OptUtyExprList createOptUtyExprList()

Specified by:
createOptUtyExprList in interface QuartzFactory
Returns:
a new object of class 'Opt Uty Expr List'.
Generated:
This code was automatically generated.

createUtyExprSelectList

public UtyExprSelectList createUtyExprSelectList()

Specified by:
createUtyExprSelectList in interface QuartzFactory
Returns:
a new object of class 'Uty Expr Select List'.
Generated:
This code was automatically generated.

createUtyExpr

public UtyExpr createUtyExpr()

Specified by:
createUtyExpr in interface QuartzFactory
Returns:
a new object of class 'Uty Expr'.
Generated:
This code was automatically generated.

createUtyAction

public UtyAction createUtyAction()

Specified by:
createUtyAction in interface QuartzFactory
Returns:
a new object of class 'Uty Action'.
Generated:
This code was automatically generated.

createcase_list

public case_list createcase_list()

Specified by:
createcase_list in interface QuartzFactory
Returns:
a new object of class 'case list'.
Generated:
This code was automatically generated.

createdUtyExpr

public dUtyExpr createdUtyExpr()

Specified by:
createdUtyExpr in interface QuartzFactory
Returns:
a new object of class 'dUty Expr'.
Generated:
This code was automatically generated.

createdUtyExprs

public dUtyExprs createdUtyExprs()

Specified by:
createdUtyExprs in interface QuartzFactory
Returns:
a new object of class 'dUty Exprs'.
Generated:
This code was automatically generated.

createGeneric

public Generic createGeneric()

Specified by:
createGeneric in interface QuartzFactory
Returns:
a new object of class 'Generic'.
Generated:
This code was automatically generated.

createLocStmt

public LocStmt createLocStmt()

Specified by:
createLocStmt in interface QuartzFactory
Returns:
a new object of class 'Loc Stmt'.
Generated:
This code was automatically generated.

createSeqStmt

public SeqStmt createSeqStmt()

Specified by:
createSeqStmt in interface QuartzFactory
Returns:
a new object of class 'Seq Stmt'.
Generated:
This code was automatically generated.

createStmt

public Stmt createStmt()

Specified by:
createStmt in interface QuartzFactory
Returns:
a new object of class 'Stmt'.
Generated:
This code was automatically generated.

createAtomicStmt

public AtomicStmt createAtomicStmt()

Specified by:
createAtomicStmt in interface QuartzFactory
Returns:
a new object of class 'Atomic Stmt'.
Generated:
This code was automatically generated.

createNamedStmt

public NamedStmt createNamedStmt()

Specified by:
createNamedStmt in interface QuartzFactory
Returns:
a new object of class 'Named Stmt'.
Generated:
This code was automatically generated.

getQuartzPackage

public QuartzPackage getQuartzPackage()

Specified by:
getQuartzPackage in interface QuartzFactory
Returns:
the package supported by this factory.
Generated:
This code was automatically generated.

getPackage

@Deprecated
public static QuartzPackage getPackage()
Deprecated. 

Generated:
This code was automatically generated.