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

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.ENamedElementImpl
                          extended by org.eclipse.emf.ecore.impl.EPackageImpl
                              extended by de.cau.cs.kieler.quartz.editor.quartz.impl.QuartzPackageImpl
All Implemented Interfaces:
QuartzPackage, Notifier, EModelElement, ENamedElement, EObject, EPackage, EStructuralFeature.Internal.DynamicValueHolder, InternalEObject, BasicExtendedMetaData.EPackageExtendedMetaData.Holder

public class QuartzPackageImpl
extends EPackageImpl
implements QuartzPackage

An implementation of the model Package.

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 de.cau.cs.kieler.quartz.editor.quartz.QuartzPackage
QuartzPackage.Literals
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage
EPackage.Descriptor, EPackage.Registry
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject
InternalEObject.EStore
 
Field Summary
 
Fields inherited from class org.eclipse.emf.ecore.impl.EPackageImpl
eClassifiers, ecoreFactory, ecorePackage, eFactoryInstance, eNameToEClassifierMap, ePackageExtendedMetaData, eSubpackages, IS_ABSTRACT, IS_CHANGEABLE, IS_COMPOSITE, IS_DERIVED, IS_GENERATED_INSTANCE_CLASS, IS_ID, IS_INTERFACE, IS_ORDERED, IS_RESOLVABLE, IS_RESOLVE_PROXIES, IS_SERIALIZABLE, IS_TRANSIENT, IS_UNIQUE, IS_UNSETTABLE, IS_VOLATILE, NS_PREFIX_EDEFAULT, NS_URI_EDEFAULT, nsPrefix, nsURI
 
