|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface QuartzPackage.Literals
Defines literals for the meta objects that represent
Field Summary | |
---|---|
static EClass |
ASSUME_LIST
The meta object literal for the ' Assume List ' class. |
static EClass |
ATOMIC_STMT
The meta object literal for the ' Atomic Stmt ' class. |
static EReference |
ATOMIC_STMT__EXPR
The meta object literal for the 'Expr' containment reference feature. |
static EReference |
ATOMIC_STMT__T03
The meta object literal for the 'T03' containment reference feature. |
static EReference |
ATOMIC_STMT__T06
The meta object literal for the 'T06' containment reference feature. |
static EReference |
ATOMIC_STMT__T16
The meta object literal for the 'T16' containment reference feature. |
static EClass |
CASE_LIST
The meta object literal for the ' case list ' class. |
static EReference |
CASE_LIST__EXP
The meta object literal for the 'Exp' containment reference list feature. |
static EReference |
CASE_LIST__STMT
The meta object literal for the 'Stmt' containment reference list feature. |
static EReference |
CASE_LIST__T15
The meta object literal for the 'T15' containment reference feature. |
static EClass |
CONTROL_LIST
The meta object literal for the ' Control List ' class. |
static EClass |
DIM_LIST
The meta object literal for the ' Dim List ' class. |
static EReference |
DIM_LIST__EXPR
The meta object literal for the 'Expr' containment reference list feature. |
static EClass |
DUTY_EXPR
The meta object literal for the ' dUty Expr ' class. |
static EReference |
DUTY_EXPR__T07
The meta object literal for the 'T07' containment reference feature. |
static EReference |
DUTY_EXPR__T13
The meta object literal for the 'T13' containment reference feature. |
static EReference |
DUTY_EXPR__T14
The meta object literal for the 'T14' containment reference feature. |
static EClass |
DUTY_EXPRS
The meta object literal for the ' dUty Exprs ' class. |
static EClass |
FIXPOINT_EQ_LIST
The meta object literal for the ' Fixpoint Eq List ' class. |
static EReference |
FIXPOINT_EQ_LIST__EXPR2
The meta object literal for the 'Expr2' containment reference feature. |
static EClass |
GENERIC
The meta object literal for the ' Generic ' class. |
static EReference |
GENERIC__T
The meta object literal for the 'T' containment reference feature. |
static EReference |
GENERIC__T23
The meta object literal for the 'T23' containment reference feature. |
static EClass |
IMPORT_LIST
The meta object literal for the ' Import List ' class. |
static EReference |
IMPORT_LIST__IMP
The meta object literal for the 'Imp' containment reference list feature. |
static EClass |
IN_OUT_NAME
The meta object literal for the ' In Out Name ' class. |
static EReference |
IN_OUT_NAME__NAMES
The meta object literal for the 'Names' containment reference list feature. |
static EClass |
IN_OUT_NAME_LIST
The meta object literal for the ' In Out Name List ' class. |
static EClass |
IN_OUT_NAME_LIST_COMMA
The meta object literal for the ' In Out Name List Comma ' class. |
static EReference |
IN_OUT_NAME_LIST_COMMA__NAMES
The meta object literal for the 'Names' containment reference list feature. |
static EClass |
INTERFACE
The meta object literal for the ' Interface ' class. |
static EReference |
INTERFACE__NAMES
The meta object literal for the 'Names' containment reference feature. |
static EReference |
INTERFACE__TYPE
The meta object literal for the 'Type' containment reference feature. |
static EClass |
INTERFACE_COMMA
The meta object literal for the ' Interface Comma ' class. |
static EReference |
INTERFACE_COMMA__NAMES
The meta object literal for the 'Names' containment reference feature. |
static EReference |
INTERFACE_COMMA__TYPE
The meta object literal for the 'Type' containment reference feature. |
static EClass |
INTERFACE_LIST
The meta object literal for the ' Interface List ' class. |
static EReference |
INTERFACE_LIST__INTERFACES
The meta object literal for the 'Interfaces' containment reference list feature. |
static EReference |
INTERFACE_LIST__INTF
The meta object literal for the 'Intf' containment reference feature. |
static EClass |
LOC_STMT
The meta object literal for the ' Loc Stmt ' class. |
static EReference |
LOC_STMT__LOCALS
The meta object literal for the 'Locals' containment reference list feature. |
static EReference |
LOC_STMT__STMT
The meta object literal for the 'Stmt' containment reference feature. |
static EClass |
MACRO_DEF
The meta object literal for the ' Macro Def ' class. |
static EReference |
MACRO_DEF__ARGS
The meta object literal for the 'Args' containment reference feature. |
static EReference |
MACRO_DEF__EXPR
The meta object literal for the 'Expr' containment reference feature. |
static EReference |
MACRO_DEF__NAME
The meta object literal for the 'Name' containment reference feature. |
static EClass |
NAME
The meta object literal for the ' Name ' class. |
static EAttribute |
NAME__ID
The meta object literal for the 'Id' attribute feature. |
static EClass |
NAMED_STMT
The meta object literal for the ' Named Stmt ' class. |
static EClass |
OBSERVED_SPEC_LIST
The meta object literal for the ' Observed Spec List ' class. |
static EClass |
OPT_UTY_EXPR
The meta object literal for the ' Opt Uty Expr ' class. |
static EReference |
OPT_UTY_EXPR__EXPRS
The meta object literal for the 'Exprs' containment reference list feature. |
static EReference |
OPT_UTY_EXPR__TK
The meta object literal for the 'Tk' containment reference feature. |
static EClass |
OPT_UTY_EXPR_LIST
The meta object literal for the ' Opt Uty Expr List ' class. |
static EClass |
PACKAGE_PATH
The meta object literal for the ' Package Path ' class. |
static EClass |
POINTED_NAME
The meta object literal for the ' Pointed Name ' class. |
static EAttribute |
POINTED_NAME__ALL
The meta object literal for the 'All' attribute feature. |
static EAttribute |
POINTED_NAME__ID
The meta object literal for the 'Id' attribute feature. |
static EReference |
POINTED_NAME__NAME
The meta object literal for the 'Name' containment reference list feature. |
static EClass |
PROOF_GOAL_LIST
The meta object literal for the ' Proof Goal List ' class. |
static EReference |
PROOF_GOAL_LIST__ASS
The meta object literal for the 'Ass' containment reference list feature. |
static EReference |
PROOF_GOAL_LIST__CTR
The meta object literal for the 'Ctr' containment reference list feature. |
static EReference |
PROOF_GOAL_LIST__CTRL
The meta object literal for the 'Ctrl' containment reference list feature. |
static EReference |
PROOF_GOAL_LIST__EXPR
The meta object literal for the 'Expr' containment reference list feature. |
static EReference |
PROOF_GOAL_LIST__GOALS
The meta object literal for the 'Goals' containment reference list feature. |
static EReference |
PROOF_GOAL_LIST__NAME
The meta object literal for the 'Name' containment reference list feature. |
static EAttribute |
PROOF_GOAL_LIST__VER
The meta object literal for the 'Ver' attribute list feature. |
static EClass |
QMODULE
The meta object literal for the ' QModule ' class. |
static EReference |
QMODULE__INTF
The meta object literal for the 'Intf' containment reference feature. |
static EReference |
QMODULE__NAME
The meta object literal for the 'Name' containment reference feature. |
static EReference |
QMODULE__OBS
The meta object literal for the 'Obs' containment reference list feature. |
static EReference |
QMODULE__STMT
The meta object literal for the 'Stmt' containment reference feature. |
static EClass |
QNAME
The meta object literal for the ' QName ' class. |
static EReference |
QNAME__EXPRS
The meta object literal for the 'Exprs' containment reference feature. |
static EReference |
QNAME__T10
The meta object literal for the 'T10' containment reference feature. |
static EReference |
QNAME__T24
The meta object literal for the 'T24' containment reference feature. |
static EReference |
QNAME__T5
The meta object literal for the 'T5' containment reference feature. |
static EReference |
QNAME__T6
The meta object literal for the 'T6' containment reference feature. |
static EClass |
QNAME_LIST
The meta object literal for the ' QName List ' class. |
static EReference |
QNAME_LIST__NAME
The meta object literal for the 'Name' containment reference feature. |
static EReference |
QNAME_LIST__NAMES
The meta object literal for the 'Names' containment reference list feature. |
static EClass |
QRZ_FILE
The meta object literal for the ' Qrz File ' class. |
static EReference |
QRZ_FILE__IMPORTS
The meta object literal for the 'Imports' containment reference feature. |
static EReference |
QRZ_FILE__MACROS
The meta object literal for the 'Macros' containment reference list feature. |
static EReference |
QRZ_FILE__MODULE
The meta object literal for the 'Module' containment reference feature. |
static EClass |
QTYPE
The meta object literal for the ' QType ' class. |
static EReference |
QTYPE__DIMS
The meta object literal for the 'Dims' containment reference feature. |
static EReference |
QTYPE__TA
The meta object literal for the 'Ta' containment reference feature. |
static EReference |
QTYPE__TB
The meta object literal for the 'Tb' containment reference feature. |
static EReference |
QTYPE__TC
The meta object literal for the 'Tc' containment reference feature. |
static EClass |
QTYPE_LIST
The meta object literal for the ' QType List ' class. |
static EReference |
QTYPE_LIST__T
The meta object literal for the 'T' containment reference list feature. |
static EReference |
QTYPE_LIST__TYPE
The meta object literal for the 'Type' containment reference feature. |
static EClass |
SEQ_STMT
The meta object literal for the ' Seq Stmt ' class. |
static EReference |
SEQ_STMT__S
The meta object literal for the 'S' containment reference list feature. |
static EClass |
STMT
The meta object literal for the ' Stmt ' class. |
static EReference |
STMT__LEFT
The meta object literal for the 'Left' containment reference feature. |
static EReference |
STMT__RIGHT
The meta object literal for the 'Right' containment reference list feature. |
static EClass |
UTY_ACTION
The meta object literal for the ' Uty Action ' class. |
static EClass |
UTY_EXPR
The meta object literal for the ' Uty Expr ' class. |
static EReference |
UTY_EXPR__NAME
The meta object literal for the 'Name' containment reference feature. |
static EAttribute |
UTY_EXPR__OP
The meta object literal for the 'Op' attribute feature. |
static EReference |
UTY_EXPR__T2
The meta object literal for the 'T2' containment reference feature. |
static EReference |
UTY_EXPR__T4
The meta object literal for the 'T4' containment reference feature. |
static EReference |
UTY_EXPR__T7
The meta object literal for the 'T7' containment reference feature. |
static EReference |
UTY_EXPR__TYPE
The meta object literal for the 'Type' containment reference feature. |
static EClass |
UTY_EXPR_SELECT_LIST
The meta object literal for the ' Uty Expr Select List ' class. |
static EReference |
UTY_EXPR_SELECT_LIST__TK
The meta object literal for the 'Tk' containment reference feature. |
Field Detail |
---|
static final EClass QRZ_FILE
Qrz File
' class.
QrzFileImpl
,
QuartzPackageImpl.getQrzFile()
static final EReference QRZ_FILE__IMPORTS
static final EReference QRZ_FILE__MACROS
static final EReference QRZ_FILE__MODULE
static final EClass PACKAGE_PATH
Package Path
' class.
PackagePathImpl
,
QuartzPackageImpl.getPackagePath()
static final EClass IMPORT_LIST
Import List
' class.
ImportListImpl
,
QuartzPackageImpl.getImportList()
static final EReference IMPORT_LIST__IMP
static final EClass POINTED_NAME
Pointed Name
' class.
PointedNameImpl
,
QuartzPackageImpl.getPointedName()
static final EAttribute POINTED_NAME__ID
static final EReference POINTED_NAME__NAME
static final EAttribute POINTED_NAME__ALL
static final EClass MACRO_DEF
Macro Def
' class.
MacroDefImpl
,
QuartzPackageImpl.getMacroDef()
static final EReference MACRO_DEF__NAME
static final EReference MACRO_DEF__ARGS
static final EReference MACRO_DEF__EXPR
static final EClass QMODULE
QModule
' class.
QModuleImpl
,
QuartzPackageImpl.getQModule()
static final EReference QMODULE__NAME
static final EReference QMODULE__INTF
static final EReference QMODULE__STMT
static final EReference QMODULE__OBS
static final EClass OBSERVED_SPEC_LIST
Observed Spec List
' class.
ObservedSpecListImpl
,
QuartzPackageImpl.getObservedSpecList()
static final EClass NAME
Name
' class.
NameImpl
,
QuartzPackageImpl.getName_()
static final EAttribute NAME__ID
static final EClass QNAME
QName
' class.
QNameImpl
,
QuartzPackageImpl.getQName()
static final EReference QNAME__T6
static final EReference QNAME__T5
static final EReference QNAME__T24
static final EReference QNAME__EXPRS
static final EReference QNAME__T10
static final EClass QNAME_LIST
QName List
' class.
QNameListImpl
,
QuartzPackageImpl.getQNameList()
static final EReference QNAME_LIST__NAME
static final EReference QNAME_LIST__NAMES
static final EClass QTYPE
QType
' class.
QTypeImpl
,
QuartzPackageImpl.getQType()
static final EReference QTYPE__TA
static final EReference QTYPE__TB
static final EReference QTYPE__TC
static final EReference QTYPE__DIMS
static final EClass QTYPE_LIST
QType List
' class.
QTypeListImpl
,
QuartzPackageImpl.getQTypeList()
static final EReference QTYPE_LIST__TYPE
static final EReference QTYPE_LIST__T
static final EClass DIM_LIST
Dim List
' class.
DimListImpl
,
QuartzPackageImpl.getDimList()
static final EReference DIM_LIST__EXPR
static final EClass IN_OUT_NAME
In Out Name
' class.
InOutNameImpl
,
QuartzPackageImpl.getInOutName()
static final EReference IN_OUT_NAME__NAMES
static final EClass IN_OUT_NAME_LIST
In Out Name List
' class.
InOutNameListImpl
,
QuartzPackageImpl.getInOutNameList()
static final EClass IN_OUT_NAME_LIST_COMMA
In Out Name List Comma
' class.
InOutNameListCommaImpl
,
QuartzPackageImpl.getInOutNameListComma()
static final EReference IN_OUT_NAME_LIST_COMMA__NAMES
static final EClass INTERFACE
Interface
' class.
InterfaceImpl
,
QuartzPackageImpl.getInterface()
static final EReference INTERFACE__TYPE
static final EReference INTERFACE__NAMES
static final EClass INTERFACE_COMMA
Interface Comma
' class.
InterfaceCommaImpl
,
QuartzPackageImpl.getInterfaceComma()
static final EReference INTERFACE_COMMA__TYPE
static final EReference INTERFACE_COMMA__NAMES
static final EClass INTERFACE_LIST
Interface List
' class.
InterfaceListImpl
,
QuartzPackageImpl.getInterfaceList()
static final EReference INTERFACE_LIST__INTF
static final EReference INTERFACE_LIST__INTERFACES
static final EClass CONTROL_LIST
Control List
' class.
ControlListImpl
,
QuartzPackageImpl.getControlList()
static final EClass ASSUME_LIST
Assume List
' class.
AssumeListImpl
,
QuartzPackageImpl.getAssumeList()
static final EClass PROOF_GOAL_LIST
Proof Goal List
' class.
ProofGoalListImpl
,
QuartzPackageImpl.getProofGoalList()
static final EReference PROOF_GOAL_LIST__NAME
static final EReference PROOF_GOAL_LIST__EXPR
static final EReference PROOF_GOAL_LIST__GOALS
static final EAttribute PROOF_GOAL_LIST__VER
static final EReference PROOF_GOAL_LIST__CTRL
static final EReference PROOF_GOAL_LIST__ASS
static final EReference PROOF_GOAL_LIST__CTR
static final EClass FIXPOINT_EQ_LIST
Fixpoint Eq List
' class.
FixpointEqListImpl
,
QuartzPackageImpl.getFixpointEqList()
static final EReference FIXPOINT_EQ_LIST__EXPR2
static final EClass OPT_UTY_EXPR
Opt Uty Expr
' class.
OptUtyExprImpl
,
QuartzPackageImpl.getOptUtyExpr()
static final EReference OPT_UTY_EXPR__TK
static final EReference OPT_UTY_EXPR__EXPRS
static final EClass OPT_UTY_EXPR_LIST
Opt Uty Expr List
' class.
OptUtyExprListImpl
,
QuartzPackageImpl.getOptUtyExprList()
static final EClass UTY_EXPR_SELECT_LIST
Uty Expr Select List
' class.
UtyExprSelectListImpl
,
QuartzPackageImpl.getUtyExprSelectList()
static final EReference UTY_EXPR_SELECT_LIST__TK
static final EClass UTY_EXPR
Uty Expr
' class.
UtyExprImpl
,
QuartzPackageImpl.getUtyExpr()
static final EAttribute UTY_EXPR__OP
static final EReference UTY_EXPR__T7
static final EReference UTY_EXPR__NAME
static final EReference UTY_EXPR__TYPE
static final EReference UTY_EXPR__T2
static final EReference UTY_EXPR__T4
static final EClass UTY_ACTION
Uty Action
' class.
UtyActionImpl
,
QuartzPackageImpl.getUtyAction()
static final EClass CASE_LIST
case list
' class.
case_listImpl
,
QuartzPackageImpl.getcase_list()
static final EReference CASE_LIST__EXP
static final EReference CASE_LIST__STMT
static final EReference CASE_LIST__T15
static final EClass DUTY_EXPR
dUty Expr
' class.
dUtyExprImpl
,
QuartzPackageImpl.getdUtyExpr()
static final EReference DUTY_EXPR__T13
static final EReference DUTY_EXPR__T14
static final EReference DUTY_EXPR__T07
static final EClass DUTY_EXPRS
dUty Exprs
' class.
dUtyExprsImpl
,
QuartzPackageImpl.getdUtyExprs()
static final EClass GENERIC
Generic
' class.
GenericImpl
,
QuartzPackageImpl.getGeneric()
static final EReference GENERIC__T23
static final EReference GENERIC__T
static final EClass LOC_STMT
Loc Stmt
' class.
LocStmtImpl
,
QuartzPackageImpl.getLocStmt()
static final EReference LOC_STMT__LOCALS
static final EReference LOC_STMT__STMT
static final EClass SEQ_STMT
Seq Stmt
' class.
SeqStmtImpl
,
QuartzPackageImpl.getSeqStmt()
static final EReference SEQ_STMT__S
static final EClass STMT
Stmt
' class.
StmtImpl
,
QuartzPackageImpl.getStmt()
static final EReference STMT__LEFT
static final EReference STMT__RIGHT
static final EClass ATOMIC_STMT
Atomic Stmt
' class.
AtomicStmtImpl
,
QuartzPackageImpl.getAtomicStmt()
static final EReference ATOMIC_STMT__EXPR
static final EReference ATOMIC_STMT__T03
static final EReference ATOMIC_STMT__T16
static final EReference ATOMIC_STMT__T06
static final EClass NAMED_STMT
Named Stmt
' class.
NamedStmtImpl
,
QuartzPackageImpl.getNamedStmt()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |