|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface QuartzPackage
The Package for the model. It contains accessors for the meta objects to represent
QuartzFactory
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 |
---|
static final String eNAME
static final String eNS_URI
static final String eNS_PREFIX
static final QuartzPackage eINSTANCE
static final int QRZ_FILE
Qrz File
' class.
QrzFileImpl
,
QuartzPackageImpl.getQrzFile()
,
Constant Field Valuesstatic final int QRZ_FILE__IMPORTS
static final int QRZ_FILE__MACROS
static final int QRZ_FILE__MODULE
static final int QRZ_FILE_FEATURE_COUNT
static final int PACKAGE_PATH
Package Path
' class.
PackagePathImpl
,
QuartzPackageImpl.getPackagePath()
,
Constant Field Valuesstatic final int PACKAGE_PATH__IMPORTS
static final int PACKAGE_PATH__MACROS
static final int PACKAGE_PATH__MODULE
static final int PACKAGE_PATH_FEATURE_COUNT
static final int IMPORT_LIST
Import List
' class.
ImportListImpl
,
QuartzPackageImpl.getImportList()
,
Constant Field Valuesstatic final int IMPORT_LIST__IMP
static final int IMPORT_LIST_FEATURE_COUNT
static final int POINTED_NAME
Pointed Name
' class.
PointedNameImpl
,
QuartzPackageImpl.getPointedName()
,
Constant Field Valuesstatic final int POINTED_NAME__IMPORTS
static final int POINTED_NAME__MACROS
static final int POINTED_NAME__MODULE
static final int POINTED_NAME__ID
static final int POINTED_NAME__NAME
static final int POINTED_NAME__ALL
static final int POINTED_NAME_FEATURE_COUNT
static final int MACRO_DEF
Macro Def
' class.
MacroDefImpl
,
QuartzPackageImpl.getMacroDef()
,
Constant Field Valuesstatic final int MACRO_DEF__NAME
static final int MACRO_DEF__ARGS
static final int MACRO_DEF__EXPR
static final int MACRO_DEF_FEATURE_COUNT
static final int QMODULE
QModule
' class.
QModuleImpl
,
QuartzPackageImpl.getQModule()
,
Constant Field Valuesstatic final int QMODULE__NAME
static final int QMODULE__INTF
static final int QMODULE__STMT
static final int QMODULE__OBS
static final int QMODULE_FEATURE_COUNT
static final int OBSERVED_SPEC_LIST
Observed Spec List
' class.
ObservedSpecListImpl
,
QuartzPackageImpl.getObservedSpecList()
,
Constant Field Valuesstatic final int OBSERVED_SPEC_LIST_FEATURE_COUNT
static final int IN_OUT_NAME_LIST
In Out Name List
' class.
InOutNameListImpl
,
QuartzPackageImpl.getInOutNameList()
,
Constant Field Valuesstatic final int IN_OUT_NAME_LIST_FEATURE_COUNT
static final int IN_OUT_NAME
In Out Name
' class.
InOutNameImpl
,
QuartzPackageImpl.getInOutName()
,
Constant Field Valuesstatic final int IN_OUT_NAME__NAMES
static final int IN_OUT_NAME_FEATURE_COUNT
static final int QNAME
QName
' class.
QNameImpl
,
QuartzPackageImpl.getQName()
,
Constant Field Valuesstatic final int QNAME__NAMES
static final int QNAME__EXPR
static final int QNAME__T03
static final int QNAME__T16
static final int QNAME__T06
static final int QNAME__T13
static final int QNAME__T14
static final int QNAME__T07
static final int QNAME__OP
static final int QNAME__T7
static final int QNAME__NAME
static final int QNAME__TYPE
static final int QNAME__T2
static final int QNAME__T4
static final int QNAME__T23
static final int QNAME__T
static final int QNAME__T6
static final int QNAME__T5
static final int QNAME__T24
static final int QNAME__EXPRS
static final int QNAME__T10
static final int QNAME_FEATURE_COUNT
static final int NAME
Name
' class.
NameImpl
,
QuartzPackageImpl.getName_()
,
Constant Field Valuesstatic final int NAME__NAMES
static final int NAME__EXPR
static final int NAME__T03
static final int NAME__T16
static final int NAME__T06
static final int NAME__T13
static final int NAME__T14
static final int NAME__T07
static final int NAME__OP
static final int NAME__T7
static final int NAME__NAME
static final int NAME__TYPE
static final int NAME__T2
static final int NAME__T4
static final int NAME__T23
static final int NAME__T
static final int NAME__T6
static final int NAME__T5
static final int NAME__T24
static final int NAME__EXPRS
static final int NAME__T10
static final int NAME__ID
static final int NAME_FEATURE_COUNT
static final int CONTROL_LIST
Control List
' class.
ControlListImpl
,
QuartzPackageImpl.getControlList()
,
Constant Field Valuesstatic final int CONTROL_LIST_FEATURE_COUNT
static final int QNAME_LIST
QName List
' class.
QNameListImpl
,
QuartzPackageImpl.getQNameList()
,
Constant Field Valuesstatic final int QNAME_LIST__NAME
static final int QNAME_LIST__NAMES
static final int QNAME_LIST_FEATURE_COUNT
static final int QTYPE
QType
' class.
QTypeImpl
,
QuartzPackageImpl.getQType()
,
Constant Field Valuesstatic final int QTYPE__TA
static final int QTYPE__TB
static final int QTYPE__TC
static final int QTYPE__DIMS
static final int QTYPE_FEATURE_COUNT
static final int QTYPE_LIST
QType List
' class.
QTypeListImpl
,
QuartzPackageImpl.getQTypeList()
,
Constant Field Valuesstatic final int QTYPE_LIST__TYPE
static final int QTYPE_LIST__T
static final int QTYPE_LIST_FEATURE_COUNT
static final int DIM_LIST
Dim List
' class.
DimListImpl
,
QuartzPackageImpl.getDimList()
,
Constant Field Valuesstatic final int DIM_LIST__EXPR
static final int DIM_LIST_FEATURE_COUNT
static final int IN_OUT_NAME_LIST_COMMA
In Out Name List Comma
' class.
InOutNameListCommaImpl
,
QuartzPackageImpl.getInOutNameListComma()
,
Constant Field Valuesstatic final int IN_OUT_NAME_LIST_COMMA__NAMES
static final int IN_OUT_NAME_LIST_COMMA_FEATURE_COUNT
static final int INTERFACE
Interface
' class.
InterfaceImpl
,
QuartzPackageImpl.getInterface()
,
Constant Field Valuesstatic final int INTERFACE__TYPE
static final int INTERFACE__NAMES
static final int INTERFACE_FEATURE_COUNT
static final int INTERFACE_COMMA
Interface Comma
' class.
InterfaceCommaImpl
,
QuartzPackageImpl.getInterfaceComma()
,
Constant Field Valuesstatic final int INTERFACE_COMMA__TYPE
static final int INTERFACE_COMMA__NAMES
static final int INTERFACE_COMMA_FEATURE_COUNT
static final int INTERFACE_LIST
Interface List
' class.
InterfaceListImpl
,
QuartzPackageImpl.getInterfaceList()
,
Constant Field Valuesstatic final int INTERFACE_LIST__INTF
static final int INTERFACE_LIST__INTERFACES
static final int INTERFACE_LIST_FEATURE_COUNT
static final int ASSUME_LIST
Assume List
' class.
AssumeListImpl
,
QuartzPackageImpl.getAssumeList()
,
Constant Field Valuesstatic final int ASSUME_LIST_FEATURE_COUNT
static final int PROOF_GOAL_LIST
Proof Goal List
' class.
ProofGoalListImpl
,
QuartzPackageImpl.getProofGoalList()
,
Constant Field Valuesstatic final int PROOF_GOAL_LIST__NAME
static final int PROOF_GOAL_LIST__EXPR
static final int PROOF_GOAL_LIST__GOALS
static final int PROOF_GOAL_LIST__VER
static final int PROOF_GOAL_LIST__CTRL
static final int PROOF_GOAL_LIST__ASS
static final int PROOF_GOAL_LIST__CTR
static final int PROOF_GOAL_LIST_FEATURE_COUNT
static final int ATOMIC_STMT
Atomic Stmt
' class.
AtomicStmtImpl
,
QuartzPackageImpl.getAtomicStmt()
,
Constant Field Valuesstatic final int ATOMIC_STMT__EXPR
static final int ATOMIC_STMT__T03
static final int ATOMIC_STMT__T16
static final int ATOMIC_STMT__T06
static final int ATOMIC_STMT_FEATURE_COUNT
static final int UTY_ACTION
Uty Action
' class.
UtyActionImpl
,
QuartzPackageImpl.getUtyAction()
,
Constant Field Valuesstatic final int UTY_ACTION__EXPR
static final int UTY_ACTION__T03
static final int UTY_ACTION__T16
static final int UTY_ACTION__T06
static final int UTY_ACTION_FEATURE_COUNT
static final int UTY_EXPR
Uty Expr
' class.
UtyExprImpl
,
QuartzPackageImpl.getUtyExpr()
,
Constant Field Valuesstatic final int UTY_EXPR__EXPR
static final int UTY_EXPR__T03
static final int UTY_EXPR__T16
static final int UTY_EXPR__T06
static final int UTY_EXPR__T13
static final int UTY_EXPR__T14
static final int UTY_EXPR__T07
static final int UTY_EXPR__OP
static final int UTY_EXPR__T7
static final int UTY_EXPR__NAME
static final int UTY_EXPR__TYPE
static final int UTY_EXPR__T2
static final int UTY_EXPR__T4
static final int UTY_EXPR_FEATURE_COUNT
static final int FIXPOINT_EQ_LIST
Fixpoint Eq List
' class.
FixpointEqListImpl
,
QuartzPackageImpl.getFixpointEqList()
,
Constant Field Valuesstatic final int FIXPOINT_EQ_LIST__EXPR
static final int FIXPOINT_EQ_LIST__T03
static final int FIXPOINT_EQ_LIST__T16
static final int FIXPOINT_EQ_LIST__T06
static final int FIXPOINT_EQ_LIST__T13
static final int FIXPOINT_EQ_LIST__T14
static final int FIXPOINT_EQ_LIST__T07
static final int FIXPOINT_EQ_LIST__OP
static final int FIXPOINT_EQ_LIST__T7
static final int FIXPOINT_EQ_LIST__NAME
static final int FIXPOINT_EQ_LIST__TYPE
static final int FIXPOINT_EQ_LIST__T2
static final int FIXPOINT_EQ_LIST__T4
static final int FIXPOINT_EQ_LIST__EXPR2
static final int FIXPOINT_EQ_LIST_FEATURE_COUNT
static final int OPT_UTY_EXPR_LIST
Opt Uty Expr List
' class.
OptUtyExprListImpl
,
QuartzPackageImpl.getOptUtyExprList()
,
Constant Field Valuesstatic final int OPT_UTY_EXPR_LIST_FEATURE_COUNT
static final int OPT_UTY_EXPR
Opt Uty Expr
' class.
OptUtyExprImpl
,
QuartzPackageImpl.getOptUtyExpr()
,
Constant Field Valuesstatic final int OPT_UTY_EXPR__TK
static final int OPT_UTY_EXPR__EXPRS
static final int OPT_UTY_EXPR_FEATURE_COUNT
static final int UTY_EXPR_SELECT_LIST
Uty Expr Select List
' class.
UtyExprSelectListImpl
,
QuartzPackageImpl.getUtyExprSelectList()
,
Constant Field Valuesstatic final int UTY_EXPR_SELECT_LIST__TK
static final int UTY_EXPR_SELECT_LIST_FEATURE_COUNT
static final int CASE_LIST
case list
' class.
case_listImpl
,
QuartzPackageImpl.getcase_list()
,
Constant Field Valuesstatic final int CASE_LIST__EXPR
static final int CASE_LIST__T03
static final int CASE_LIST__T16
static final int CASE_LIST__T06
static final int CASE_LIST__EXP
static final int CASE_LIST__STMT
static final int CASE_LIST__T15
static final int CASE_LIST_FEATURE_COUNT
static final int DUTY_EXPRS
dUty Exprs
' class.
dUtyExprsImpl
,
QuartzPackageImpl.getdUtyExprs()
,
Constant Field Valuesstatic final int DUTY_EXPRS_FEATURE_COUNT
static final int DUTY_EXPR
dUty Expr
' class.
dUtyExprImpl
,
QuartzPackageImpl.getdUtyExpr()
,
Constant Field Valuesstatic final int DUTY_EXPR__EXPR
static final int DUTY_EXPR__T03
static final int DUTY_EXPR__T16
static final int DUTY_EXPR__T06
static final int DUTY_EXPR__T13
static final int DUTY_EXPR__T14
static final int DUTY_EXPR__T07
static final int DUTY_EXPR_FEATURE_COUNT
static final int GENERIC
Generic
' class.
GenericImpl
,
QuartzPackageImpl.getGeneric()
,
Constant Field Valuesstatic final int GENERIC__EXPR
static final int GENERIC__T03
static final int GENERIC__T16
static final int GENERIC__T06
static final int GENERIC__T13
static final int GENERIC__T14
static final int GENERIC__T07
static final int GENERIC__OP
static final int GENERIC__T7
static final int GENERIC__NAME
static final int GENERIC__TYPE
static final int GENERIC__T2
static final int GENERIC__T4
static final int GENERIC__T23
static final int GENERIC__T
static final int GENERIC_FEATURE_COUNT
static final int LOC_STMT
Loc Stmt
' class.
LocStmtImpl
,
QuartzPackageImpl.getLocStmt()
,
Constant Field Valuesstatic final int LOC_STMT__EXPR
static final int LOC_STMT__T03
static final int LOC_STMT__T16
static final int LOC_STMT__T06
static final int LOC_STMT__LOCALS
static final int LOC_STMT__STMT
static final int LOC_STMT_FEATURE_COUNT
static final int SEQ_STMT
Seq Stmt
' class.
SeqStmtImpl
,
QuartzPackageImpl.getSeqStmt()
,
Constant Field Valuesstatic final int SEQ_STMT__S
static final int SEQ_STMT_FEATURE_COUNT
static final int STMT
Stmt
' class.
StmtImpl
,
QuartzPackageImpl.getStmt()
,
Constant Field Valuesstatic final int STMT__LEFT
static final int STMT__RIGHT
static final int STMT_FEATURE_COUNT
static final int NAMED_STMT
Named Stmt
' class.
NamedStmtImpl
,
QuartzPackageImpl.getNamedStmt()
,
Constant Field Valuesstatic final int NAMED_STMT__EXPR
static final int NAMED_STMT__T03
static final int NAMED_STMT__T16
static final int NAMED_STMT__T06
static final int NAMED_STMT_FEATURE_COUNT
Method Detail |
---|
EClass getQrzFile()
Qrz File
'.
QrzFile
EReference getQrzFile_Imports()
Imports
'.
QrzFile.getImports()
,
getQrzFile()
EReference getQrzFile_Macros()
Macros
'.
QrzFile.getMacros()
,
getQrzFile()
EReference getQrzFile_Module()
Module
'.
QrzFile.getModule()
,
getQrzFile()
EClass getPackagePath()
Package Path
'.
PackagePath
EClass getImportList()
Import List
'.
ImportList
EReference getImportList_Imp()
Imp
'.
ImportList.getImp()
,
getImportList()
EClass getPointedName()
Pointed Name
'.
PointedName
EAttribute getPointedName_Id()
Id
'.
PointedName.getId()
,
getPointedName()
EReference getPointedName_Name()
Name
'.
PointedName.getName()
,
getPointedName()
EAttribute getPointedName_All()
All
'.
PointedName.isAll()
,
getPointedName()
EClass getMacroDef()
Macro Def
'.
MacroDef
EReference getMacroDef_Name()
Name
'.
MacroDef.getName()
,
getMacroDef()
EReference getMacroDef_Args()
Args
'.
MacroDef.getArgs()
,
getMacroDef()
EReference getMacroDef_Expr()
Expr
'.
MacroDef.getExpr()
,
getMacroDef()
EClass getQModule()
QModule
'.
QModule
EReference getQModule_Name()
Name
'.
QModule.getName()
,
getQModule()
EReference getQModule_Intf()
Intf
'.
QModule.getIntf()
,
getQModule()
EReference getQModule_Stmt()
Stmt
'.
QModule.getStmt()
,
getQModule()
EReference getQModule_Obs()
Obs
'.
QModule.getObs()
,
getQModule()
EClass getObservedSpecList()
Observed Spec List
'.
ObservedSpecList
EClass getName_()
Name
'.
Name
EAttribute getName_Id()
Id
'.
Name.getId()
,
getName_()
EClass getQName()
QName
'.
QName
EReference getQName_T6()
T6
'.
QName.getT6()
,
getQName()
EReference getQName_T5()
T5
'.
QName.getT5()
,
getQName()
EReference getQName_T24()
T24
'.
QName.getT24()
,
getQName()
EReference getQName_Exprs()
Exprs
'.
QName.getExprs()
,
getQName()
EReference getQName_T10()
T10
'.
QName.getT10()
,
getQName()
EClass getQNameList()
QName List
'.
QNameList
EReference getQNameList_Name()
Name
'.
QNameList.getName()
,
getQNameList()
EReference getQNameList_Names()
Names
'.
QNameList.getNames()
,
getQNameList()
EClass getQType()
QType
'.
QType
EReference getQType_Ta()
Ta
'.
QType.getTa()
,
getQType()
EReference getQType_Tb()
Tb
'.
QType.getTb()
,
getQType()
EReference getQType_Tc()
Tc
'.
QType.getTc()
,
getQType()
EReference getQType_Dims()
Dims
'.
QType.getDims()
,
getQType()
EClass getQTypeList()
QType List
'.
QTypeList
EReference getQTypeList_Type()
Type
'.
QTypeList.getType()
,
getQTypeList()
EReference getQTypeList_T()
T
'.
QTypeList.getT()
,
getQTypeList()
EClass getDimList()
Dim List
'.
DimList
EReference getDimList_Expr()
Expr
'.
DimList.getExpr()
,
getDimList()
EClass getInOutName()
In Out Name
'.
InOutName
EReference getInOutName_Names()
Names
'.
InOutName.getNames()
,
getInOutName()
EClass getInOutNameList()
In Out Name List
'.
InOutNameList
EClass getInOutNameListComma()
In Out Name List Comma
'.
InOutNameListComma
EReference getInOutNameListComma_Names()
Names
'.
InOutNameListComma.getNames()
,
getInOutNameListComma()
EClass getInterface()
Interface
'.
Interface
EReference getInterface_Type()
Type
'.
Interface.getType()
,
getInterface()
EReference getInterface_Names()
Names
'.
Interface.getNames()
,
getInterface()
EClass getInterfaceComma()
Interface Comma
'.
InterfaceComma
EReference getInterfaceComma_Type()
Type
'.
InterfaceComma.getType()
,
getInterfaceComma()
EReference getInterfaceComma_Names()
Names
'.
InterfaceComma.getNames()
,
getInterfaceComma()
EClass getInterfaceList()
Interface List
'.
InterfaceList
EReference getInterfaceList_Intf()
Intf
'.
InterfaceList.getIntf()
,
getInterfaceList()
EReference getInterfaceList_Interfaces()
Interfaces
'.
InterfaceList.getInterfaces()
,
getInterfaceList()
EClass getControlList()
Control List
'.
ControlList
EClass getAssumeList()
Assume List
'.
AssumeList
EClass getProofGoalList()
Proof Goal List
'.
ProofGoalList
EReference getProofGoalList_Name()
Name
'.
ProofGoalList.getName()
,
getProofGoalList()
EReference getProofGoalList_Expr()
Expr
'.
ProofGoalList.getExpr()
,
getProofGoalList()
EReference getProofGoalList_Goals()
Goals
'.
ProofGoalList.getGoals()
,
getProofGoalList()
EAttribute getProofGoalList_Ver()
Ver
'.
ProofGoalList.getVer()
,
getProofGoalList()
EReference getProofGoalList_Ctrl()
Ctrl
'.
ProofGoalList.getCtrl()
,
getProofGoalList()
EReference getProofGoalList_Ass()
Ass
'.
ProofGoalList.getAss()
,
getProofGoalList()
EReference getProofGoalList_Ctr()
Ctr
'.
ProofGoalList.getCtr()
,
getProofGoalList()
EClass getFixpointEqList()
Fixpoint Eq List
'.
FixpointEqList
EReference getFixpointEqList_Expr2()
Expr2
'.
FixpointEqList.getExpr2()
,
getFixpointEqList()
EClass getOptUtyExpr()
Opt Uty Expr
'.
OptUtyExpr
EReference getOptUtyExpr_Tk()
Tk
'.
OptUtyExpr.getTk()
,
getOptUtyExpr()
EReference getOptUtyExpr_Exprs()
Exprs
'.
OptUtyExpr.getExprs()
,
getOptUtyExpr()
EClass getOptUtyExprList()
Opt Uty Expr List
'.
OptUtyExprList
EClass getUtyExprSelectList()
Uty Expr Select List
'.
UtyExprSelectList
EReference getUtyExprSelectList_Tk()
Tk
'.
UtyExprSelectList.getTk()
,
getUtyExprSelectList()
EClass getUtyExpr()
Uty Expr
'.
UtyExpr
EAttribute getUtyExpr_Op()
Op
'.
UtyExpr.getOp()
,
getUtyExpr()
EReference getUtyExpr_T7()
T7
'.
UtyExpr.getT7()
,
getUtyExpr()
EReference getUtyExpr_Name()
Name
'.
UtyExpr.getName()
,
getUtyExpr()
EReference getUtyExpr_Type()
Type
'.
UtyExpr.getType()
,
getUtyExpr()
EReference getUtyExpr_T2()
T2
'.
UtyExpr.getT2()
,
getUtyExpr()
EReference getUtyExpr_T4()
T4
'.
UtyExpr.getT4()
,
getUtyExpr()
EClass getUtyAction()
Uty Action
'.
UtyAction
EClass getcase_list()
case list
'.
case_list
EReference getcase_list_Exp()
Exp
'.
case_list.getExp()
,
getcase_list()
EReference getcase_list_Stmt()
Stmt
'.
case_list.getStmt()
,
getcase_list()
EReference getcase_list_T15()
T15
'.
case_list.getT15()
,
getcase_list()
EClass getdUtyExpr()
dUty Expr
'.
dUtyExpr
EReference getdUtyExpr_T13()
T13
'.
dUtyExpr.getT13()
,
getdUtyExpr()
EReference getdUtyExpr_T14()
T14
'.
dUtyExpr.getT14()
,
getdUtyExpr()
EReference getdUtyExpr_T07()
T07
'.
dUtyExpr.getT07()
,
getdUtyExpr()
EClass getdUtyExprs()
dUty Exprs
'.
dUtyExprs
EClass getGeneric()
Generic
'.
Generic
EReference getGeneric_T23()
T23
'.
Generic.getT23()
,
getGeneric()
EReference getGeneric_T()
T
'.
Generic.getT()
,
getGeneric()
EClass getLocStmt()
Loc Stmt
'.
LocStmt
EReference getLocStmt_Locals()
Locals
'.
LocStmt.getLocals()
,
getLocStmt()
EReference getLocStmt_Stmt()
Stmt
'.
LocStmt.getStmt()
,
getLocStmt()
EClass getSeqStmt()
Seq Stmt
'.
SeqStmt
EReference getSeqStmt_S()
S
'.
SeqStmt.getS()
,
getSeqStmt()
EClass getStmt()
Stmt
'.
Stmt
EReference getStmt_Left()
Left
'.
Stmt.getLeft()
,
getStmt()
EReference getStmt_Right()
Right
'.
Stmt.getRight()
,
getStmt()
EClass getAtomicStmt()
Atomic Stmt
'.
AtomicStmt
EReference getAtomicStmt_Expr()
Expr
'.
AtomicStmt.getExpr()
,
getAtomicStmt()
EReference getAtomicStmt_T03()
T03
'.
AtomicStmt.getT03()
,
getAtomicStmt()
EReference getAtomicStmt_T16()
T16
'.
AtomicStmt.getT16()
,
getAtomicStmt()
EReference getAtomicStmt_T06()
T06
'.
AtomicStmt.getT06()
,
getAtomicStmt()
EClass getNamedStmt()
Named Stmt
'.
NamedStmt
QuartzFactory getQuartzFactory()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |