|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.quartz.editor.quartz.util.QuartzSwitch<T>
public class QuartzSwitch<T>
The Switch for the model's inheritance hierarchy.
It supports the call doSwitch(object)
to invoke the caseXXX
method for each class of the model,
starting with the actual class of the object
and proceeding up the inheritance hierarchy
until a non-null result is returned,
which is the result of the switch.
QuartzPackage
Field Summary | |
---|---|
protected static QuartzPackage |
modelPackage
The cached model package |
Constructor Summary | |
---|---|
QuartzSwitch()
Creates an instance of the switch. |
Method Summary | |
---|---|
T |
caseAssumeList(AssumeList object)
Returns the result of interpreting the object as an instance of 'Assume List'. |
T |
caseAtomicStmt(AtomicStmt object)
Returns the result of interpreting the object as an instance of 'Atomic Stmt'. |
T |
casecase_list(case_list object)
Returns the result of interpreting the object as an instance of 'case list'. |
T |
caseControlList(ControlList object)
Returns the result of interpreting the object as an instance of 'Control List'. |
T |
caseDimList(DimList object)
Returns the result of interpreting the object as an instance of 'Dim List'. |
T |
casedUtyExpr(dUtyExpr object)
Returns the result of interpreting the object as an instance of 'dUty Expr'. |
T |
casedUtyExprs(dUtyExprs object)
Returns the result of interpreting the object as an instance of 'dUty Exprs'. |
T |
caseFixpointEqList(FixpointEqList object)
Returns the result of interpreting the object as an instance of 'Fixpoint Eq List'. |
T |
caseGeneric(Generic object)
Returns the result of interpreting the object as an instance of 'Generic'. |
T |
caseImportList(ImportList object)
Returns the result of interpreting the object as an instance of 'Import List'. |
T |
caseInOutName(InOutName object)
Returns the result of interpreting the object as an instance of 'In Out Name'. |
T |
caseInOutNameList(InOutNameList object)
Returns the result of interpreting the object as an instance of 'In Out Name List'. |
T |
caseInOutNameListComma(InOutNameListComma object)
Returns the result of interpreting the object as an instance of 'In Out Name List Comma'. |
T |
caseInterface(Interface object)
Returns the result of interpreting the object as an instance of 'Interface'. |
T |
caseInterfaceComma(InterfaceComma object)
Returns the result of interpreting the object as an instance of 'Interface Comma'. |
T |
caseInterfaceList(InterfaceList object)
Returns the result of interpreting the object as an instance of 'Interface List'. |
T |
caseLocStmt(LocStmt object)
Returns the result of interpreting the object as an instance of 'Loc Stmt'. |
T |
caseMacroDef(MacroDef object)
Returns the result of interpreting the object as an instance of 'Macro Def'. |
T |
caseName(Name object)
Returns the result of interpreting the object as an instance of 'Name'. |
T |
caseNamedStmt(NamedStmt object)
Returns the result of interpreting the object as an instance of 'Named Stmt'. |
T |
caseObservedSpecList(ObservedSpecList object)
Returns the result of interpreting the object as an instance of 'Observed Spec List'. |
T |
caseOptUtyExpr(OptUtyExpr object)
Returns the result of interpreting the object as an instance of 'Opt Uty Expr'. |
T |
caseOptUtyExprList(OptUtyExprList object)
Returns the result of interpreting the object as an instance of 'Opt Uty Expr List'. |
T |
casePackagePath(PackagePath object)
Returns the result of interpreting the object as an instance of 'Package Path'. |
T |
casePointedName(PointedName object)
Returns the result of interpreting the object as an instance of 'Pointed Name'. |
T |
caseProofGoalList(ProofGoalList object)
Returns the result of interpreting the object as an instance of 'Proof Goal List'. |
T |
caseQModule(QModule object)
Returns the result of interpreting the object as an instance of 'QModule'. |
T |
caseQName(QName object)
Returns the result of interpreting the object as an instance of 'QName'. |
T |
caseQNameList(QNameList object)
Returns the result of interpreting the object as an instance of 'QName List'. |
T |
caseQrzFile(QrzFile object)
Returns the result of interpreting the object as an instance of 'Qrz File'. |
T |
caseQType(QType object)
Returns the result of interpreting the object as an instance of 'QType'. |
T |
caseQTypeList(QTypeList object)
Returns the result of interpreting the object as an instance of 'QType List'. |
T |
caseSeqStmt(SeqStmt object)
Returns the result of interpreting the object as an instance of 'Seq Stmt'. |
T |
caseStmt(Stmt object)
Returns the result of interpreting the object as an instance of 'Stmt'. |
T |
caseUtyAction(UtyAction object)
Returns the result of interpreting the object as an instance of 'Uty Action'. |
T |
caseUtyExpr(UtyExpr object)
Returns the result of interpreting the object as an instance of 'Uty Expr'. |
T |
caseUtyExprSelectList(UtyExprSelectList object)
Returns the result of interpreting the object as an instance of 'Uty Expr Select List'. |
T |
defaultCase(EObject object)
Returns the result of interpreting the object as an instance of 'EObject'. |
protected T |
doSwitch(EClass theEClass,
EObject theEObject)
Calls caseXXX for each class of the model until one returns a non null result; it yields that result. |
T |
doSwitch(EObject theEObject)
Calls caseXXX for each class of the model until one returns a non null result; it yields that result. |
protected T |
doSwitch(int classifierID,
EObject theEObject)
Calls caseXXX for each class of the model until one returns a non null result; it yields that result. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static QuartzPackage modelPackage
Constructor Detail |
---|
public QuartzSwitch()
Method Detail |
---|
public T doSwitch(EObject theEObject)
caseXXX
for each class of the model until one returns a non null result; it yields that result.
caseXXX
call.protected T doSwitch(EClass theEClass, EObject theEObject)
caseXXX
for each class of the model until one returns a non null result; it yields that result.
caseXXX
call.protected T doSwitch(int classifierID, EObject theEObject)
caseXXX
for each class of the model until one returns a non null result; it yields that result.
caseXXX
call.public T caseQrzFile(QrzFile object)
object
- the target of the switch.
doSwitch(EObject)
public T casePackagePath(PackagePath object)
object
- the target of the switch.
doSwitch(EObject)
public T caseImportList(ImportList object)
object
- the target of the switch.
doSwitch(EObject)
public T casePointedName(PointedName object)
object
- the target of the switch.
doSwitch(EObject)
public T caseMacroDef(MacroDef object)
object
- the target of the switch.
doSwitch(EObject)
public T caseQModule(QModule object)
object
- the target of the switch.
doSwitch(EObject)
public T caseObservedSpecList(ObservedSpecList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseName(Name object)
object
- the target of the switch.
doSwitch(EObject)
public T caseQName(QName object)
object
- the target of the switch.
doSwitch(EObject)
public T caseQNameList(QNameList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseQType(QType object)
object
- the target of the switch.
doSwitch(EObject)
public T caseQTypeList(QTypeList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseDimList(DimList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInOutName(InOutName object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInOutNameList(InOutNameList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInOutNameListComma(InOutNameListComma object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInterface(Interface object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInterfaceComma(InterfaceComma object)
object
- the target of the switch.
doSwitch(EObject)
public T caseInterfaceList(InterfaceList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseControlList(ControlList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseAssumeList(AssumeList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseProofGoalList(ProofGoalList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseFixpointEqList(FixpointEqList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseOptUtyExpr(OptUtyExpr object)
object
- the target of the switch.
doSwitch(EObject)
public T caseOptUtyExprList(OptUtyExprList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseUtyExprSelectList(UtyExprSelectList object)
object
- the target of the switch.
doSwitch(EObject)
public T caseUtyExpr(UtyExpr object)
object
- the target of the switch.
doSwitch(EObject)
public T caseUtyAction(UtyAction object)
object
- the target of the switch.
doSwitch(EObject)
public T casecase_list(case_list object)
object
- the target of the switch.
doSwitch(EObject)
public T casedUtyExpr(dUtyExpr object)
object
- the target of the switch.
doSwitch(EObject)
public T casedUtyExprs(dUtyExprs object)
object
- the target of the switch.
doSwitch(EObject)
public T caseGeneric(Generic object)
object
- the target of the switch.
doSwitch(EObject)
public T caseLocStmt(LocStmt object)
object
- the target of the switch.
doSwitch(EObject)
public T caseSeqStmt(SeqStmt object)
object
- the target of the switch.
doSwitch(EObject)
public T caseStmt(Stmt object)
object
- the target of the switch.
doSwitch(EObject)
public T caseAtomicStmt(AtomicStmt object)
object
- the target of the switch.
doSwitch(EObject)
public T caseNamedStmt(NamedStmt object)
object
- the target of the switch.
doSwitch(EObject)
public T defaultCase(EObject object)
object
- the target of the switch.
doSwitch(org.eclipse.emf.ecore.EObject)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |