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

All Superinterfaces:
EModelElement, ENamedElement, EObject, EPackage, Notifier
All Known Implementing Classes:
QuartzPackageImpl

public interface QuartzPackage
extends EPackage

The Package for the model. It contains accessors for the meta objects to represent

See Also:
QuartzFactory
Rating red
Generated:
This code was automatically generated.
Model element:
kind=package

Nested Class Summary
static interface QuartzPackage.Literals
          Defines literals for the meta objects that represent each class, each feature of each class, each enum, and each data type
 
Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EPackage
EPackage.Descriptor, EPackage.Registry
 
Field Summary
static int ASSUME_LIST
          The meta object id for the 'Assume List' class.
static int ASSUME_LIST_FEATURE_COUNT
          The number of structural features of the 'Assume List' class.
static int ATOMIC_STMT
          The meta object id for the 'Atomic Stmt' class.
static int ATOMIC_STMT__EXPR
          The feature id for the 'Expr' containment reference.
static int ATOMIC_STMT__T03
          The feature id for the 'T03' containment reference.
static int ATOMIC_STMT__T06
          The feature id for the 'T06' containment reference.
static int ATOMIC_STMT__T16
          The feature id for the 'T16' containment reference.
static int ATOMIC_STMT_FEATURE_COUNT
          The number of structural features of the 'Atomic Stmt' class.
static int CASE_LIST
          The meta object id for the 'case list' class.
static int CASE_LIST__EXP
          The feature id for the 'Exp' containment reference list.
static int CASE_LIST__EXPR
          The feature id for the 'Expr' containment reference.
static int CASE_LIST__STMT
          The feature id for the 'Stmt' containment reference list.
static int CASE_LIST__T03
          The feature id for the 'T03' containment reference.
static int CASE_LIST__T06
          The feature id for the 'T06' containment reference.
static int CASE_LIST__T15
          The feature id for the 'T15' containment reference.
static int CASE_LIST__T16
          The feature id for the 'T16' containment reference.
static int CASE_LIST_FEATURE_COUNT
          The number of structural features of the 'case list' class.
static int CONTROL_LIST
          The meta object id for the 'Control List' class.
static int CONTROL_LIST_FEATURE_COUNT
          The number of structural features of the 'Control List' class.
static int DIM_LIST
          The meta object id for the 'Dim List' class.
static int DIM_LIST__EXPR
          The feature id for the 'Expr' containment reference list.
static int DIM_LIST_FEATURE_COUNT
          The number of structural features of the 'Dim List' class.
static int DUTY_EXPR
          The meta object id for the 'dUty Expr' class.
static int DUTY_EXPR__EXPR
          The feature id for the 'Expr' containment reference.
static int DUTY_EXPR__T03
          The feature id for the 'T03' containment reference.
static int DUTY_EXPR__T06
          The feature id for the 'T06' containment reference.
static int DUTY_EXPR__T07
          The feature id for the 'T07' containment reference.
static int DUTY_EXPR__T13
          The feature id for the 'T13' containment reference.
static int DUTY_EXPR__T14
          The feature id for the 'T14' containment reference.
static int DUTY_EXPR__T16
          The feature id for the 'T16' containment reference.
static int DUTY_EXPR_FEATURE_COUNT
          The number of structural features of the 'dUty Expr' class.
static int DUTY_EXPRS
          The meta object id for the 'dUty Exprs' class.
static int DUTY_EXPRS_FEATURE_COUNT
          The number of structural features of the 'dUty Exprs' class.
static QuartzPackage eINSTANCE
          The singleton instance of the package.
static String eNAME
          The package name.
static String eNS_PREFIX
          The package namespace name.
static String eNS_URI
          The package namespace URI.
static int FIXPOINT_EQ_LIST
          The meta object id for the 'Fixpoint Eq List' class.
static int FIXPOINT_EQ_LIST__EXPR
          The feature id for the 'Expr' containment reference.
static int FIXPOINT_EQ_LIST__EXPR2
          The feature id for the 'Expr2' containment reference.
static int FIXPOINT_EQ_LIST__NAME
          The feature id for the 'Name' containment reference.
static int FIXPOINT_EQ_LIST__OP
          The feature id for the 'Op' attribute.
static int FIXPOINT_EQ_LIST__T03
          The feature id for the 'T03' containment reference.
static int FIXPOINT_EQ_LIST__T06
          The feature id for the 'T06' containment reference.
static int FIXPOINT_EQ_LIST__T07
          The feature id for the 'T07' containment reference.
static int FIXPOINT_EQ_LIST__T13
          The feature id for the 'T13' containment reference.
static int FIXPOINT_EQ_LIST__T14
          The feature id for the 'T14' containment reference.
static int FIXPOINT_EQ_LIST__T16
          The feature id for the 'T16' containment reference.
static int FIXPOINT_EQ_LIST__T2
          The feature id for the 'T2' containment reference.
static int FIXPOINT_EQ_LIST__T4
          The feature id for the 'T4' containment reference.
static int FIXPOINT_EQ_LIST__T7
          The feature id for the 'T7' containment reference.
static int FIXPOINT_EQ_LIST__TYPE
          The feature id for the 'Type' containment reference.
static int FIXPOINT_EQ_LIST_FEATURE_COUNT
          The number of structural features of the 'Fixpoint Eq List' class.
static int GENERIC
          The meta object id for the 'Generic' class.
static int GENERIC__EXPR
          The feature id for the 'Expr' containment reference.
static int GENERIC__NAME
          The feature id for the 'Name' containment reference.
static int GENERIC__OP
          The feature id for the 'Op' attribute.
static int GENERIC__T
          The feature id for the 'T' containment reference.
static int GENERIC__T03
          The feature id for the 'T03' containment reference.
static int GENERIC__T06
          The feature id for the 'T06' containment reference.
static int GENERIC__T07
          The feature id for the 'T07' containment reference.
static int GENERIC__T13
          The feature id for the 'T13' containment reference.
static int GENERIC__T14
          The feature id for the 'T14' containment reference.
static int GENERIC__T16
          The feature id for the 'T16' containment reference.
static int GENERIC__T2
          The feature id for the 'T2' containment reference.
static int GENERIC__T23
          The feature id for the 'T23' containment reference.
static int GENERIC__T4
          The feature id for the 'T4' containment reference.
static int GENERIC__T7
          The feature id for the 'T7' containment reference.
static int GENERIC__TYPE
          The feature id for the 'Type' containment reference.
static int GENERIC_FEATURE_COUNT
          The number of structural features of the 'Generic' class.
static int IMPORT_LIST
          The meta object id for the 'Import List' class.
static int IMPORT_LIST__IMP
          The feature id for the 'Imp' containment reference list.
static int IMPORT_LIST_FEATURE_COUNT
          The number of structural features of the 'Import List' class.
static int IN_OUT_NAME
          The meta object id for the 'In Out Name' class.
static int IN_OUT_NAME__NAMES
          The feature id for the 'Names' containment reference list.
static int IN_OUT_NAME_FEATURE_COUNT
          The number of structural features of the 'In Out Name' class.
static int IN_OUT_NAME_LIST
          The meta object id for the 'In Out Name List' class.
static int IN_OUT_NAME_LIST_COMMA
          The meta object id for the 'In Out Name List Comma' class.
static int IN_OUT_NAME_LIST_COMMA__NAMES
          The feature id for the 'Names' containment reference list.
static int IN_OUT_NAME_LIST_COMMA_FEATURE_COUNT
          The number of structural features of the 'In Out Name List Comma' class.
static int IN_OUT_NAME_LIST_FEATURE_COUNT
          The number of structural features of the 'In Out Name List' class.
static int INTERFACE
          The meta object id for the 'Interface' class.
static int INTERFACE__NAMES
          The feature id for the 'Names' containment reference.
static int INTERFACE__TYPE
          The feature id for the 'Type' containment reference.
static int INTERFACE_COMMA
          The meta object id for the 'Interface Comma' class.
static int INTERFACE_COMMA__NAMES
          The feature id for the 'Names' containment reference.
static int INTERFACE_COMMA__TYPE
          The feature id for the 'Type' containment reference.
static int INTERFACE_COMMA_FEATURE_COUNT
          The number of structural features of the 'Interface Comma' class.
static int INTERFACE_FEATURE_COUNT
          The number of structural features of the 'Interface' class.
static int INTERFACE_LIST
          The meta object id for the 'Interface List' class.
static int INTERFACE_LIST__INTERFACES
          The feature id for the 'Interfaces' containment reference list.
static int INTERFACE_LIST__INTF
          The feature id for the 'Intf' containment reference.
static int INTERFACE_LIST_FEATURE_COUNT
          The number of structural features of the 'Interface List' class.
static int LOC_STMT
          The meta object id for the 'Loc Stmt' class.
static int LOC_STMT__EXPR
          The feature id for the 'Expr' containment reference.
static int LOC_STMT__LOCALS
          The feature id for the 'Locals' containment reference list.
static int LOC_STMT__STMT
          The feature id for the 'Stmt' containment reference.
static int LOC_STMT__T03
          The feature id for the 'T03' containment reference.
static int LOC_STMT__T06
          The feature id for the 'T06' containment reference.
static int LOC_STMT__T16
          The feature id for the 'T16' containment reference.
static int LOC_STMT_FEATURE_COUNT
          The number of structural features of the 'Loc Stmt' class.
static int MACRO_DEF
          The meta object id for the 'Macro Def' class.
static int MACRO_DEF__ARGS
          The feature id for the 'Args' containment reference.
static int MACRO_DEF__EXPR
          The feature id for the 'Expr' containment reference.
static int MACRO_DEF__NAME
          The feature id for the 'Name' containment reference.
static int MACRO_DEF_FEATURE_COUNT
          The number of structural features of the 'Macro Def' class.
static int NAME
          The meta object id for the 'Name' class.
static int NAME__EXPR
          The feature id for the 'Expr' containment reference.
static int NAME__EXPRS
          The feature id for the 'Exprs' containment reference.
static int NAME__ID
          The feature id for the 'Id' attribute.
static int NAME__NAME
          The feature id for the 'Name' containment reference.
static int NAME__NAMES
          The feature id for the 'Names' containment reference list.
static int NAME__OP
          The feature id for the 'Op' attribute.
static int NAME__T
          The feature id for the 'T' containment reference.
static int NAME__T03
          The feature id for the 'T03' containment reference.
static int NAME__T06
          The feature id for the 'T06' containment reference.
static int NAME__T07
          The feature id for the 'T07' containment reference.
static int NAME__T10
          The feature id for the 'T10' containment reference.
static int NAME__T13
          The feature id for the 'T13' containment reference.
static int NAME__T14
          The feature id for the 'T14' containment reference.
static int NAME__T16
          The feature id for the 'T16' containment reference.
static int NAME__T2
          The feature id for the 'T2' containment reference.
static int NAME__T23
          The feature id for the 'T23' containment reference.
static int NAME__T24
          The feature id for the 'T24' containment reference.
static int NAME__T4
          The feature id for the 'T4' containment reference.
static int NAME__T5
          The feature id for the 'T5' containment reference.
static int NAME__T6
          The feature id for the 'T6' containment reference.
static int NAME__T7
          The feature id for the 'T7' containment reference.
static int NAME__TYPE
          The feature id for the 'Type' containment reference.
static int NAME_FEATURE_COUNT
          The number of structural features of the 'Name' class.
static int NAMED_STMT
          The meta object id for the 'Named Stmt' class.
static int NAMED_STMT__EXPR
          The feature id for the 'Expr' containment reference.
static int NAMED_STMT__T03
          The feature id for the 'T03' containment reference.
static int NAMED_STMT__T06
          The feature id for the 'T06' containment reference.
static int NAMED_STMT__T16
          The feature id for the 'T16' containment reference.
static int NAMED_STMT_FEATURE_COUNT
          The number of structural features of the 'Named Stmt' class.
static int OBSERVED_SPEC_LIST
          The meta object id for the 'Observed Spec List' class.
static int OBSERVED_SPEC_LIST_FEATURE_COUNT
          The number of structural features of the 'Observed Spec List' class.
static int OPT_UTY_EXPR
          The meta object id for the 'Opt Uty Expr' class.
static int OPT_UTY_EXPR__EXPRS
          The feature id for the 'Exprs' containment reference list.
static int OPT_UTY_EXPR__TK
          The feature id for the 'Tk' containment reference.
static int OPT_UTY_EXPR_FEATURE_COUNT
          The number of structural features of the 'Opt Uty Expr' class.
static int OPT_UTY_EXPR_LIST
          The meta object id for the 'Opt Uty Expr List' class.
static int OPT_UTY_EXPR_LIST_FEATURE_COUNT
          The number of structural features of the 'Opt Uty Expr List' class.
static int PACKAGE_PATH
          The meta object id for the 'Package Path' class.
static int PACKAGE_PATH__IMPORTS
          The feature id for the 'Imports' containment reference.
static int PACKAGE_PATH__MACROS
          The feature id for the 'Macros' containment reference list.
static int PACKAGE_PATH__MODULE
          The feature id for the 'Module' containment reference.
static int PACKAGE_PATH_FEATURE_COUNT
          The number of structural features of the 'Package Path' class.
static int POINTED_NAME
          The meta object id for the 'Pointed Name' class.
static int POINTED_NAME__ALL
          The feature id for the 'All' attribute.
static int POINTED_NAME__ID
          The feature id for the 'Id' attribute.
static int POINTED_NAME__IMPORTS
          The feature id for the 'Imports' containment reference.
static int POINTED_NAME__MACROS
          The feature id for the 'Macros' containment reference list.
static int POINTED_NAME__MODULE
          The feature id for the 'Module' containment reference.
static int POINTED_NAME__NAME
          The feature id for the 'Name' containment reference list.
static int POINTED_NAME_FEATURE_COUNT
          The number of structural features of the 'Pointed Name' class.
static int PROOF_GOAL_LIST
          The meta object id for the 'Proof Goal List' class.
static int PROOF_GOAL_LIST__ASS
          The feature id for the 'Ass' containment reference list.
static int PROOF_GOAL_LIST__CTR
          The feature id for the 'Ctr' containment reference list.
static int PROOF_GOAL_LIST__CTRL
          The feature id for the 'Ctrl' containment reference list.
static int PROOF_GOAL_LIST__EXPR
          The feature id for the 'Expr' containment reference list.
static int PROOF_GOAL_LIST__GOALS
          The feature id for the 'Goals' containment reference list.
static int PROOF_GOAL_LIST__NAME
          The feature id for the 'Name' containment reference list.
static int PROOF_GOAL_LIST__VER
          The feature id for the 'Ver' attribute list.
static int PROOF_GOAL_LIST_FEATURE_COUNT
          The number of structural features of the 'Proof Goal List' class.
static int QMODULE
          The meta object id for the 'QModule' class.
static int QMODULE__INTF
          The feature id for the 'Intf' containment reference.
static int QMODULE__NAME
          The feature id for the 'Name' containment reference.
static int QMODULE__OBS
          The feature id for the 'Obs' containment reference list.
static int QMODULE__STMT
          The feature id for the 'Stmt' containment reference.
static int QMODULE_FEATURE_COUNT
          The number of structural features of the 'QModule' class.
static int QNAME
          The meta object id for the 'QName' class.
static int QNAME__EXPR
          The feature id for the 'Expr' containment reference.
static int QNAME__EXPRS
          The feature id for the 'Exprs' containment reference.
static int QNAME__NAME
          The feature id for the 'Name' containment reference.
static int QNAME__NAMES
          The feature id for the 'Names' containment reference list.
static int QNAME__OP
          The feature id for the 'Op' attribute.
static int QNAME__T
          The feature id for the 'T' containment reference.
static int QNAME__T03
          The feature id for the 'T03' containment reference.
static int QNAME__T06
          The feature id for the 'T06' containment reference.
static int QNAME__T07
          The feature id for the 'T07' containment reference.
static int QNAME__T10
          The feature id for the 'T10' containment reference.
static int QNAME__T13
          The feature id for the 'T13' containment reference.
static int QNAME__T14
          The feature id for the 'T14' containment reference.
static int QNAME__T16
          The feature id for the 'T16' containment reference.
static int QNAME__T2
          The feature id for the 'T2' containment reference.
static int QNAME__T23
          The feature id for the 'T23' containment reference.
static int QNAME__T24
          The feature id for the 'T24' containment reference.
static int QNAME__T4
          The feature id for the 'T4' containment reference.
static int QNAME__T5
          The feature id for the 'T5' containment reference.
static int QNAME__T6
          The feature id for the 'T6' containment reference.
static int QNAME__T7
          The feature id for the 'T7' containment reference.
static int QNAME__TYPE
          The feature id for the 'Type' containment reference.
static int QNAME_FEATURE_COUNT
          The number of structural features of the 'QName' class.
static int QNAME_LIST
          The meta object id for the 'QName List' class.
static int QNAME_LIST__NAME
          The feature id for the 'Name' containment reference.
static int QNAME_LIST__NAMES
          The feature id for the 'Names' containment reference list.
static int QNAME_LIST_FEATURE_COUNT
          The number of structural features of the 'QName List' class.
static int QRZ_FILE
          The meta object id for the 'Qrz File' class.
static int QRZ_FILE__IMPORTS
          The feature id for the 'Imports' containment reference.
static int QRZ_FILE__MACROS
          The feature id for the 'Macros' containment reference list.
static int QRZ_FILE__MODULE
          The feature id for the 'Module' containment reference.
static int QRZ_FILE_FEATURE_COUNT
          The number of structural features of the 'Qrz File' class.
static int QTYPE
          The meta object id for the 'QType' class.
static int QTYPE__DIMS
          The feature id for the 'Dims' containment reference.
static int QTYPE__TA
          The feature id for the 'Ta' containment reference.
static int QTYPE__TB
          The feature id for the 'Tb' containment reference.
static int QTYPE__TC
          The feature id for the 'Tc' containment reference.
static int QTYPE_FEATURE_COUNT
          The number of structural features of the 'QType' class.
static int QTYPE_LIST
          The meta object id for the 'QType List' class.
static int QTYPE_LIST__T
          The feature id for the 'T' containment reference list.
static int QTYPE_LIST__TYPE
          The feature id for the 'Type' containment reference.
static int QTYPE_LIST_FEATURE_COUNT
          The number of structural features of the 'QType List' class.
static int SEQ_STMT
          The meta object id for the 'Seq Stmt' class.
static int SEQ_STMT__S
          The feature id for the 'S' containment reference list.
static int SEQ_STMT_FEATURE_COUNT
          The number of structural features of the 'Seq Stmt' class.
static int STMT
          The meta object id for the 'Stmt' class.
static int STMT__LEFT
          The feature id for the 'Left' containment reference.
static int STMT__RIGHT
          The feature id for the 'Right' containment reference list.
static int STMT_FEATURE_COUNT
          The number of structural features of the 'Stmt' class.
static int UTY_ACTION
          The meta object id for the 'Uty Action' class.
static int UTY_ACTION__EXPR
          The feature id for the 'Expr' containment reference.
static int UTY_ACTION__T03
          The feature id for the 'T03' containment reference.
static int UTY_ACTION__T06
          The feature id for the 'T06' containment reference.
static int UTY_ACTION__T16
          The feature id for the 'T16' containment reference.
static int UTY_ACTION_FEATURE_COUNT
          The number of structural features of the 'Uty Action' class.
static int UTY_EXPR
          The meta object id for the 'Uty Expr' class.
static int UTY_EXPR__EXPR
          The feature id for the 'Expr' containment reference.
static int UTY_EXPR__NAME
          The feature id for the 'Name' containment reference.
static int UTY_EXPR__OP
          The feature id for the 'Op' attribute.
static int UTY_EXPR__T03
          The feature id for the 'T03' containment reference.
static int UTY_EXPR__T06
          The feature id for the 'T06' containment reference.
static int UTY_EXPR__T07
          The feature id for the 'T07' containment reference.
static int UTY_EXPR__T13
          The feature id for the 'T13' containment reference.
static int UTY_EXPR__T14
          The feature id for the 'T14' containment reference.
static int UTY_EXPR__T16
          The feature id for the 'T16' containment reference.
static int UTY_EXPR__T2
          The feature id for the 'T2' containment reference.
static int UTY_EXPR__T4
          The feature id for the 'T4' containment reference.
static int UTY_EXPR__T7
          The feature id for the 'T7' containment reference.
static int UTY_EXPR__TYPE
          The feature id for the 'Type' containment reference.
static int UTY_EXPR_FEATURE_COUNT
          The number of structural features of the 'Uty Expr' class.
static int UTY_EXPR_SELECT_LIST
          The meta object id for the 'Uty Expr Select List' class.
static int UTY_EXPR_SELECT_LIST__TK
          The feature id for the 'Tk' containment reference.
static int UTY_EXPR_SELECT_LIST_FEATURE_COUNT
          The number of structural features of the 'Uty Expr Select List' class.
 
Method Summary
 EClass getAssumeList()
          Returns the meta object for class 'Assume List'.
 EReference getAtomicStmt_Expr()
          Returns the meta object for the containment reference 'Expr'.
 EReference getAtomicStmt_T03()
          Returns the meta object for the containment reference 'T03'.
 EReference getAtomicStmt_T06()
          Returns the meta object for the containment reference 'T06'.
 EReference getAtomicStmt_T16()
          Returns the meta object for the containment reference 'T16'.
 EClass getAtomicStmt()
          Returns the meta object for class 'Atomic Stmt'.
 EReference getcase_list_Exp()
          Returns the meta object for the containment reference list 'Exp'.
 EReference getcase_list_Stmt()
          Returns the meta object for the containment reference list 'Stmt'.
 EReference getcase_list_T15()
          Returns the meta object for the containment reference 'T15'.
 EClass getcase_list()
          Returns the meta object for class 'case list'.
 EClass getControlList()
          Returns the meta object for class 'Control List'.
 EReference getDimList_Expr()
          Returns the meta object for the containment reference list 'Expr'.
 EClass getDimList()
          Returns the meta object for class 'Dim List'.
 EReference getdUtyExpr_T07()
          Returns the meta object for the containment reference 'T07'.
 EReference getdUtyExpr_T13()
          Returns the meta object for the containment reference 'T13'.
 EReference getdUtyExpr_T14()
          Returns the meta object for the containment reference 'T14'.
 EClass getdUtyExpr()
          Returns the meta object for class 'dUty Expr'.
 EClass getdUtyExprs()
          Returns the meta object for class 'dUty Exprs'.
 EReference getFixpointEqList_Expr2()
          Returns the meta object for the containment reference 'Expr2'.
 EClass getFixpointEqList()
          Returns the meta object for class 'Fixpoint Eq List'.
 EReference getGeneric_T()
          Returns the meta object for the containment reference 'T'.
 EReference getGeneric_T23()
          Returns the meta object for the containment reference 'T23'.
 EClass getGeneric()
          Returns the meta object for class 'Generic'.
 EReference getImportList_Imp()
          Returns the meta object for the containment reference list 'Imp'.
 EClass getImportList()
          Returns the meta object for class 'Import List'.
 EReference getInOutName_Names()
          Returns the meta object for the containment reference list 'Names'.
 EClass getInOutName()
          Returns the meta object for class 'In Out Name'.
 EClass getInOutNameList()
          Returns the meta object for class 'In Out Name List'.
 EReference getInOutNameListComma_Names()
          Returns the meta object for the containment reference list 'Names'.
 EClass getInOutNameListComma()
          Returns the meta object for class 'In Out Name List Comma'.
 EReference getInterface_Names()
          Returns the meta object for the containment reference 'Names'.
 EReference getInterface_Type()
          Returns the meta object for the containment reference 'Type'.
 EClass getInterface()
          Returns the meta object for class 'Interface'.
 EReference getInterfaceComma_Names()
          Returns the meta object for the containment reference 'Names'.
 EReference getInterfaceComma_Type()
          Returns the meta object for the containment reference 'Type'.
 EClass getInterfaceComma()
          Returns the meta object for class 'Interface Comma'.
 EReference getInterfaceList_Interfaces()
          Returns the meta object for the containment reference list 'Interfaces'.
 EReference getInterfaceList_Intf()
          Returns the meta object for the containment reference 'Intf'.
 EClass getInterfaceList()
          Returns the meta object for class 'Interface List'.
 EReference getLocStmt_Locals()
          Returns the meta object for the containment reference list 'Locals'.
 EReference getLocStmt_Stmt()
          Returns the meta object for the containment reference 'Stmt'.
 EClass getLocStmt()
          Returns the meta object for class 'Loc Stmt'.
 EReference getMacroDef_Args()
          Returns the meta object for the containment reference 'Args'.
 EReference getMacroDef_Expr()
          Returns the meta object for the containment reference 'Expr'.
 EReference getMacroDef_Name()
          Returns the meta object for the containment reference 'Name'.
 EClass getMacroDef()
          Returns the meta object for class 'Macro Def'.
 EClass getName_()
          Returns the meta object for class 'Name'.
 EAttribute getName_Id()
          Returns the meta object for the attribute 'Id'.
 EClass getNamedStmt()
          Returns the meta object for class 'Named Stmt'.
 EClass getObservedSpecList()
          Returns the meta object for class 'Observed Spec List'.
 EReference getOptUtyExpr_Exprs()
          Returns the meta object for the containment reference list 'Exprs'.
 EReference getOptUtyExpr_Tk()
          Returns the meta object for the containment reference 'Tk'.
 EClass getOptUtyExpr()
          Returns the meta object for class 'Opt Uty Expr'.
 EClass getOptUtyExprList()
          Returns the meta object for class 'Opt Uty Expr List'.
 EClass getPackagePath()
          Returns the meta object for class 'Package Path'.
 EAttribute getPointedName_All()
          Returns the meta object for the attribute 'All'.
 EAttribute getPointedName_Id()
          Returns the meta object for the attribute 'Id'.
 EReference getPointedName_Name()
          Returns the meta object for the containment reference list 'Name'.
 EClass getPointedName()
          Returns the meta object for class 'Pointed Name'.
 EReference getProofGoalList_Ass()
          Returns the meta object for the containment reference list 'Ass'.
 EReference getProofGoalList_Ctr()
          Returns the meta object for the containment reference list 'Ctr'.
 EReference getProofGoalList_Ctrl()
          Returns the meta object for the containment reference list 'Ctrl'.
 EReference getProofGoalList_Expr()
          Returns the meta object for the containment reference list 'Expr'.
 EReference getProofGoalList_Goals()
          Returns the meta object for the containment reference list 'Goals'.
 EReference getProofGoalList_Name()
          Returns the meta object for the containment reference list 'Name'.
 EAttribute getProofGoalList_Ver()
          Returns the meta object for the attribute list 'Ver'.
 EClass getProofGoalList()
          Returns the meta object for class 'Proof Goal List'.
 EReference getQModule_Intf()
          Returns the meta object for the containment reference 'Intf'.
 EReference getQModule_Name()
          Returns the meta object for the containment reference 'Name'.
 EReference getQModule_Obs()
          Returns the meta object for the containment reference list 'Obs'.
 EReference getQModule_Stmt()
          Returns the meta object for the containment reference 'Stmt'.
 EClass getQModule()
          Returns the meta object for class 'QModule'.
 EReference getQName_Exprs()
          Returns the meta object for the containment reference 'Exprs'.
 EReference getQName_T10()
          Returns the meta object for the containment reference 'T10'.
 EReference getQName_T24()
          Returns the meta object for the containment reference 'T24'.
 EReference getQName_T5()
          Returns the meta object for the containment reference 'T5'.
 EReference getQName_T6()
          Returns the meta object for the containment reference 'T6'.
 EClass getQName()
          Returns the meta object for class 'QName'.
 EReference getQNameList_Name()
          Returns the meta object for the containment reference 'Name'.
 EReference getQNameList_Names()
          Returns the meta object for the containment reference list 'Names'.
 EClass getQNameList()
          Returns the meta object for class 'QName List'.
 EReference getQrzFile_Imports()
          Returns the meta object for the containment reference 'Imports'.
 EReference getQrzFile_Macros()
          Returns the meta object for the containment reference list 'Macros'.
 EReference getQrzFile_Module()
          Returns the meta object for the containment reference 'Module'.
 EClass getQrzFile()
          Returns the meta object for class 'Qrz File'.
 EReference getQType_Dims()
          Returns the meta object for the containment reference 'Dims'.
 EReference getQType_Ta()
          Returns the meta object for the containment reference 'Ta'.
 EReference getQType_Tb()
          Returns the meta object for the containment reference 'Tb'.
 EReference getQType_Tc()
          Returns the meta object for the containment reference 'Tc'.
 EClass getQType()
          Returns the meta object for class 'QType'.
 EReference getQTypeList_T()
          Returns the meta object for the containment reference list 'T'.
 EReference getQTypeList_Type()
          Returns the meta object for the containment reference 'Type'.
 EClass getQTypeList()
          Returns the meta object for class 'QType List'.
 QuartzFactory getQuartzFactory()
          Returns the factory that creates the instances of the model.
 EReference getSeqStmt_S()
          Returns the meta object for the containment reference list 'S'.
 EClass getSeqStmt()
          Returns the meta object for class 'Seq Stmt'.
 EReference getStmt_Left()
          Returns the meta object for the containment reference 'Left'.
 EReference getStmt_Right()
          Returns the meta object for the containment reference list 'Right'.
 EClass getStmt()
          Returns the meta object for class 'Stmt'.
 EClass getUtyAction()
          Returns the meta object for class 'Uty Action'.
 EReference getUtyExpr_Name()
          Returns the meta object for the containment reference 'Name'.
 EAttribute getUtyExpr_Op()
          Returns the meta object for the attribute 'Op'.
 EReference getUtyExpr_T2()
          Returns the meta object for the containment reference 'T2'.
 EReference getUtyExpr_T4()
          Returns the meta object for the containment reference 'T4'.
 EReference getUtyExpr_T7()
          Returns the meta object for the containment reference 'T7'.
 EReference getUtyExpr_Type()
          Returns the meta object for the containment reference 'Type'.
 EClass getUtyExpr()
          Returns the meta object for class 'Uty Expr'.
 EReference getUtyExprSelectList_Tk()
          Returns the meta object for the containment reference 'Tk'.
 EClass getUtyExprSelectList()
          Returns the meta object for class 'Uty Expr Select List'.
 
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
 

