Package de.cau.cs.kieler.quartz.editor.quartz

Interface Summary
AssumeList A representation of the model object 'Assume List'.
AtomicStmt A representation of the model object 'Atomic Stmt'.
case_list A representation of the model object 'case list'.
ControlList A representation of the model object 'Control List'.
DimList A representation of the model object 'Dim List'.
dUtyExpr A representation of the model object 'dUty Expr'.
dUtyExprs A representation of the model object 'dUty Exprs'.
FixpointEqList A representation of the model object 'Fixpoint Eq List'.
Generic A representation of the model object 'Generic'.
ImportList A representation of the model object 'Import List'.
InOutName A representation of the model object 'In Out Name'.
InOutNameList A representation of the model object 'In Out Name List'.
InOutNameListComma A representation of the model object 'In Out Name List Comma'.
Interface A representation of the model object 'Interface'.
InterfaceComma A representation of the model object 'Interface Comma'.
InterfaceList A representation of the model object 'Interface List'.
LocStmt A representation of the model object 'Loc Stmt'.
MacroDef A representation of the model object 'Macro Def'.
Name A representation of the model object 'Name'.
NamedStmt A representation of the model object 'Named Stmt'.
ObservedSpecList A representation of the model object 'Observed Spec List'.
OptUtyExpr A representation of the model object 'Opt Uty Expr'.
OptUtyExprList A representation of the model object 'Opt Uty Expr List'.
PackagePath A representation of the model object 'Package Path'.
PointedName A representation of the model object 'Pointed Name'.
ProofGoalList A representation of the model object 'Proof Goal List'.
QModule A representation of the model object 'QModule'.
QName A representation of the model object 'QName'.
QNameList A representation of the model object 'QName List'.
QrzFile A representation of the model object 'Qrz File'.
QType A representation of the model object 'QType'.
QTypeList A representation of the model object 'QType List'.
QuartzFactory The Factory for the model.
QuartzPackage The Package for the model.
QuartzPackage.Literals Defines literals for the meta objects that represent each class, each feature of each class, each enum, and each data type
SeqStmt A representation of the model object 'Seq Stmt'.
Stmt A representation of the model object 'Stmt'.
UtyAction A representation of the model object 'Uty Action'.
UtyExpr A representation of the model object 'Uty Expr'.
UtyExprSelectList A representation of the model object 'Uty Expr Select List'.