public class BooleansSwitch<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.
BooleansPackage
Modifier and Type | Field and Description |
---|---|
protected static BooleansPackage |
modelPackage
The cached model package
|
Constructor and Description |
---|
BooleansSwitch()
Creates an instance of the switch
|
Modifier and Type | Method and Description |
---|---|
T |
caseAnd(And object)
Returns the result of interpreting the object as an instance of 'And'
|
T |
caseBool(Bool object)
Returns the result of interpreting the object as an instance of 'Bool'
|
T |
caseBooleanConstant(BooleanConstant object)
Returns the result of interpreting the object as an instance of 'Boolean Constant'
|
T |
caseBooleanOperator(BooleanOperator object)
Returns the result of interpreting the object as an instance of 'Boolean Operator'
|
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 |
caseEquality(Equality object)
Returns the result of interpreting the object as an instance of 'Equality'
|
T |
caseImply(Imply object)
Returns the result of interpreting the object as an instance of 'Imply'
|
T |
caseInequality(Inequality object)
Returns the result of interpreting the object as an instance of 'Inequality'
|
T |
caseNot(Not object)
Returns the result of interpreting the object as an instance of 'Not'
|
T |
caseOperator(Operator object)
Returns the result of interpreting the object as an instance of 'Operator'
|
T |
caseOr(Or object)
Returns the result of interpreting the object as an instance of 'Or'
|
T |
caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
T |
caseTerm(Term object)
Returns the result of interpreting the object as an instance of 'Term'
|
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 BooleansPackage 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 caseEquality(Equality object)
object
- the target of the switch.doSwitch(EObject)
public T caseInequality(Inequality object)
object
- the target of the switch.doSwitch(EObject)
public T caseBooleanConstant(BooleanConstant object)
object
- the target of the switch.doSwitch(EObject)
public T caseOr(Or object)
object
- the target of the switch.doSwitch(EObject)
public T caseBooleanOperator(BooleanOperator object)
object
- the target of the switch.doSwitch(EObject)
public T caseAnd(And object)
object
- the target of the switch.doSwitch(EObject)
public T caseImply(Imply object)
object
- the target of the switch.doSwitch(EObject)
public T caseNot(Not object)
object
- the target of the switch.doSwitch(EObject)
public T caseBool(Bool 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 caseBuiltInConstant(BuiltInConstant object)
object
- the target of the switch.doSwitch(EObject)
public T caseBuiltInOperator(BuiltInOperator object)
object
- the target of the switch.doSwitch(EObject)
public T caseSort(Sort object)
object
- the target of the switch.doSwitch(EObject)
public T caseBuiltInSort(BuiltInSort 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.