Fields inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
name, NAME_EDEFAULT
 
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.QuartzPackage
ASSUME_LIST, ASSUME_LIST_FEATURE_COUNT, ATOMIC_STMT, ATOMIC_STMT__EXPR, ATOMIC_STMT__T03, ATOMIC_STMT__T06, ATOMIC_STMT__T16, ATOMIC_STMT_FEATURE_COUNT, CASE_LIST, CASE_LIST__EXP, CASE_LIST__EXPR, CASE_LIST__STMT, CASE_LIST__T03, CASE_LIST__T06, CASE_LIST__T15, CASE_LIST__T16, CASE_LIST_FEATURE_COUNT, CONTROL_LIST, CONTROL_LIST_FEATURE_COUNT, DIM_LIST, DIM_LIST__EXPR, DIM_LIST_FEATURE_COUNT, DUTY_EXPR, DUTY_EXPR__EXPR, DUTY_EXPR__T03, DUTY_EXPR__T06, DUTY_EXPR__T07, DUTY_EXPR__T13, DUTY_EXPR__T14, DUTY_EXPR__T16, DUTY_EXPR_FEATURE_COUNT, DUTY_EXPRS, DUTY_EXPRS_FEATURE_COUNT, eINSTANCE, eNAME, eNS_PREFIX, eNS_URI, FIXPOINT_EQ_LIST, FIXPOINT_EQ_LIST__EXPR, FIXPOINT_EQ_LIST__EXPR2, FIXPOINT_EQ_LIST__NAME, FIXPOINT_EQ_LIST__OP, FIXPOINT_EQ_LIST__T03, FIXPOINT_EQ_LIST__T06, FIXPOINT_EQ_LIST__T07, FIXPOINT_EQ_LIST__T13, FIXPOINT_EQ_LIST__T14, FIXPOINT_EQ_LIST__T16, FIXPOINT_EQ_LIST__T2, FIXPOINT_EQ_LIST__T4, FIXPOINT_EQ_LIST__T7, FIXPOINT_EQ_LIST__TYPE, FIXPOINT_EQ_LIST_FEATURE_COUNT, GENERIC, GENERIC__EXPR, GENERIC__NAME, GENERIC__OP, GENERIC__T, GENERIC__T03, GENERIC__T06, GENERIC__T07, GENERIC__T13, GENERIC__T14, GENERIC__T16, GENERIC__T2, GENERIC__T23, GENERIC__T4, GENERIC__T7, GENERIC__TYPE, GENERIC_FEATURE_COUNT, IMPORT_LIST, IMPORT_LIST__IMP, IMPORT_LIST_FEATURE_COUNT, IN_OUT_NAME, IN_OUT_NAME__NAMES, IN_OUT_NAME_FEATURE_COUNT, IN_OUT_NAME_LIST, IN_OUT_NAME_LIST_COMMA, IN_OUT_NAME_LIST_COMMA__NAMES, IN_OUT_NAME_LIST_COMMA_FEATURE_COUNT, IN_OUT_NAME_LIST_FEATURE_COUNT, INTERFACE, INTERFACE__NAMES, INTERFACE__TYPE, INTERFACE_COMMA, INTERFACE_COMMA__NAMES, INTERFACE_COMMA__TYPE, INTERFACE_COMMA_FEATURE_COUNT, INTERFACE_FEATURE_COUNT, INTERFACE_LIST, INTERFACE_LIST__INTERFACES, INTERFACE_LIST__INTF, INTERFACE_LIST_FEATURE_COUNT, LOC_STMT, LOC_STMT__EXPR, LOC_STMT__LOCALS, LOC_STMT__STMT, LOC_STMT__T03, LOC_STMT__T06, LOC_STMT__T16, LOC_STMT_FEATURE_COUNT, MACRO_DEF, MACRO_DEF__ARGS, MACRO_DEF__EXPR, MACRO_DEF__NAME, MACRO_DEF_FEATURE_COUNT, NAME, NAME__EXPR, NAME__EXPRS, NAME__ID, NAME__NAME, NAME__NAMES, NAME__OP, NAME__T, NAME__T03, NAME__T06, NAME__T07, NAME__T10, NAME__T13, NAME__T14, NAME__T16, NAME__T2, NAME__T23, NAME__T24, NAME__T4, NAME__T5, NAME__T6, NAME__T7, NAME__TYPE, NAME_FEATURE_COUNT, NAMED_STMT, NAMED_STMT__EXPR, NAMED_STMT__T03, NAMED_STMT__T06, NAMED_STMT__T16, NAMED_STMT_FEATURE_COUNT, OBSERVED_SPEC_LIST, OBSERVED_SPEC_LIST_FEATURE_COUNT, OPT_UTY_EXPR, OPT_UTY_EXPR__EXPRS, OPT_UTY_EXPR__TK, OPT_UTY_EXPR_FEATURE_COUNT, OPT_UTY_EXPR_LIST, OPT_UTY_EXPR_LIST_FEATURE_COUNT, PACKAGE_PATH, PACKAGE_PATH__IMPORTS, PACKAGE_PATH__MACROS, PACKAGE_PATH__MODULE, PACKAGE_PATH_FEATURE_COUNT, POINTED_NAME, POINTED_NAME__ALL, POINTED_NAME__ID, POINTED_NAME__IMPORTS, POINTED_NAME__MACROS, POINTED_NAME__MODULE, POINTED_NAME__NAME, POINTED_NAME_FEATURE_COUNT, PROOF_GOAL_LIST, PROOF_GOAL_LIST__ASS, PROOF_GOAL_LIST__CTR, PROOF_GOAL_LIST__CTRL, PROOF_GOAL_LIST__EXPR, PROOF_GOAL_LIST__GOALS, PROOF_GOAL_LIST__NAME, PROOF_GOAL_LIST__VER, PROOF_GOAL_LIST_FEATURE_COUNT, QMODULE, QMODULE__INTF, QMODULE__NAME, QMODULE__OBS, QMODULE__STMT, QMODULE_FEATURE_COUNT, QNAME, QNAME__EXPR, QNAME__EXPRS, QNAME__NAME, QNAME__NAMES, QNAME__OP, QNAME__T, QNAME__T03, QNAME__T06, QNAME__T07, QNAME__T10, QNAME__T13, QNAME__T14, QNAME__T16, QNAME__T2, QNAME__T23, QNAME__T24, QNAME__T4, QNAME__T5, QNAME__T6, QNAME__T7, QNAME__TYPE, QNAME_FEATURE_COUNT, QNAME_LIST, QNAME_LIST__NAME, QNAME_LIST__NAMES, QNAME_LIST_FEATURE_COUNT, QRZ_FILE, QRZ_FILE__IMPORTS, QRZ_FILE__MACROS, QRZ_FILE__MODULE, QRZ_FILE_FEATURE_COUNT, QTYPE, QTYPE__DIMS, QTYPE__TA, QTYPE__TB, QTYPE__TC, QTYPE_FEATURE_COUNT, QTYPE_LIST, QTYPE_LIST__T, QTYPE_LIST__TYPE, QTYPE_LIST_FEATURE_COUNT, SEQ_STMT, SEQ_STMT__S, SEQ_STMT_FEATURE_COUNT, STMT, STMT__LEFT, STMT__RIGHT, STMT_FEATURE_COUNT, UTY_ACTION, UTY_ACTION__EXPR, UTY_ACTION__T03, UTY_ACTION__T06, UTY_ACTION__T16, UTY_ACTION_FEATURE_COUNT, UTY_EXPR, UTY_EXPR__EXPR, UTY_EXPR__NAME, UTY_EXPR__OP, UTY_EXPR__T03, UTY_EXPR__T06, UTY_EXPR__T07, UTY_EXPR__T13, UTY_EXPR__T14, UTY_EXPR__T16, UTY_EXPR__T2, UTY_EXPR__T4, UTY_EXPR__T7, UTY_EXPR__TYPE, UTY_EXPR_FEATURE_COUNT, UTY_EXPR_SELECT_LIST, UTY_EXPR_SELECT_LIST__TK, UTY_EXPR_SELECT_LIST_FEATURE_COUNT
 
Fields inherited from interface org.eclipse.emf.ecore.EStructuralFeature.Internal.DynamicValueHolder
NIL
 
Fields inherited from interface org.eclipse.emf.ecore.InternalEObject
EOPPOSITE_FEATURE_BASE
 