Field Detail

eNAME

static final String eNAME
The package name.

See Also:
Constant Field Values
Generated:
This code was automatically generated.

eNS_URI

static final String eNS_URI
The package namespace URI.

See Also:
Constant Field Values
Generated:
This code was automatically generated.

eNS_PREFIX

static final String eNS_PREFIX
The package namespace name.

See Also:
Constant Field Values
Generated:
This code was automatically generated.

eINSTANCE

static final QuartzPackage eINSTANCE
The singleton instance of the package.

Generated:
This code was automatically generated.

QRZ_FILE

static final int QRZ_FILE
The meta object id for the 'Qrz File' class.

See Also:
QrzFileImpl, QuartzPackageImpl.getQrzFile(), Constant Field Values
Generated:
This code was automatically generated.

QRZ_FILE__IMPORTS

static final int QRZ_FILE__IMPORTS
The feature id for the 'Imports' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QRZ_FILE__MACROS

static final int QRZ_FILE__MACROS
The feature id for the 'Macros' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QRZ_FILE__MODULE

static final int QRZ_FILE__MODULE
The feature id for the 'Module' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QRZ_FILE_FEATURE_COUNT

static final int QRZ_FILE_FEATURE_COUNT
The number of structural features of the 'Qrz File' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PACKAGE_PATH

static final int PACKAGE_PATH
The meta object id for the 'Package Path' class.

See Also:
PackagePathImpl, QuartzPackageImpl.getPackagePath(), Constant Field Values
Generated:
This code was automatically generated.

PACKAGE_PATH__IMPORTS

static final int PACKAGE_PATH__IMPORTS
The feature id for the 'Imports' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PACKAGE_PATH__MACROS

static final int PACKAGE_PATH__MACROS
The feature id for the 'Macros' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PACKAGE_PATH__MODULE

static final int PACKAGE_PATH__MODULE
The feature id for the 'Module' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PACKAGE_PATH_FEATURE_COUNT

static final int PACKAGE_PATH_FEATURE_COUNT
The number of structural features of the 'Package Path' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IMPORT_LIST

static final int IMPORT_LIST
The meta object id for the 'Import List' class.

See Also:
ImportListImpl, QuartzPackageImpl.getImportList(), Constant Field Values
Generated:
This code was automatically generated.

IMPORT_LIST__IMP

static final int IMPORT_LIST__IMP
The feature id for the 'Imp' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IMPORT_LIST_FEATURE_COUNT

static final int IMPORT_LIST_FEATURE_COUNT
The number of structural features of the 'Import List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME

static final int POINTED_NAME
The meta object id for the 'Pointed Name' class.

See Also:
PointedNameImpl, QuartzPackageImpl.getPointedName(), Constant Field Values
Generated:
This code was automatically generated.

POINTED_NAME__IMPORTS

static final int POINTED_NAME__IMPORTS
The feature id for the 'Imports' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME__MACROS

static final int POINTED_NAME__MACROS
The feature id for the 'Macros' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME__MODULE

static final int POINTED_NAME__MODULE
The feature id for the 'Module' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME__ID

static final int POINTED_NAME__ID
The feature id for the 'Id' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME__NAME

static final int POINTED_NAME__NAME
The feature id for the 'Name' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME__ALL

static final int POINTED_NAME__ALL
The feature id for the 'All' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

POINTED_NAME_FEATURE_COUNT

static final int POINTED_NAME_FEATURE_COUNT
The number of structural features of the 'Pointed Name' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

MACRO_DEF

static final int MACRO_DEF
The meta object id for the 'Macro Def' class.

See Also:
MacroDefImpl, QuartzPackageImpl.getMacroDef(), Constant Field Values
Generated:
This code was automatically generated.

MACRO_DEF__NAME

static final int MACRO_DEF__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

MACRO_DEF__ARGS

static final int MACRO_DEF__ARGS
The feature id for the 'Args' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

MACRO_DEF__EXPR

static final int MACRO_DEF__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

MACRO_DEF_FEATURE_COUNT

static final int MACRO_DEF_FEATURE_COUNT
The number of structural features of the 'Macro Def' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QMODULE

static final int QMODULE
The meta object id for the 'QModule' class.

See Also:
QModuleImpl, QuartzPackageImpl.getQModule(), Constant Field Values
Generated:
This code was automatically generated.

QMODULE__NAME

static final int QMODULE__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QMODULE__INTF

static final int QMODULE__INTF
The feature id for the 'Intf' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QMODULE__STMT

static final int QMODULE__STMT
The feature id for the 'Stmt' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QMODULE__OBS

static final int QMODULE__OBS
The feature id for the 'Obs' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QMODULE_FEATURE_COUNT

static final int QMODULE_FEATURE_COUNT
The number of structural features of the 'QModule' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

OBSERVED_SPEC_LIST

static final int OBSERVED_SPEC_LIST
The meta object id for the 'Observed Spec List' class.

See Also:
ObservedSpecListImpl, QuartzPackageImpl.getObservedSpecList(), Constant Field Values
Generated:
This code was automatically generated.

OBSERVED_SPEC_LIST_FEATURE_COUNT

static final int OBSERVED_SPEC_LIST_FEATURE_COUNT
The number of structural features of the 'Observed Spec List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IN_OUT_NAME_LIST

static final int IN_OUT_NAME_LIST
The meta object id for the 'In Out Name List' class.

See Also:
InOutNameListImpl, QuartzPackageImpl.getInOutNameList(), Constant Field Values
Generated:
This code was automatically generated.

IN_OUT_NAME_LIST_FEATURE_COUNT

static final int IN_OUT_NAME_LIST_FEATURE_COUNT
The number of structural features of the 'In Out Name List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IN_OUT_NAME

static final int IN_OUT_NAME
The meta object id for the 'In Out Name' class.

See Also:
InOutNameImpl, QuartzPackageImpl.getInOutName(), Constant Field Values
Generated:
This code was automatically generated.

IN_OUT_NAME__NAMES

static final int IN_OUT_NAME__NAMES
The feature id for the 'Names' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IN_OUT_NAME_FEATURE_COUNT

static final int IN_OUT_NAME_FEATURE_COUNT
The number of structural features of the 'In Out Name' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME

static final int QNAME
The meta object id for the 'QName' class.

