public class TermsSwitch<T>
extends org.eclipse.emf.ecore.util.Switch<T>
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.
TermsPackage
Modifier and Type | Field and Description |
---|---|
protected static TermsPackage |
modelPackage
The cached model package
|
Constructor and Description |
---|
TermsSwitch()
Creates an instance of the switch
|
Modifier and Type | Method and Description |
---|---|
T |
caseBuiltInConstant(BuiltInConstant object)
Returns the result of interpreting the object as an instance of 'Built In Constant'
|
T |
caseBuiltInOperator(BuiltInOperator object)
Returns the result of interpreting the object as an instance of 'Built In Operator'
|
T |
caseBuiltInSort(BuiltInSort object)
Returns the result of interpreting the object as an instance of 'Built In Sort'
|
T |
caseDeclarations(Declarations object)
Returns the result of interpreting the object as an instance of 'Declarations'
|
T |
caseMultisetOperator(MultisetOperator object)
Returns the result of interpreting the object as an instance of 'Multiset Operator'
|
T |
caseMultisetSort(MultisetSort object)
Returns the result of interpreting the object as an instance of 'Multiset Sort'
|
T |
caseNamedOperator(NamedOperator object)
Returns the result of interpreting the object as an instance of 'Named Operator'
|
T |
caseNamedSort(NamedSort object)
Returns the result of interpreting the object as an instance of 'Named Sort'
|
T |
caseOperator(Operator object)
Returns the result of interpreting the object as an instance of 'Operator'
|
T |
caseOperatorDecl(OperatorDecl object)
Returns the result of interpreting the object as an instance of 'Operator Decl'
|
T |
caseProductSort(ProductSort object)
Returns the result of interpreting the object as an instance of 'Product Sort'
|
T |
caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
T |
caseSortDecl(SortDecl object)
Returns the result of interpreting the object as an instance of 'Sort Decl'
|
T |
caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
T |
caseTermsDeclaration(TermsDeclaration object)
Returns the result of interpreting the object as an instance of 'Declaration'
|
T |
caseTuple(Tuple object)
Returns the result of interpreting the object as an instance of 'Tuple'
|
T |
caseUserOperator(UserOperator object)
Returns the result of interpreting the object as an instance of 'User Operator'
|
T |
caseUserSort(UserSort object)
Returns the result of interpreting the object as an instance of 'User Sort'
|
T |
caseVariable(Variable object)
Returns the result of interpreting the object as an instance of 'Variable'
|
T |
caseVariableDecl(VariableDecl object)
Returns the result of interpreting the object as an instance of 'Variable Decl'
|
T |
defaultCase(org.eclipse.emf.ecore.EObject object)
Returns the result of interpreting the object as an instance of 'EObject'
|
protected T |
doSwitch(int classifierID,
org.eclipse.emf.ecore.EObject theEObject)
Calls
caseXXX for each class of the model until one returns a non null result; it yields that result |
protected boolean |
isSwitchFor(org.eclipse.emf.ecore.EPackage ePackage)
Checks whether this is a switch for the given package
|
protected static TermsPackage modelPackage
protected boolean isSwitchFor(org.eclipse.emf.ecore.EPackage ePackage)
isSwitchFor
in class org.eclipse.emf.ecore.util.Switch<T>
protected T doSwitch(int classifierID, org.eclipse.emf.ecore.EObject theEObject)
caseXXX
for each class of the model until one returns a non null result; it yields that result.
doSwitch
in class org.eclipse.emf.ecore.util.Switch<T>
caseXXX
call.public T caseDeclarations(Declarations object)
object
- the target of the switch.doSwitch(EObject)
public T caseTermsDeclaration(TermsDeclaration object)
object
- the target of the switch.doSwitch(EObject)
public T caseSort(Sort object)
object
- the target of the switch.doSwitch(EObject)
public T caseMultisetSort(MultisetSort object)
object
- the target of the switch.doSwitch(EObject)
public T caseTerm(Term object)
object
- the target of the switch.doSwitch(EObject)
public T caseOperator(Operator object)
object
- the target of the switch.doSwitch(EObject)
public T caseVariableDecl(VariableDecl object)
object
- the target of the switch.doSwitch(EObject)
public T caseVariable(Variable object)
object
- the target of the switch.doSwitch(EObject)
public T caseBuiltInSort(BuiltInSort object)
object
- the target of the switch.doSwitch(EObject)
public T caseProductSort(ProductSort object)
object
- the target of the switch.doSwitch(EObject)
public T caseBuiltInConstant(BuiltInConstant object)
object
- the target of the switch.doSwitch(EObject)
public T caseMultisetOperator(MultisetOperator object)
object
- the target of the switch.doSwitch(EObject)
public T caseTuple(Tuple object)
object
- the target of the switch.doSwitch(EObject)
public T caseSortDecl(SortDecl object)
object
- the target of the switch.doSwitch(EObject)
public T caseBuiltInOperator(BuiltInOperator object)
object
- the target of the switch.doSwitch(EObject)
public T caseNamedSort(NamedSort object)
object
- the target of the switch.doSwitch(EObject)
public T caseUserSort(UserSort object)
object
- the target of the switch.doSwitch(EObject)
public T caseOperatorDecl(OperatorDecl object)
object
- the target of the switch.doSwitch(EObject)
public T caseNamedOperator(NamedOperator object)
object
- the target of the switch.doSwitch(EObject)
public T caseUserOperator(UserOperator object)
object
- the target of the switch.doSwitch(EObject)
public T defaultCase(org.eclipse.emf.ecore.EObject object)
defaultCase
in class org.eclipse.emf.ecore.util.Switch<T>
object
- the target of the switch.Switch.doSwitch(org.eclipse.emf.ecore.EObject)
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.