Method Summary
 void createPackageContents()
          Creates the meta-model objects for the package.
 EClass getAssumeList()
           
 EReference getAtomicStmt_Expr()
           
 EReference getAtomicStmt_T03()
           
 EReference getAtomicStmt_T06()
           
 EReference getAtomicStmt_T16()
           
 EClass getAtomicStmt()
           
 EReference getcase_list_Exp()
           
 EReference getcase_list_Stmt()
           
 EReference getcase_list_T15()
           
 EClass getcase_list()
           
 EClass getControlList()
           
 EReference getDimList_Expr()
           
 EClass getDimList()
           
 EReference getdUtyExpr_T07()
           
 EReference getdUtyExpr_T13()
           
 EReference getdUtyExpr_T14()
           
 EClass getdUtyExpr()
           
 EClass getdUtyExprs()
           
 EReference getFixpointEqList_Expr2()
           
 EClass getFixpointEqList()
           
 EReference getGeneric_T()
           
 EReference getGeneric_T23()
           
 EClass getGeneric()
           
 EReference getImportList_Imp()
           
 EClass getImportList()
           
 EReference getInOutName_Names()
           
 EClass getInOutName()
           
 EClass getInOutNameList()
           
 EReference getInOutNameListComma_Names()
           
 EClass getInOutNameListComma()
           
 EReference getInterface_Names()
           
 EReference getInterface_Type()
           
 EClass getInterface()
           
 EReference getInterfaceComma_Names()
           
 EReference getInterfaceComma_Type()
           
 EClass getInterfaceComma()
           
 EReference getInterfaceList_Interfaces()
           
 EReference getInterfaceList_Intf()
           
 EClass getInterfaceList()
           
 EReference getLocStmt_Locals()
           
 EReference getLocStmt_Stmt()
           
 EClass getLocStmt()
           
 EReference getMacroDef_Args()
           
 EReference getMacroDef_Expr()
           
 EReference getMacroDef_Name()
           
 EClass getMacroDef()
           
 EClass getName_()
           
 EAttribute getName_Id()
           
 EClass getNamedStmt()
           
 EClass getObservedSpecList()
           
 EReference getOptUtyExpr_Exprs()
           
 EReference getOptUtyExpr_Tk()
           
 EClass getOptUtyExpr()
           
 EClass getOptUtyExprList()
           
 EClass getPackagePath()
           
 EAttribute getPointedName_All()
           
 EAttribute getPointedName_Id()
           
 EReference getPointedName_Name()
           
 EClass getPointedName()
           
 EReference getProofGoalList_Ass()
           
 EReference getProofGoalList_Ctr()
           
 EReference getProofGoalList_Ctrl()
           
 EReference getProofGoalList_Expr()
           
 EReference getProofGoalList_Goals()
           
 EReference getProofGoalList_Name()
           
 EAttribute getProofGoalList_Ver()
           
 EClass getProofGoalList()
           
 EReference getQModule_Intf()
           
 EReference getQModule_Name()
           
 EReference getQModule_Obs()
           
 EReference getQModule_Stmt()
           
 EClass getQModule()
           
 EReference getQName_Exprs()
           
 EReference getQName_T10()
           
 EReference getQName_T24()
           
 EReference getQName_T5()
           
 EReference getQName_T6()
           
 EClass getQName()
           
 EReference getQNameList_Name()
           
 EReference getQNameList_Names()
           
 EClass getQNameList()
           
 EReference getQrzFile_Imports()
           
 EReference getQrzFile_Macros()
           
 EReference getQrzFile_Module()
           
 EClass getQrzFile()
           
 EReference getQType_Dims()
           
 EReference getQType_Ta()
           
 EReference getQType_Tb()
           
 EReference getQType_Tc()
           
 EClass getQType()
           
 EReference getQTypeList_T()
           
 EReference getQTypeList_Type()
           
 EClass getQTypeList()
           
 QuartzFactory getQuartzFactory()
           
 EReference getSeqStmt_S()
           
 EClass getSeqStmt()
           
 EReference getStmt_Left()
           
 EReference getStmt_Right()
           
 EClass getStmt()
           
 EClass getUtyAction()
           
 EReference getUtyExpr_Name()
           
 EAttribute getUtyExpr_Op()
           
 EReference getUtyExpr_T2()
           
 EReference getUtyExpr_T4()
           
 EReference getUtyExpr_T7()
           
 EReference getUtyExpr_Type()
           
 EClass getUtyExpr()
           
 EReference getUtyExprSelectList_Tk()
           
 EClass getUtyExprSelectList()
           
static QuartzPackage init()
          Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
 void initializePackageContents()
          Complete the initialization of the package and its meta-model.
 
Methods inherited from class org.eclipse.emf.ecore.impl.EPackageImpl
addAnnotation, addAnnotation, addAnnotation, addAnnotation, addEEnumLiteral, addEException, addEException, addEOperation, addEOperation, addEOperation, addEParameter, addEParameter, addEParameter, addEParameter, addEParameter, addETypeParameter, addETypeParameter, basicGetESuperPackage, basicSetEFactoryInstance, createEAttribute, createEClass, createEDataType, createEEnum, createEGenericType, createEGenericType, createEGenericType, createEReference, createResource, eBasicRemoveFromContainerFeature, eGet, eInverseAdd, eInverseRemove, eIsSet, eObjectForURIFragmentSegment, eSet, eSetProxyURI, eStaticClass, eUnset, fixEClassifiers, fixEEnumLiterals, fixEStructuralFeatures, fixInstanceClass, freeze, getEClassifier, getEClassifierGen, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getExtendedMetaData, getNsPrefix, getNsURI, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEAttribute, initEClass, initEClass, initEClass, initEDataType, initEDataType, initEDataType, initEEnum, initEOperation, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initEReference, initializeFromLoadedEPackage, setEFactoryInstance, setExtendedMetaData, setGeneratedClassName, setInstanceTypeName, setNamespaceURI, setNsPrefix, setNsURI, toString
 
Methods inherited from class org.eclipse.emf.ecore.impl.ENamedElementImpl
eContents, eCrossReferences, getName, getNameGen, setName
 
Methods inherited from class org.eclipse.emf.ecore.impl.EModelElementImpl
eSetDirectResource, eURIFragmentSegment, 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, eDeliver, eDirectResource, eDynamicClass, eHasSettings, eIsProxy, eProperties, eProxyURI, eSetClass, eSetDeliver, eSettings
 
Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl
eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, 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
 
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.EPackage
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
 
Methods inherited from interface org.eclipse.emf.ecore.ENamedElement
getName, setName
 
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
 