See Also:
QNameImpl, QuartzPackageImpl.getQName(), Constant Field Values
Generated:
This code was automatically generated.

QNAME__NAMES

static final int QNAME__NAMES
The feature id for the 'Names' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__EXPR

static final int QNAME__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T03

static final int QNAME__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T16

static final int QNAME__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T06

static final int QNAME__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T13

static final int QNAME__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T14

static final int QNAME__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T07

static final int QNAME__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__OP

static final int QNAME__OP
The feature id for the 'Op' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T7

static final int QNAME__T7
The feature id for the 'T7' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__NAME

static final int QNAME__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__TYPE

static final int QNAME__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T2

static final int QNAME__T2
The feature id for the 'T2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T4

static final int QNAME__T4
The feature id for the 'T4' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T23

static final int QNAME__T23
The feature id for the 'T23' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T

static final int QNAME__T
The feature id for the 'T' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T6

static final int QNAME__T6
The feature id for the 'T6' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T5

static final int QNAME__T5
The feature id for the 'T5' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T24

static final int QNAME__T24
The feature id for the 'T24' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__EXPRS

static final int QNAME__EXPRS
The feature id for the 'Exprs' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME__T10

static final int QNAME__T10
The feature id for the 'T10' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME_FEATURE_COUNT

static final int QNAME_FEATURE_COUNT
The number of structural features of the 'QName' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME

static final int NAME
The meta object id for the 'Name' class.

See Also:
NameImpl, QuartzPackageImpl.getName_(), Constant Field Values
Generated:
This code was automatically generated.

NAME__NAMES

static final int NAME__NAMES
The feature id for the 'Names' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__EXPR

static final int NAME__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T03

static final int NAME__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T16

static final int NAME__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T06

static final int NAME__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T13

static final int NAME__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T14

static final int NAME__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T07

static final int NAME__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__OP

static final int NAME__OP
The feature id for the 'Op' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T7

static final int NAME__T7
The feature id for the 'T7' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__NAME

static final int NAME__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__TYPE

static final int NAME__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T2

static final int NAME__T2
The feature id for the 'T2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T4

static final int NAME__T4
The feature id for the 'T4' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T23

static final int NAME__T23
The feature id for the 'T23' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T

static final int NAME__T
The feature id for the 'T' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T6

static final int NAME__T6
The feature id for the 'T6' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T5

static final int NAME__T5
The feature id for the 'T5' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T24

static final int NAME__T24
The feature id for the 'T24' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__EXPRS

static final int NAME__EXPRS
The feature id for the 'Exprs' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__T10

static final int NAME__T10
The feature id for the 'T10' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME__ID

static final int NAME__ID
The feature id for the 'Id' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAME_FEATURE_COUNT

static final int NAME_FEATURE_COUNT
The number of structural features of the 'Name' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CONTROL_LIST

static final int CONTROL_LIST
The meta object id for the 'Control List' class.

See Also:
ControlListImpl, QuartzPackageImpl.getControlList(), Constant Field Values
Generated:
This code was automatically generated.

CONTROL_LIST_FEATURE_COUNT

static final int CONTROL_LIST_FEATURE_COUNT
The number of structural features of the 'Control List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME_LIST

static final int QNAME_LIST
The meta object id for the 'QName List' class.

See Also:
QNameListImpl, QuartzPackageImpl.getQNameList(), Constant Field Values
Generated:
This code was automatically generated.

QNAME_LIST__NAME

static final int QNAME_LIST__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME_LIST__NAMES

static final int QNAME_LIST__NAMES
The feature id for the 'Names' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QNAME_LIST_FEATURE_COUNT

static final int QNAME_LIST_FEATURE_COUNT
The number of structural features of the 'QName List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE

static final int QTYPE
The meta object id for the 'QType' class.

See Also:
QTypeImpl, QuartzPackageImpl.getQType(), Constant Field Values
Generated:
This code was automatically generated.

QTYPE__TA

static final int QTYPE__TA
The feature id for the 'Ta' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE__TB

static final int QTYPE__TB
The feature id for the 'Tb' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE__TC

static final int QTYPE__TC
The feature id for the 'Tc' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE__DIMS

static final int QTYPE__DIMS
The feature id for the 'Dims' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE_FEATURE_COUNT

static final int QTYPE_FEATURE_COUNT
The number of structural features of the 'QType' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE_LIST

static final int QTYPE_LIST
The meta object id for the 'QType List' class.

See Also:
QTypeListImpl, QuartzPackageImpl.getQTypeList(), Constant Field Values
Generated:
This code was automatically generated.

QTYPE_LIST__TYPE

static final int QTYPE_LIST__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE_LIST__T

static final int QTYPE_LIST__T
The feature id for the 'T' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

QTYPE_LIST_FEATURE_COUNT

static final int QTYPE_LIST_FEATURE_COUNT
The number of structural features of the 'QType List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DIM_LIST

static final int DIM_LIST
The meta object id for the 'Dim List' class.

See Also:
DimListImpl, QuartzPackageImpl.getDimList(), Constant Field Values
Generated:
This code was automatically generated.

DIM_LIST__EXPR

static final int DIM_LIST__EXPR
The feature id for the 'Expr' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DIM_LIST_FEATURE_COUNT

static final int DIM_LIST_FEATURE_COUNT
The number of structural features of the 'Dim List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IN_OUT_NAME_LIST_COMMA

static final int IN_OUT_NAME_LIST_COMMA
The meta object id for the 'In Out Name List Comma' class.

See Also:
InOutNameListCommaImpl, QuartzPackageImpl.getInOutNameListComma(), Constant Field Values
Generated:
This code was automatically generated.

IN_OUT_NAME_LIST_COMMA__NAMES

static final int IN_OUT_NAME_LIST_COMMA__NAMES
The feature id for the 'Names' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

IN_OUT_NAME_LIST_COMMA_FEATURE_COUNT

static final int IN_OUT_NAME_LIST_COMMA_FEATURE_COUNT
The number of structural features of the 'In Out Name List Comma' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE

static final int INTERFACE
The meta object id for the 'Interface' class.

See Also:
InterfaceImpl, QuartzPackageImpl.getInterface(), Constant Field Values
Generated:
This code was automatically generated.

INTERFACE__TYPE

static final int INTERFACE__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE__NAMES

static final int INTERFACE__NAMES
The feature id for the 'Names' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_FEATURE_COUNT

static final int INTERFACE_FEATURE_COUNT
The number of structural features of the 'Interface' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_COMMA

static final int INTERFACE_COMMA
The meta object id for the 'Interface Comma' class.

See Also:
InterfaceCommaImpl, QuartzPackageImpl.getInterfaceComma(), Constant Field Values
Generated:
This code was automatically generated.

INTERFACE_COMMA__TYPE

static final int INTERFACE_COMMA__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_COMMA__NAMES

static final int INTERFACE_COMMA__NAMES
The feature id for the 'Names' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_COMMA_FEATURE_COUNT

static final int INTERFACE_COMMA_FEATURE_COUNT
The number of structural features of the 'Interface Comma' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_LIST

static final int INTERFACE_LIST
The meta object id for the 'Interface List' class.

See Also:
InterfaceListImpl, QuartzPackageImpl.getInterfaceList(), Constant Field Values
Generated:
This code was automatically generated.

INTERFACE_LIST__INTF

static final int INTERFACE_LIST__INTF
The feature id for the 'Intf' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_LIST__INTERFACES

static final int INTERFACE_LIST__INTERFACES
The feature id for the 'Interfaces' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

INTERFACE_LIST_FEATURE_COUNT

static final int INTERFACE_LIST_FEATURE_COUNT
The number of structural features of the 'Interface List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ASSUME_LIST

static final int ASSUME_LIST
The meta object id for the 'Assume List' class.

See Also:
AssumeListImpl, QuartzPackageImpl.getAssumeList(), Constant Field Values
Generated:
This code was automatically generated.

ASSUME_LIST_FEATURE_COUNT

static final int ASSUME_LIST_FEATURE_COUNT
The number of structural features of the 'Assume List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST

static final int PROOF_GOAL_LIST
The meta object id for the 'Proof Goal List' class.

See Also:
ProofGoalListImpl, QuartzPackageImpl.getProofGoalList(), Constant Field Values
Generated:
This code was automatically generated.

PROOF_GOAL_LIST__NAME

static final int PROOF_GOAL_LIST__NAME
The feature id for the 'Name' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__EXPR

static final int PROOF_GOAL_LIST__EXPR
The feature id for the 'Expr' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__GOALS

static final int PROOF_GOAL_LIST__GOALS
The feature id for the 'Goals' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__VER

static final int PROOF_GOAL_LIST__VER
The feature id for the 'Ver' attribute list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__CTRL

static final int PROOF_GOAL_LIST__CTRL
The feature id for the 'Ctrl' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__ASS

static final int PROOF_GOAL_LIST__ASS
The feature id for the 'Ass' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST__CTR

static final int PROOF_GOAL_LIST__CTR
The feature id for the 'Ctr' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

PROOF_GOAL_LIST_FEATURE_COUNT

static final int PROOF_GOAL_LIST_FEATURE_COUNT
The number of structural features of the 'Proof Goal List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ATOMIC_STMT

static final int ATOMIC_STMT
The meta object id for the 'Atomic Stmt' class.

See Also:
AtomicStmtImpl, QuartzPackageImpl.getAtomicStmt(), Constant Field Values
Generated:
This code was automatically generated.

ATOMIC_STMT__EXPR

static final int ATOMIC_STMT__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ATOMIC_STMT__T03

static final int ATOMIC_STMT__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ATOMIC_STMT__T16

static final int ATOMIC_STMT__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ATOMIC_STMT__T06

static final int ATOMIC_STMT__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

ATOMIC_STMT_FEATURE_COUNT

static final int ATOMIC_STMT_FEATURE_COUNT
The number of structural features of the 'Atomic Stmt' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_ACTION

static final int UTY_ACTION
The meta object id for the 'Uty Action' class.

See Also:
UtyActionImpl, QuartzPackageImpl.getUtyAction(), Constant Field Values
Generated:
This code was automatically generated.

UTY_ACTION__EXPR

static final int UTY_ACTION__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_ACTION__T03

static final int UTY_ACTION__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_ACTION__T16

static final int UTY_ACTION__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_ACTION__T06

static final int UTY_ACTION__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_ACTION_FEATURE_COUNT

static final int UTY_ACTION_FEATURE_COUNT
The number of structural features of the 'Uty Action' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR

static final int UTY_EXPR
The meta object id for the 'Uty Expr' class.

See Also:
UtyExprImpl, QuartzPackageImpl.getUtyExpr(), Constant Field Values
Generated:
This code was automatically generated.

UTY_EXPR__EXPR

static final int UTY_EXPR__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T03

static final int UTY_EXPR__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T16

static final int UTY_EXPR__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T06

static final int UTY_EXPR__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T13

static final int UTY_EXPR__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T14

static final int UTY_EXPR__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T07

static final int UTY_EXPR__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__OP

static final int UTY_EXPR__OP
The feature id for the 'Op' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T7

static final int UTY_EXPR__T7
The feature id for the 'T7' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__NAME

static final int UTY_EXPR__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__TYPE

static final int UTY_EXPR__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T2

static final int UTY_EXPR__T2
The feature id for the 'T2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR__T4

static final int UTY_EXPR__T4
The feature id for the 'T4' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR_FEATURE_COUNT

static final int UTY_EXPR_FEATURE_COUNT
The number of structural features of the 'Uty Expr' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST

static final int FIXPOINT_EQ_LIST
The meta object id for the 'Fixpoint Eq List' class.

See Also:
FixpointEqListImpl, QuartzPackageImpl.getFixpointEqList(), Constant Field Values
Generated:
This code was automatically generated.

FIXPOINT_EQ_LIST__EXPR

static final int FIXPOINT_EQ_LIST__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T03

static final int FIXPOINT_EQ_LIST__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T16

static final int FIXPOINT_EQ_LIST__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T06

static final int FIXPOINT_EQ_LIST__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T13

static final int FIXPOINT_EQ_LIST__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T14

static final int FIXPOINT_EQ_LIST__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T07

static final int FIXPOINT_EQ_LIST__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__OP

static final int FIXPOINT_EQ_LIST__OP
The feature id for the 'Op' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T7

static final int FIXPOINT_EQ_LIST__T7
The feature id for the 'T7' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__NAME

static final int FIXPOINT_EQ_LIST__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__TYPE

static final int FIXPOINT_EQ_LIST__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T2

static final int FIXPOINT_EQ_LIST__T2
The feature id for the 'T2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__T4

static final int FIXPOINT_EQ_LIST__T4
The feature id for the 'T4' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST__EXPR2

static final int FIXPOINT_EQ_LIST__EXPR2
The feature id for the 'Expr2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

FIXPOINT_EQ_LIST_FEATURE_COUNT

static final int FIXPOINT_EQ_LIST_FEATURE_COUNT
The number of structural features of the 'Fixpoint Eq List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

OPT_UTY_EXPR_LIST

static final int OPT_UTY_EXPR_LIST
The meta object id for the 'Opt Uty Expr List' class.

See Also:
OptUtyExprListImpl, QuartzPackageImpl.getOptUtyExprList(), Constant Field Values
Generated:
This code was automatically generated.

OPT_UTY_EXPR_LIST_FEATURE_COUNT

static final int OPT_UTY_EXPR_LIST_FEATURE_COUNT
The number of structural features of the 'Opt Uty Expr List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

OPT_UTY_EXPR

static final int OPT_UTY_EXPR
The meta object id for the 'Opt Uty Expr' class.

See Also:
OptUtyExprImpl, QuartzPackageImpl.getOptUtyExpr(), Constant Field Values
Generated:
This code was automatically generated.

OPT_UTY_EXPR__TK

static final int OPT_UTY_EXPR__TK
The feature id for the 'Tk' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

OPT_UTY_EXPR__EXPRS

static final int OPT_UTY_EXPR__EXPRS
The feature id for the 'Exprs' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

OPT_UTY_EXPR_FEATURE_COUNT

static final int OPT_UTY_EXPR_FEATURE_COUNT
The number of structural features of the 'Opt Uty Expr' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR_SELECT_LIST

static final int UTY_EXPR_SELECT_LIST
The meta object id for the 'Uty Expr Select List' class.

See Also:
UtyExprSelectListImpl, QuartzPackageImpl.getUtyExprSelectList(), Constant Field Values
Generated:
This code was automatically generated.

UTY_EXPR_SELECT_LIST__TK

static final int UTY_EXPR_SELECT_LIST__TK
The feature id for the 'Tk' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

UTY_EXPR_SELECT_LIST_FEATURE_COUNT

static final int UTY_EXPR_SELECT_LIST_FEATURE_COUNT
The number of structural features of the 'Uty Expr Select List' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST

static final int CASE_LIST
The meta object id for the 'case list' class.

See Also:
case_listImpl, QuartzPackageImpl.getcase_list(), Constant Field Values
Generated:
This code was automatically generated.

CASE_LIST__EXPR

static final int CASE_LIST__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__T03

static final int CASE_LIST__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__T16

static final int CASE_LIST__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__T06

static final int CASE_LIST__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__EXP

static final int CASE_LIST__EXP
The feature id for the 'Exp' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__STMT

static final int CASE_LIST__STMT
The feature id for the 'Stmt' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST__T15

static final int CASE_LIST__T15
The feature id for the 'T15' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

CASE_LIST_FEATURE_COUNT

static final int CASE_LIST_FEATURE_COUNT
The number of structural features of the 'case list' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPRS

static final int DUTY_EXPRS
The meta object id for the 'dUty Exprs' class.

See Also:
dUtyExprsImpl, QuartzPackageImpl.getdUtyExprs(), Constant Field Values
Generated:
This code was automatically generated.

DUTY_EXPRS_FEATURE_COUNT

static final int DUTY_EXPRS_FEATURE_COUNT
The number of structural features of the 'dUty Exprs' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR

static final int DUTY_EXPR
The meta object id for the 'dUty Expr' class.

See Also:
dUtyExprImpl, QuartzPackageImpl.getdUtyExpr(), Constant Field Values
Generated:
This code was automatically generated.

DUTY_EXPR__EXPR

static final int DUTY_EXPR__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T03

static final int DUTY_EXPR__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T16

static final int DUTY_EXPR__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T06

static final int DUTY_EXPR__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T13

static final int DUTY_EXPR__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T14

static final int DUTY_EXPR__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR__T07

static final int DUTY_EXPR__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

DUTY_EXPR_FEATURE_COUNT

static final int DUTY_EXPR_FEATURE_COUNT
The number of structural features of the 'dUty Expr' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC

static final int GENERIC
The meta object id for the 'Generic' class.

See Also:
GenericImpl, QuartzPackageImpl.getGeneric(), Constant Field Values
Generated:
This code was automatically generated.

GENERIC__EXPR

static final int GENERIC__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T03

static final int GENERIC__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T16

static final int GENERIC__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T06

static final int GENERIC__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T13

static final int GENERIC__T13
The feature id for the 'T13' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T14

static final int GENERIC__T14
The feature id for the 'T14' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T07

static final int GENERIC__T07
The feature id for the 'T07' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__OP

static final int GENERIC__OP
The feature id for the 'Op' attribute.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T7

static final int GENERIC__T7
The feature id for the 'T7' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__NAME

static final int GENERIC__NAME
The feature id for the 'Name' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__TYPE

static final int GENERIC__TYPE
The feature id for the 'Type' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T2

static final int GENERIC__T2
The feature id for the 'T2' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T4

static final int GENERIC__T4
The feature id for the 'T4' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T23

static final int GENERIC__T23
The feature id for the 'T23' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC__T

static final int GENERIC__T
The feature id for the 'T' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

GENERIC_FEATURE_COUNT

static final int GENERIC_FEATURE_COUNT
The number of structural features of the 'Generic' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT

static final int LOC_STMT
The meta object id for the 'Loc Stmt' class.

See Also:
LocStmtImpl, QuartzPackageImpl.getLocStmt(), Constant Field Values
Generated:
This code was automatically generated.

LOC_STMT__EXPR

static final int LOC_STMT__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT__T03

static final int LOC_STMT__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT__T16

static final int LOC_STMT__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT__T06

static final int LOC_STMT__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT__LOCALS

