|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.emf.common.notify.impl.BasicNotifierImpl
org.eclipse.emf.ecore.impl.BasicEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl
org.eclipse.emf.ecore.impl.MinimalEObjectImpl.Container
org.eclipse.emf.ecore.impl.EModelElementImpl
org.eclipse.emf.ecore.impl.EFactoryImpl
de.cau.cs.kieler.quartz.editor.quartz.impl.QuartzFactoryImpl
public class QuartzFactoryImpl
An implementation of the model Factory.
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. |
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.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 |
---|
public QuartzFactoryImpl()
Method Detail |
---|
public static QuartzFactory init()
public EObject create(EClass eClass)
create
in interface EFactory
create
in class EFactoryImpl
public QrzFile createQrzFile()
createQrzFile
in interface QuartzFactory
public PackagePath createPackagePath()
createPackagePath
in interface QuartzFactory
public ImportList createImportList()
createImportList
in interface QuartzFactory
public PointedName createPointedName()
createPointedName
in interface QuartzFactory
public MacroDef createMacroDef()
createMacroDef
in interface QuartzFactory
public QModule createQModule()
createQModule
in interface QuartzFactory
public ObservedSpecList createObservedSpecList()
createObservedSpecList
in interface QuartzFactory
public Name createName()
createName
in interface QuartzFactory
public QName createQName()
createQName
in interface QuartzFactory
public QNameList createQNameList()
createQNameList
in interface QuartzFactory
public QType createQType()
createQType
in interface QuartzFactory
public QTypeList createQTypeList()
createQTypeList
in interface QuartzFactory
public DimList createDimList()
createDimList
in interface QuartzFactory
public InOutName createInOutName()
createInOutName
in interface QuartzFactory
public InOutNameList createInOutNameList()
createInOutNameList
in interface QuartzFactory
public InOutNameListComma createInOutNameListComma()
createInOutNameListComma
in interface QuartzFactory
public Interface createInterface()
createInterface
in interface QuartzFactory
public InterfaceComma createInterfaceComma()
createInterfaceComma
in interface QuartzFactory
public InterfaceList createInterfaceList()
createInterfaceList
in interface QuartzFactory
public ControlList createControlList()
createControlList
in interface QuartzFactory
public AssumeList createAssumeList()
createAssumeList
in interface QuartzFactory
public ProofGoalList createProofGoalList()
createProofGoalList
in interface QuartzFactory
public FixpointEqList createFixpointEqList()
createFixpointEqList
in interface QuartzFactory
public OptUtyExpr createOptUtyExpr()
createOptUtyExpr
in interface QuartzFactory
public OptUtyExprList createOptUtyExprList()
createOptUtyExprList
in interface QuartzFactory
public UtyExprSelectList createUtyExprSelectList()
createUtyExprSelectList
in interface QuartzFactory
public UtyExpr createUtyExpr()
createUtyExpr
in interface QuartzFactory
public UtyAction createUtyAction()
createUtyAction
in interface QuartzFactory
public case_list createcase_list()
createcase_list
in interface QuartzFactory
public dUtyExpr createdUtyExpr()
createdUtyExpr
in interface QuartzFactory
public dUtyExprs createdUtyExprs()
createdUtyExprs
in interface QuartzFactory
public Generic createGeneric()
createGeneric
in interface QuartzFactory
public LocStmt createLocStmt()
createLocStmt
in interface QuartzFactory
public SeqStmt createSeqStmt()
createSeqStmt
in interface QuartzFactory
public Stmt createStmt()
createStmt
in interface QuartzFactory
public AtomicStmt createAtomicStmt()
createAtomicStmt
in interface QuartzFactory
public NamedStmt createNamedStmt()
createNamedStmt
in interface QuartzFactory
public QuartzPackage getQuartzPackage()
getQuartzPackage
in interface QuartzFactory
@Deprecated public static QuartzPackage getPackage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |