de.cau.cs.kieler.quartz.editor.quartz.impl
Class QuartzPackageImpl
java.lang.Object
org.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.ENamedElementImpl
org.eclipse.emf.ecore.impl.EPackageImpl
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

- Generated:
- This code was automatically generated.
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 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 |
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.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 interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
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.