Method Detail

init

public static QuartzPackage init()
Creates, registers, and initializes the Package for this model, and for any others upon which it depends.

This method is used to initialize QuartzPackage.eINSTANCE when that field is accessed. Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

See Also:
QuartzPackage.eNS_URI, createPackageContents(), initializePackageContents()
Generated:
This code was automatically generated.

getQrzFile

public EClass getQrzFile()

Specified by:
getQrzFile in interface QuartzPackage
Returns:
the meta object for class 'Qrz File'.
See Also:
QrzFile
Generated:
This code was automatically generated.

getQrzFile_Imports

public EReference getQrzFile_Imports()

Specified by:
getQrzFile_Imports in interface QuartzPackage
Returns:
the meta object for the containment reference 'Imports'.
See Also:
QrzFile.getImports(), QuartzPackage.getQrzFile()
Generated:
This code was automatically generated.

getQrzFile_Macros

public EReference getQrzFile_Macros()

Specified by:
getQrzFile_Macros in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Macros'.
See Also:
QrzFile.getMacros(), QuartzPackage.getQrzFile()
Generated:
This code was automatically generated.

getQrzFile_Module

public EReference getQrzFile_Module()

Specified by:
getQrzFile_Module in interface QuartzPackage
Returns:
the meta object for the containment reference 'Module'.
See Also:
QrzFile.getModule(), QuartzPackage.getQrzFile()
Generated:
This code was automatically generated.

getPackagePath

public EClass getPackagePath()

Specified by:
getPackagePath in interface QuartzPackage
Returns:
the meta object for class 'Package Path'.
See Also:
PackagePath
Generated:
This code was automatically generated.

getImportList

public EClass getImportList()

Specified by:
getImportList in interface QuartzPackage
Returns:
the meta object for class 'Import List'.
See Also:
ImportList
Generated:
This code was automatically generated.

getImportList_Imp

public EReference getImportList_Imp()

Specified by:
getImportList_Imp in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Imp'.
See Also:
ImportList.getImp(), QuartzPackage.getImportList()
Generated:
This code was automatically generated.

getPointedName

public EClass getPointedName()

Specified by:
getPointedName in interface QuartzPackage
Returns:
the meta object for class 'Pointed Name'.
See Also:
PointedName
Generated:
This code was automatically generated.

getPointedName_Id

public EAttribute getPointedName_Id()

Specified by:
getPointedName_Id in interface QuartzPackage
Returns:
the meta object for the attribute 'Id'.
See Also:
PointedName.getId(), QuartzPackage.getPointedName()
Generated:
This code was automatically generated.

getPointedName_Name

public EReference getPointedName_Name()

Specified by:
getPointedName_Name in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Name'.
See Also:
PointedName.getName(), QuartzPackage.getPointedName()
Generated:
This code was automatically generated.

getPointedName_All

public EAttribute getPointedName_All()

Specified by:
getPointedName_All in interface QuartzPackage
Returns:
the meta object for the attribute 'All'.
See Also:
PointedName.isAll(), QuartzPackage.getPointedName()
Generated:
This code was automatically generated.

getMacroDef

public EClass getMacroDef()

Specified by:
getMacroDef in interface QuartzPackage
Returns:
the meta object for class 'Macro Def'.
See Also:
MacroDef
Generated:
This code was automatically generated.

getMacroDef_Name

public EReference getMacroDef_Name()

Specified by:
getMacroDef_Name in interface QuartzPackage
Returns:
the meta object for the containment reference 'Name'.
See Also:
MacroDef.getName(), QuartzPackage.getMacroDef()
Generated:
This code was automatically generated.

getMacroDef_Args

public EReference getMacroDef_Args()

Specified by:
getMacroDef_Args in interface QuartzPackage
Returns:
the meta object for the containment reference 'Args'.
See Also:
MacroDef.getArgs(), QuartzPackage.getMacroDef()
Generated:
This code was automatically generated.

getMacroDef_Expr

public EReference getMacroDef_Expr()

Specified by:
getMacroDef_Expr in interface QuartzPackage
Returns:
the meta object for the containment reference 'Expr'.
See Also:
MacroDef.getExpr(), QuartzPackage.getMacroDef()
Generated:
This code was automatically generated.

getQModule

public EClass getQModule()

Specified by:
getQModule in interface QuartzPackage
Returns:
the meta object for class 'QModule'.
See Also:
QModule
Generated:
This code was automatically generated.

getQModule_Name

public EReference getQModule_Name()

Specified by:
getQModule_Name in interface QuartzPackage
Returns:
the meta object for the containment reference 'Name'.
See Also:
QModule.getName(), QuartzPackage.getQModule()
Generated:
This code was automatically generated.

getQModule_Intf

public EReference getQModule_Intf()

Specified by:
getQModule_Intf in interface QuartzPackage
Returns:
the meta object for the containment reference 'Intf'.
See Also:
QModule.getIntf(), QuartzPackage.getQModule()
Generated:
This code was automatically generated.

getQModule_Stmt

public EReference getQModule_Stmt()

Specified by:
getQModule_Stmt in interface QuartzPackage
Returns:
the meta object for the containment reference 'Stmt'.
See Also:
QModule.getStmt(), QuartzPackage.getQModule()
Generated:
This code was automatically generated.

getQModule_Obs

public EReference getQModule_Obs()

Specified by:
getQModule_Obs in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Obs'.
See Also:
QModule.getObs(), QuartzPackage.getQModule()
Generated:
This code was automatically generated.

getObservedSpecList

public EClass getObservedSpecList()

Specified by:
getObservedSpecList in interface QuartzPackage
Returns:
the meta object for class 'Observed Spec List'.
See Also:
ObservedSpecList
Generated:
This code was automatically generated.

getName_

public EClass getName_()

Specified by:
getName_ in interface QuartzPackage
Returns:
the meta object for class 'Name'.
See Also:
Name
Generated:
This code was automatically generated.

getName_Id

public EAttribute getName_Id()

Specified by:
getName_Id in interface QuartzPackage
Returns:
the meta object for the attribute 'Id'.
See Also:
Name.getId(), QuartzPackage.getName_()
Generated:
This code was automatically generated.

getQName

public EClass getQName()

Specified by:
getQName in interface QuartzPackage
Returns:
the meta object for class 'QName'.
See Also:
QName
Generated:
This code was automatically generated.

getQName_T6

public EReference getQName_T6()

Specified by:
getQName_T6 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T6'.
See Also:
QName.getT6(), QuartzPackage.getQName()
Generated:
This code was automatically generated.

getQName_T5

public EReference getQName_T5()

Specified by:
getQName_T5 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T5'.
See Also:
QName.getT5(), QuartzPackage.getQName()
Generated:
This code was automatically generated.

getQName_T24

public EReference getQName_T24()

Specified by:
getQName_T24 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T24'.
See Also:
QName.getT24(), QuartzPackage.getQName()
Generated:
This code was automatically generated.

getQName_Exprs

public EReference getQName_Exprs()

Specified by:
getQName_Exprs in interface QuartzPackage
Returns:
the meta object for the containment reference 'Exprs'.
See Also:
QName.getExprs(), QuartzPackage.getQName()
Generated:
This code was automatically generated.

getQName_T10

public EReference getQName_T10()

Specified by:
getQName_T10 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T10'.
See Also:
QName.getT10(), QuartzPackage.getQName()
Generated:
This code was automatically generated.

getQNameList

public EClass getQNameList()

Specified by:
getQNameList in interface QuartzPackage
Returns:
the meta object for class 'QName List'.
See Also:
QNameList
Generated:
This code was automatically generated.

getQNameList_Name

public EReference getQNameList_Name()

Specified by:
getQNameList_Name in interface QuartzPackage
Returns:
the meta object for the containment reference 'Name'.
See Also:
QNameList.getName(), QuartzPackage.getQNameList()
Generated:
This code was automatically generated.

getQNameList_Names

public EReference getQNameList_Names()

Specified by:
getQNameList_Names in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Names'.
See Also:
QNameList.getNames(), QuartzPackage.getQNameList()
Generated:
This code was automatically generated.

getQType

public EClass getQType()

Specified by:
getQType in interface QuartzPackage
Returns:
the meta object for class 'QType'.
See Also:
QType
Generated:
This code was automatically generated.

getQType_Ta

public EReference getQType_Ta()

Specified by:
getQType_Ta in interface QuartzPackage
Returns:
the meta object for the containment reference 'Ta'.
See Also:
QType.getTa(), QuartzPackage.getQType()
Generated:
This code was automatically generated.

getQType_Tb

public EReference getQType_Tb()

Specified by:
getQType_Tb in interface QuartzPackage
Returns:
the meta object for the containment reference 'Tb'.
See Also:
QType.getTb(), QuartzPackage.getQType()
Generated:
This code was automatically generated.

getQType_Tc

public EReference getQType_Tc()

Specified by:
getQType_Tc in interface QuartzPackage
Returns:
the meta object for the containment reference 'Tc'.
See Also:
QType.getTc(), QuartzPackage.getQType()
Generated:
This code was automatically generated.

getQType_Dims

public EReference getQType_Dims()

Specified by:
getQType_Dims in interface QuartzPackage
Returns:
the meta object for the containment reference 'Dims'.
See Also:
QType.getDims(), QuartzPackage.getQType()
Generated:
This code was automatically generated.

getQTypeList

public EClass getQTypeList()

Specified by:
getQTypeList in interface QuartzPackage
Returns:
the meta object for class 'QType List'.
See Also:
QTypeList
Generated:
This code was automatically generated.

getQTypeList_Type

public EReference getQTypeList_Type()

Specified by:
getQTypeList_Type in interface QuartzPackage
Returns:
the meta object for the containment reference 'Type'.
See Also:
QTypeList.getType(), QuartzPackage.getQTypeList()
Generated:
This code was automatically generated.

getQTypeList_T

public EReference getQTypeList_T()

Specified by:
getQTypeList_T in interface QuartzPackage
Returns:
the meta object for the containment reference list 'T'.
See Also:
QTypeList.getT(), QuartzPackage.getQTypeList()
Generated:
This code was automatically generated.

getDimList

public EClass getDimList()

Specified by:
getDimList in interface QuartzPackage
Returns:
the meta object for class 'Dim List'.
See Also:
DimList
Generated:
This code was automatically generated.

getDimList_Expr

public EReference getDimList_Expr()

Specified by:
getDimList_Expr in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Expr'.
See Also:
DimList.getExpr(), QuartzPackage.getDimList()
Generated:
This code was automatically generated.

getInOutName

public EClass getInOutName()

Specified by:
getInOutName in interface QuartzPackage
Returns:
the meta object for class 'In Out Name'.
See Also:
InOutName
Generated:
This code was automatically generated.

getInOutName_Names

public EReference getInOutName_Names()

Specified by:
getInOutName_Names in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Names'.
See Also:
InOutName.getNames(), QuartzPackage.getInOutName()
Generated:
This code was automatically generated.