static final int LOC_STMT__LOCALS
The feature id for the 'Locals' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT__STMT

static final int LOC_STMT__STMT
The feature id for the 'Stmt' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

LOC_STMT_FEATURE_COUNT

static final int LOC_STMT_FEATURE_COUNT
The number of structural features of the 'Loc Stmt' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

SEQ_STMT

static final int SEQ_STMT
The meta object id for the 'Seq Stmt' class.

See Also:
SeqStmtImpl, QuartzPackageImpl.getSeqStmt(), Constant Field Values
Generated:
This code was automatically generated.

SEQ_STMT__S

static final int SEQ_STMT__S
The feature id for the 'S' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

SEQ_STMT_FEATURE_COUNT

static final int SEQ_STMT_FEATURE_COUNT
The number of structural features of the 'Seq Stmt' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

STMT

static final int STMT
The meta object id for the 'Stmt' class.

See Also:
StmtImpl, QuartzPackageImpl.getStmt(), Constant Field Values
Generated:
This code was automatically generated.

STMT__LEFT

static final int STMT__LEFT
The feature id for the 'Left' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

STMT__RIGHT

static final int STMT__RIGHT
The feature id for the 'Right' containment reference list.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

STMT_FEATURE_COUNT

static final int STMT_FEATURE_COUNT
The number of structural features of the 'Stmt' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAMED_STMT

static final int NAMED_STMT
The meta object id for the 'Named Stmt' class.

See Also:
NamedStmtImpl, QuartzPackageImpl.getNamedStmt(), Constant Field Values
Generated:
This code was automatically generated.

NAMED_STMT__EXPR

static final int NAMED_STMT__EXPR
The feature id for the 'Expr' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAMED_STMT__T03

static final int NAMED_STMT__T03
The feature id for the 'T03' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAMED_STMT__T16

static final int NAMED_STMT__T16
The feature id for the 'T16' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAMED_STMT__T06

static final int NAMED_STMT__T06
The feature id for the 'T06' containment reference.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered

NAMED_STMT_FEATURE_COUNT

static final int NAMED_STMT_FEATURE_COUNT
The number of structural features of the 'Named Stmt' class.

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Ordered
Method Detail

getQrzFile

EClass getQrzFile()
Returns the meta object for class 'Qrz File'.

Returns:
the meta object for class 'Qrz File'.
See Also:
QrzFile
Generated:
This code was automatically generated.

getQrzFile_Imports

EReference getQrzFile_Imports()
Returns the meta object for the containment reference 'Imports'.

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

getQrzFile_Macros

EReference getQrzFile_Macros()
Returns the meta object for the containment reference list 'Macros'.

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

getQrzFile_Module

EReference getQrzFile_Module()
Returns the meta object for the containment reference 'Module'.

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

getPackagePath

EClass getPackagePath()
Returns the meta object for class 'Package Path'.

Returns:
the meta object for class 'Package Path'.
See Also:
PackagePath
Generated:
This code was automatically generated.

getImportList

EClass getImportList()
Returns the meta object for class 'Import List'.

Returns:
the meta object for class 'Import List'.
See Also:
ImportList
Generated:
This code was automatically generated.

getImportList_Imp

EReference getImportList_Imp()
Returns the meta object for the containment reference list 'Imp'.

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

getPointedName

EClass getPointedName()
Returns the meta object for class 'Pointed Name'.

Returns:
the meta object for class 'Pointed Name'.
See Also:
PointedName
Generated:
This code was automatically generated.

getPointedName_Id

EAttribute getPointedName_Id()
Returns the meta object for the attribute 'Id'.

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

getPointedName_Name

EReference getPointedName_Name()
Returns the meta object for the containment reference list 'Name'.

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

getPointedName_All

EAttribute getPointedName_All()
Returns the meta object for the attribute 'All'.

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

getMacroDef

EClass getMacroDef()
Returns the meta object for class 'Macro Def'.

Returns:
the meta object for class 'Macro Def'.
See Also:
MacroDef
Generated:
This code was automatically generated.

getMacroDef_Name

EReference getMacroDef_Name()
Returns the meta object for the containment reference 'Name'.

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

getMacroDef_Args

EReference getMacroDef_Args()
Returns the meta object for the containment reference 'Args'.

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

getMacroDef_Expr

EReference getMacroDef_Expr()
Returns the meta object for the containment reference 'Expr'.

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

getQModule

EClass getQModule()
Returns the meta object for class 'QModule'.

Returns:
the meta object for class 'QModule'.
See Also:
QModule
Generated:
This code was automatically generated.

getQModule_Name

EReference getQModule_Name()
Returns the meta object for the containment reference 'Name'.

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

getQModule_Intf

EReference getQModule_Intf()
Returns the meta object for the containment reference 'Intf'.

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

getQModule_Stmt

EReference getQModule_Stmt()
Returns the meta object for the containment reference 'Stmt'.

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

getQModule_Obs

EReference getQModule_Obs()
Returns the meta object for the containment reference list 'Obs'.

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

getObservedSpecList

EClass getObservedSpecList()
Returns the meta object for class 'Observed Spec List'.

Returns:
the meta object for class 'Observed Spec List'.
See Also:
ObservedSpecList
Generated:
This code was automatically generated.

getName_

EClass getName_()
Returns the meta object for class 'Name'.

Returns:
the meta object for class 'Name'.
See Also:
Name
Generated:
This code was automatically generated.

getName_Id

EAttribute getName_Id()
Returns the meta object for the attribute 'Id'.

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

getQName

EClass getQName()
Returns the meta object for class 'QName'.

Returns:
the meta object for class 'QName'.
See Also:
QName
Generated:
This code was automatically generated.

getQName_T6

EReference getQName_T6()
Returns the meta object for the containment reference 'T6'.

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

getQName_T5

EReference getQName_T5()
Returns the meta object for the containment reference 'T5'.

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

getQName_T24

EReference getQName_T24()
Returns the meta object for the containment reference 'T24'.

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

getQName_Exprs

EReference getQName_Exprs()
Returns the meta object for the containment reference 'Exprs'.

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

getQName_T10

EReference getQName_T10()
Returns the meta object for the containment reference 'T10'.

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

getQNameList

EClass getQNameList()
Returns the meta object for class 'QName List'.

Returns:
the meta object for class 'QName List'.
See Also:
QNameList
Generated:
This code was automatically generated.

getQNameList_Name

EReference getQNameList_Name()
Returns the meta object for the containment reference 'Name'.

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

getQNameList_Names

EReference getQNameList_Names()
Returns the meta object for the containment reference list 'Names'.

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

getQType

EClass getQType()
Returns the meta object for class 'QType'.

Returns:
the meta object for class 'QType'.
See Also:
QType
Generated:
This code was automatically generated.

getQType_Ta

EReference getQType_Ta()
Returns the meta object for the containment reference 'Ta'.

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

getQType_Tb

EReference getQType_Tb()
Returns the meta object for the containment reference 'Tb'.

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

getQType_Tc

EReference getQType_Tc()
Returns the meta object for the containment reference 'Tc'.

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

getQType_Dims

EReference getQType_Dims()
Returns the meta object for the containment reference 'Dims'.

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

getQTypeList

EClass getQTypeList()
Returns the meta object for class 'QType List'.

Returns:
the meta object for class 'QType List'.
See Also:
QTypeList
Generated:
This code was automatically generated.

getQTypeList_Type

EReference getQTypeList_Type()
Returns the meta object for the containment reference 'Type'.

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

getQTypeList_T

EReference getQTypeList_T()
Returns the meta object for the containment reference list 'T'.

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

getDimList

EClass getDimList()
Returns the meta object for class 'Dim List'.

Returns:
the meta object for class 'Dim List'.
See Also:
DimList
Generated:
This code was automatically generated.

getDimList_Expr

EReference getDimList_Expr()
Returns the meta object for the containment reference list 'Expr'.

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

getInOutName

EClass getInOutName()
Returns the meta object for class 'In Out Name'.

Returns:
the meta object for class 'In Out Name'.
See Also:
InOutName
Generated:
This code was automatically generated.

getInOutName_Names

EReference getInOutName_Names()
Returns the meta object for the containment reference list 'Names'.

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

getInOutNameList

EClass getInOutNameList()
Returns the meta object for class 'In Out Name List'.

Returns:
the meta object for class 'In Out Name List'.
See Also:
InOutNameList
Generated:
This code was automatically generated.

getInOutNameListComma

EClass getInOutNameListComma()
Returns the meta object for class 'In Out Name List Comma'.

Returns:
the meta object for class 'In Out Name List Comma'.
See Also:
InOutNameListComma
Generated:
This code was automatically generated.

getInOutNameListComma_Names

EReference getInOutNameListComma_Names()
Returns the meta object for the containment reference list 'Names'.

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

getInterface

EClass getInterface()
Returns the meta object for class 'Interface'.

Returns:
the meta object for class 'Interface'.
See Also:
Interface
Generated:
This code was automatically generated.

getInterface_Type

EReference getInterface_Type()
Returns the meta object for the containment reference 'Type'.

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

getInterface_Names

EReference getInterface_Names()
Returns the meta object for the containment reference 'Names'.

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

getInterfaceComma

EClass getInterfaceComma()
Returns the meta object for class 'Interface Comma'.

Returns:
the meta object for class 'Interface Comma'.
See Also:
InterfaceComma
Generated:
This code was automatically generated.

getInterfaceComma_Type

EReference getInterfaceComma_Type()
Returns the meta object for the containment reference 'Type'.

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

getInterfaceComma_Names

EReference getInterfaceComma_Names()
Returns the meta object for the containment reference 'Names'.

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

getInterfaceList

EClass getInterfaceList()
Returns the meta object for class 'Interface List'.

Returns:
the meta object for class 'Interface List'.
See Also:
InterfaceList
Generated:
This code was automatically generated.

getInterfaceList_Intf

EReference getInterfaceList_Intf()
Returns the meta object for the containment reference 'Intf'.

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

getInterfaceList_Interfaces

EReference getInterfaceList_Interfaces()
Returns the meta object for the containment reference list 'Interfaces'.

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

getControlList

EClass getControlList()
Returns the meta object for class 'Control List'.

Returns:
the meta object for class 'Control List'.
See Also:
ControlList
Generated:
This code was automatically generated.

getAssumeList

EClass getAssumeList()
Returns the meta object for class 'Assume List'.

Returns:
the meta object for class 'Assume List'.
See Also:
AssumeList
Generated:
This code was automatically generated.

getProofGoalList

EClass getProofGoalList()
Returns the meta object for class 'Proof Goal List'.

Returns:
the meta object for class 'Proof Goal List'.
See Also:
ProofGoalList
Generated:
This code was automatically generated.

getProofGoalList_Name

EReference getProofGoalList_Name()
Returns the meta object for the containment reference list 'Name'.

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

getProofGoalList_Expr

EReference getProofGoalList_Expr()
Returns the meta object for the containment reference list 'Expr'.

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

getProofGoalList_Goals

EReference getProofGoalList_Goals()
Returns the meta object for the containment reference list 'Goals'.

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

getProofGoalList_Ver

EAttribute getProofGoalList_Ver()
Returns the meta object for the attribute list 'Ver'.

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

getProofGoalList_Ctrl

EReference getProofGoalList_Ctrl()
Returns the meta object for the containment reference list 'Ctrl'.

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

getProofGoalList_Ass

EReference getProofGoalList_Ass()
Returns the meta object for the containment reference list 'Ass'.

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

getProofGoalList_Ctr

EReference getProofGoalList_Ctr()
Returns the meta object for the containment reference list 'Ctr'.

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

getFixpointEqList

EClass getFixpointEqList()
Returns the meta object for class 'Fixpoint Eq List'.

Returns:
the meta object for class 'Fixpoint Eq List'.
See Also:
FixpointEqList
Generated:
This code was automatically generated.

getFixpointEqList_Expr2

EReference getFixpointEqList_Expr2()
Returns the meta object for the containment reference 'Expr2'.

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

getOptUtyExpr

EClass getOptUtyExpr()
Returns the meta object for class 'Opt Uty Expr'.

Returns:
the meta object for class 'Opt Uty Expr'.
See Also:
OptUtyExpr
Generated:
This code was automatically generated.

getOptUtyExpr_Tk

EReference getOptUtyExpr_Tk()
Returns the meta object for the containment reference 'Tk'.

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

getOptUtyExpr_Exprs

EReference getOptUtyExpr_Exprs()
Returns the meta object for the containment reference list 'Exprs'.

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

getOptUtyExprList

EClass getOptUtyExprList()
Returns the meta object for class 'Opt Uty Expr List'.

Returns:
the meta object for class 'Opt Uty Expr List'.
See Also:
OptUtyExprList
Generated:
This code was automatically generated.

getUtyExprSelectList

EClass getUtyExprSelectList()
Returns the meta object for class 'Uty Expr Select List'.

Returns:
the meta object for class 'Uty Expr Select List'.
See Also:
UtyExprSelectList
Generated:
This code was automatically generated.

getUtyExprSelectList_Tk

EReference getUtyExprSelectList_Tk()
Returns the meta object for the containment reference 'Tk'.

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

getUtyExpr

EClass getUtyExpr()
Returns the meta object for class 'Uty Expr'.

Returns:
the meta object for class 'Uty Expr'.
See Also:
UtyExpr
Generated:
This code was automatically generated.

getUtyExpr_Op

EAttribute getUtyExpr_Op()
Returns the meta object for the attribute 'Op'.

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

getUtyExpr_T7

EReference getUtyExpr_T7()
Returns the meta object for the containment reference 'T7'.

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

getUtyExpr_Name

EReference getUtyExpr_Name()
Returns the meta object for the containment reference 'Name'.

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

getUtyExpr_Type

EReference getUtyExpr_Type()
Returns the meta object for the containment reference 'Type'.

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

getUtyExpr_T2

EReference getUtyExpr_T2()
Returns the meta object for the containment reference 'T2'.

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

getUtyExpr_T4

EReference getUtyExpr_T4()
Returns the meta object for the containment reference 'T4'.

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

getUtyAction

EClass getUtyAction()
Returns the meta object for class 'Uty Action'.

Returns:
the meta object for class 'Uty Action'.
See Also:
UtyAction
Generated:
This code was automatically generated.

getcase_list

EClass getcase_list()
Returns the meta object for class 'case list'.

Returns:
the meta object for class 'case list'.
See Also:
case_list
Generated:
This code was automatically generated.

getcase_list_Exp

EReference getcase_list_Exp()
Returns the meta object for the containment reference list 'Exp'.

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

getcase_list_Stmt

EReference getcase_list_Stmt()
Returns the meta object for the containment reference list 'Stmt'.

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

getcase_list_T15

EReference getcase_list_T15()
Returns the meta object for the containment reference 'T15'.

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

getdUtyExpr

EClass getdUtyExpr()
Returns the meta object for class 'dUty Expr'.

Returns:
the meta object for class 'dUty Expr'.
See Also:
dUtyExpr
Generated:
This code was automatically generated.

getdUtyExpr_T13

EReference getdUtyExpr_T13()
Returns the meta object for the containment reference 'T13'.

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

getdUtyExpr_T14

EReference getdUtyExpr_T14()
Returns the meta object for the containment reference 'T14'.

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

getdUtyExpr_T07

EReference getdUtyExpr_T07()
Returns the meta object for the containment reference 'T07'.

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

getdUtyExprs

EClass getdUtyExprs()
Returns the meta object for class 'dUty Exprs'.

Returns:
the meta object for class 'dUty Exprs'.
See Also:
dUtyExprs
Generated:
This code was automatically generated.

getGeneric

EClass getGeneric()
Returns the meta object for class 'Generic'.

Returns:
the meta object for class 'Generic'.
See Also:
Generic
Generated:
This code was automatically generated.

getGeneric_T23

EReference getGeneric_T23()
Returns the meta object for the containment reference 'T23'.

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

getGeneric_T

EReference getGeneric_T()
Returns the meta object for the containment reference 'T'.

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

getLocStmt

EClass getLocStmt()
Returns the meta object for class 'Loc Stmt'.

Returns:
the meta object for class 'Loc Stmt'.
See Also:
LocStmt
Generated:
This code was automatically generated.

getLocStmt_Locals

EReference getLocStmt_Locals()
Returns the meta object for the containment reference list 'Locals'.

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

getLocStmt_Stmt

EReference getLocStmt_Stmt()
Returns the meta object for the containment reference 'Stmt'.

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

getSeqStmt

EClass getSeqStmt()
Returns the meta object for class 'Seq Stmt'.

Returns:
the meta object for class 'Seq Stmt'.
See Also:
SeqStmt
Generated:
This code was automatically generated.

getSeqStmt_S

EReference getSeqStmt_S()
Returns the meta object for the containment reference list 'S'.

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

getStmt

EClass getStmt()
Returns the meta object for class 'Stmt'.

Returns:
the meta object for class 'Stmt'.
See Also:
Stmt
Generated:
This code was automatically generated.

getStmt_Left

EReference getStmt_Left()
Returns the meta object for the containment reference 'Left'.

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

getStmt_Right

EReference getStmt_Right()
Returns the meta object for the containment reference list 'Right'.

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

getAtomicStmt

EClass getAtomicStmt()
Returns the meta object for class 'Atomic Stmt'.

Returns:
the meta object for class 'Atomic Stmt'.
See Also:
AtomicStmt
Generated:
This code was automatically generated.

getAtomicStmt_Expr

EReference getAtomicStmt_Expr()
Returns the meta object for the containment reference 'Expr'.

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

getAtomicStmt_T03

EReference getAtomicStmt_T03()
Returns the meta object for the containment reference 'T03'.

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

getAtomicStmt_T16

EReference getAtomicStmt_T16()
Returns the meta object for the containment reference 'T16'.

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

getAtomicStmt_T06

EReference getAtomicStmt_T06()
Returns the meta object for the containment reference 'T06'.

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

getNamedStmt

EClass getNamedStmt()
Returns the meta object for class 'Named Stmt'.

Returns:
the meta object for class 'Named Stmt'.
See Also:
NamedStmt
Generated:
This code was automatically generated.

getQuartzFactory

QuartzFactory getQuartzFactory()
Returns the factory that creates the instances of the model.

Returns:
the factory that creates the instances of the model.
Generated:
This code was automatically generated.