getInOutNameList

public EClass getInOutNameList()

Specified by:
getInOutNameList in interface QuartzPackage
Returns:
the meta object for class 'In Out Name List'.
See Also:
InOutNameList
Generated:
This code was automatically generated.

getInOutNameListComma

public EClass getInOutNameListComma()

Specified by:
getInOutNameListComma in interface QuartzPackage
Returns:
the meta object for class 'In Out Name List Comma'.
See Also:
InOutNameListComma
Generated:
This code was automatically generated.

getInOutNameListComma_Names

public EReference getInOutNameListComma_Names()

Specified by:
getInOutNameListComma_Names in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Names'.
See Also:
InOutNameListComma.getNames(), QuartzPackage.getInOutNameListComma()
Generated:
This code was automatically generated.

getInterface

public EClass getInterface()

Specified by:
getInterface in interface QuartzPackage
Returns:
the meta object for class 'Interface'.
See Also:
Interface
Generated:
This code was automatically generated.

getInterface_Type

public EReference getInterface_Type()

Specified by:
getInterface_Type in interface QuartzPackage
Returns:
the meta object for the containment reference 'Type'.
See Also:
Interface.getType(), QuartzPackage.getInterface()
Generated:
This code was automatically generated.

getInterface_Names

public EReference getInterface_Names()

Specified by:
getInterface_Names in interface QuartzPackage
Returns:
the meta object for the containment reference 'Names'.
See Also:
Interface.getNames(), QuartzPackage.getInterface()
Generated:
This code was automatically generated.

getInterfaceComma

public EClass getInterfaceComma()

Specified by:
getInterfaceComma in interface QuartzPackage
Returns:
the meta object for class 'Interface Comma'.
See Also:
InterfaceComma
Generated:
This code was automatically generated.

getInterfaceComma_Type

public EReference getInterfaceComma_Type()

Specified by:
getInterfaceComma_Type in interface QuartzPackage
Returns:
the meta object for the containment reference 'Type'.
See Also:
InterfaceComma.getType(), QuartzPackage.getInterfaceComma()
Generated:
This code was automatically generated.

getInterfaceComma_Names

public EReference getInterfaceComma_Names()

Specified by:
getInterfaceComma_Names in interface QuartzPackage
Returns:
the meta object for the containment reference 'Names'.
See Also:
InterfaceComma.getNames(), QuartzPackage.getInterfaceComma()
Generated:
This code was automatically generated.

getInterfaceList

public EClass getInterfaceList()

Specified by:
getInterfaceList in interface QuartzPackage
Returns:
the meta object for class 'Interface List'.
See Also:
InterfaceList
Generated:
This code was automatically generated.

getInterfaceList_Intf

public EReference getInterfaceList_Intf()

Specified by:
getInterfaceList_Intf in interface QuartzPackage
Returns:
the meta object for the containment reference 'Intf'.
See Also:
InterfaceList.getIntf(), QuartzPackage.getInterfaceList()
Generated:
This code was automatically generated.

getInterfaceList_Interfaces

public EReference getInterfaceList_Interfaces()

Specified by:
getInterfaceList_Interfaces in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Interfaces'.
See Also:
InterfaceList.getInterfaces(), QuartzPackage.getInterfaceList()
Generated:
This code was automatically generated.

getControlList

public EClass getControlList()

Specified by:
getControlList in interface QuartzPackage
Returns:
the meta object for class 'Control List'.
See Also:
ControlList
Generated:
This code was automatically generated.

getAssumeList

public EClass getAssumeList()

Specified by:
getAssumeList in interface QuartzPackage
Returns:
the meta object for class 'Assume List'.
See Also:
AssumeList
Generated:
This code was automatically generated.

getProofGoalList

public EClass getProofGoalList()

Specified by:
getProofGoalList in interface QuartzPackage
Returns:
the meta object for class 'Proof Goal List'.
See Also:
ProofGoalList
Generated:
This code was automatically generated.

getProofGoalList_Name

public EReference getProofGoalList_Name()

Specified by:
getProofGoalList_Name in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Name'.
See Also:
ProofGoalList.getName(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Expr

public EReference getProofGoalList_Expr()

Specified by:
getProofGoalList_Expr in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Expr'.
See Also:
ProofGoalList.getExpr(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Goals

public EReference getProofGoalList_Goals()

Specified by:
getProofGoalList_Goals in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Goals'.
See Also:
ProofGoalList.getGoals(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Ver

public EAttribute getProofGoalList_Ver()

Specified by:
getProofGoalList_Ver in interface QuartzPackage
Returns:
the meta object for the attribute list 'Ver'.
See Also:
ProofGoalList.getVer(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Ctrl

public EReference getProofGoalList_Ctrl()

Specified by:
getProofGoalList_Ctrl in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Ctrl'.
See Also:
ProofGoalList.getCtrl(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Ass

public EReference getProofGoalList_Ass()

Specified by:
getProofGoalList_Ass in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Ass'.
See Also:
ProofGoalList.getAss(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getProofGoalList_Ctr

public EReference getProofGoalList_Ctr()

Specified by:
getProofGoalList_Ctr in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Ctr'.
See Also:
ProofGoalList.getCtr(), QuartzPackage.getProofGoalList()
Generated:
This code was automatically generated.

getFixpointEqList

public EClass getFixpointEqList()

Specified by:
getFixpointEqList in interface QuartzPackage
Returns:
the meta object for class 'Fixpoint Eq List'.
See Also:
FixpointEqList
Generated:
This code was automatically generated.

getFixpointEqList_Expr2

public EReference getFixpointEqList_Expr2()

Specified by:
getFixpointEqList_Expr2 in interface QuartzPackage
Returns:
the meta object for the containment reference 'Expr2'.
See Also:
FixpointEqList.getExpr2(), QuartzPackage.getFixpointEqList()
Generated:
This code was automatically generated.

getOptUtyExpr

public EClass getOptUtyExpr()

Specified by:
getOptUtyExpr in interface QuartzPackage
Returns:
the meta object for class 'Opt Uty Expr'.
See Also:
OptUtyExpr
Generated:
This code was automatically generated.

getOptUtyExpr_Tk

public EReference getOptUtyExpr_Tk()

Specified by:
getOptUtyExpr_Tk in interface QuartzPackage
Returns:
the meta object for the containment reference 'Tk'.
See Also:
OptUtyExpr.getTk(), QuartzPackage.getOptUtyExpr()
Generated:
This code was automatically generated.

getOptUtyExpr_Exprs

public EReference getOptUtyExpr_Exprs()

Specified by:
getOptUtyExpr_Exprs in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Exprs'.
See Also:
OptUtyExpr.getExprs(), QuartzPackage.getOptUtyExpr()
Generated:
This code was automatically generated.

getOptUtyExprList

public EClass getOptUtyExprList()

Specified by:
getOptUtyExprList in interface QuartzPackage
Returns:
the meta object for class 'Opt Uty Expr List'.
See Also:
OptUtyExprList
Generated:
This code was automatically generated.

getUtyExprSelectList

public EClass getUtyExprSelectList()

Specified by:
getUtyExprSelectList in interface QuartzPackage
Returns:
the meta object for class 'Uty Expr Select List'.
See Also:
UtyExprSelectList
Generated:
This code was automatically generated.

getUtyExprSelectList_Tk

public EReference getUtyExprSelectList_Tk()

Specified by:
getUtyExprSelectList_Tk in interface QuartzPackage
Returns:
the meta object for the containment reference 'Tk'.
See Also:
UtyExprSelectList.getTk(), QuartzPackage.getUtyExprSelectList()
Generated:
This code was automatically generated.

getUtyExpr

public EClass getUtyExpr()

Specified by:
getUtyExpr in interface QuartzPackage
Returns:
the meta object for class 'Uty Expr'.
See Also:
UtyExpr
Generated:
This code was automatically generated.

getUtyExpr_Op

public EAttribute getUtyExpr_Op()

Specified by:
getUtyExpr_Op in interface QuartzPackage
Returns:
the meta object for the attribute 'Op'.
See Also:
UtyExpr.getOp(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyExpr_T7

public EReference getUtyExpr_T7()

Specified by:
getUtyExpr_T7 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T7'.
See Also:
UtyExpr.getT7(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyExpr_Name

public EReference getUtyExpr_Name()

Specified by:
getUtyExpr_Name in interface QuartzPackage
Returns:
the meta object for the containment reference 'Name'.
See Also:
UtyExpr.getName(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyExpr_Type

public EReference getUtyExpr_Type()

Specified by:
getUtyExpr_Type in interface QuartzPackage
Returns:
the meta object for the containment reference 'Type'.
See Also:
UtyExpr.getType(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyExpr_T2

public EReference getUtyExpr_T2()

Specified by:
getUtyExpr_T2 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T2'.
See Also:
UtyExpr.getT2(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyExpr_T4

public EReference getUtyExpr_T4()

Specified by:
getUtyExpr_T4 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T4'.
See Also:
UtyExpr.getT4(), QuartzPackage.getUtyExpr()
Generated:
This code was automatically generated.

getUtyAction

public EClass getUtyAction()

Specified by:
getUtyAction in interface QuartzPackage
Returns:
the meta object for class 'Uty Action'.
See Also:
UtyAction
Generated:
This code was automatically generated.

getcase_list

public EClass getcase_list()

Specified by:
getcase_list in interface QuartzPackage
Returns:
the meta object for class 'case list'.
See Also:
case_list
Generated:
This code was automatically generated.

getcase_list_Exp

public EReference getcase_list_Exp()

Specified by:
getcase_list_Exp in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Exp'.
See Also:
case_list.getExp(), QuartzPackage.getcase_list()
Generated:
This code was automatically generated.

getcase_list_Stmt

public EReference getcase_list_Stmt()

Specified by:
getcase_list_Stmt in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Stmt'.
See Also:
case_list.getStmt(), QuartzPackage.getcase_list()
Generated:
This code was automatically generated.

getcase_list_T15

public EReference getcase_list_T15()

Specified by:
getcase_list_T15 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T15'.
See Also:
case_list.getT15(), QuartzPackage.getcase_list()
Generated:
This code was automatically generated.

getdUtyExpr

public EClass getdUtyExpr()

Specified by:
getdUtyExpr in interface QuartzPackage
Returns:
the meta object for class 'dUty Expr'.
See Also:
dUtyExpr
Generated:
This code was automatically generated.

getdUtyExpr_T13

public EReference getdUtyExpr_T13()

Specified by:
getdUtyExpr_T13 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T13'.
See Also:
dUtyExpr.getT13(), QuartzPackage.getdUtyExpr()
Generated:
This code was automatically generated.

getdUtyExpr_T14

public EReference getdUtyExpr_T14()

Specified by:
getdUtyExpr_T14 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T14'.
See Also:
dUtyExpr.getT14(), QuartzPackage.getdUtyExpr()
Generated:
This code was automatically generated.

getdUtyExpr_T07

public EReference getdUtyExpr_T07()

Specified by:
getdUtyExpr_T07 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T07'.
See Also:
dUtyExpr.getT07(), QuartzPackage.getdUtyExpr()
Generated:
This code was automatically generated.

getdUtyExprs

public EClass getdUtyExprs()

Specified by:
getdUtyExprs in interface QuartzPackage
Returns:
the meta object for class 'dUty Exprs'.
See Also:
dUtyExprs
Generated:
This code was automatically generated.

getGeneric

public EClass getGeneric()

Specified by:
getGeneric in interface QuartzPackage
Returns:
the meta object for class 'Generic'.
See Also:
Generic
Generated:
This code was automatically generated.

getGeneric_T23

public EReference getGeneric_T23()

Specified by:
getGeneric_T23 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T23'.
See Also:
Generic.getT23(), QuartzPackage.getGeneric()
Generated:
This code was automatically generated.

getGeneric_T

public EReference getGeneric_T()

Specified by:
getGeneric_T in interface QuartzPackage
Returns:
the meta object for the containment reference 'T'.
See Also:
Generic.getT(), QuartzPackage.getGeneric()
Generated:
This code was automatically generated.

getLocStmt

public EClass getLocStmt()

Specified by:
getLocStmt in interface QuartzPackage
Returns:
the meta object for class 'Loc Stmt'.
See Also:
LocStmt
Generated:
This code was automatically generated.

getLocStmt_Locals

public EReference getLocStmt_Locals()

Specified by:
getLocStmt_Locals in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Locals'.
See Also:
LocStmt.getLocals(), QuartzPackage.getLocStmt()
Generated:
This code was automatically generated.

getLocStmt_Stmt

public EReference getLocStmt_Stmt()

Specified by:
getLocStmt_Stmt in interface QuartzPackage
Returns:
the meta object for the containment reference 'Stmt'.
See Also:
LocStmt.getStmt(), QuartzPackage.getLocStmt()
Generated:
This code was automatically generated.

getSeqStmt

public EClass getSeqStmt()

Specified by:
getSeqStmt in interface QuartzPackage
Returns:
the meta object for class 'Seq Stmt'.
See Also:
SeqStmt
Generated:
This code was automatically generated.

getSeqStmt_S

public EReference getSeqStmt_S()

Specified by:
getSeqStmt_S in interface QuartzPackage
Returns:
the meta object for the containment reference list 'S'.
See Also:
SeqStmt.getS(), QuartzPackage.getSeqStmt()
Generated:
This code was automatically generated.

getStmt

public EClass getStmt()

Specified by:
getStmt in interface QuartzPackage
Returns:
the meta object for class 'Stmt'.
See Also:
Stmt
Generated:
This code was automatically generated.

getStmt_Left

public EReference getStmt_Left()

Specified by:
getStmt_Left in interface QuartzPackage
Returns:
the meta object for the containment reference 'Left'.
See Also:
Stmt.getLeft(), QuartzPackage.getStmt()
Generated:
This code was automatically generated.

getStmt_Right

public EReference getStmt_Right()

Specified by:
getStmt_Right in interface QuartzPackage
Returns:
the meta object for the containment reference list 'Right'.
See Also:
Stmt.getRight(), QuartzPackage.getStmt()
Generated:
This code was automatically generated.

getAtomicStmt

public EClass getAtomicStmt()

Specified by:
getAtomicStmt in interface QuartzPackage
Returns:
the meta object for class 'Atomic Stmt'.
See Also:
AtomicStmt
Generated:
This code was automatically generated.

getAtomicStmt_Expr

public EReference getAtomicStmt_Expr()

Specified by:
getAtomicStmt_Expr in interface QuartzPackage
Returns:
the meta object for the containment reference 'Expr'.
See Also:
AtomicStmt.getExpr(), QuartzPackage.getAtomicStmt()
Generated:
This code was automatically generated.

getAtomicStmt_T03

public EReference getAtomicStmt_T03()

Specified by:
getAtomicStmt_T03 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T03'.
See Also:
AtomicStmt.getT03(), QuartzPackage.getAtomicStmt()
Generated:
This code was automatically generated.

getAtomicStmt_T16

public EReference getAtomicStmt_T16()

Specified by:
getAtomicStmt_T16 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T16'.
See Also:
AtomicStmt.getT16(), QuartzPackage.getAtomicStmt()
Generated:
This code was automatically generated.

getAtomicStmt_T06

public EReference getAtomicStmt_T06()

Specified by:
getAtomicStmt_T06 in interface QuartzPackage
Returns:
the meta object for the containment reference 'T06'.
See Also:
AtomicStmt.getT06(), QuartzPackage.getAtomicStmt()
Generated:
This code was automatically generated.

getNamedStmt

public EClass getNamedStmt()

Specified by:
getNamedStmt in interface QuartzPackage
Returns:
the meta object for class 'Named Stmt'.
See Also:
NamedStmt
Generated:
This code was automatically generated.

getQuartzFactory

public QuartzFactory getQuartzFactory()

Specified by:
getQuartzFactory in interface QuartzPackage
Returns:
the factory that creates the instances of the model.
Generated:
This code was automatically generated.

createPackageContents

public void createPackageContents()
Creates the meta-model objects for the package. This method is guarded to have no affect on any invocation but its first.

Generated:
This code was automatically generated.

initializePackageContents

public void initializePackageContents()
Complete the initialization of the package and its meta-model. This method is guarded to have no affect on any invocation but its first.

Generated:
This code was automatically generated.