Uses of Interface
org.eclipse.ocl.expressions.IfExp

Packages that use IfExp

org.eclipse.ocl	Definition of the extensible environment API for OCL parsing and evaluation.
org.eclipse.ocl.ecore	Implementation of an OCL binding for the Ecore metamodel.
org.eclipse.ocl.ecore.impl	Implementation of the Ecore binding of the the Types package of the OCL Abstract Syntax.
org.eclipse.ocl.ecore.internal
org.eclipse.ocl.ecore.util	Generated utilities for working with instances the Ecore binding of the Types package of the OCL Abstract Syntax.
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
org.eclipse.ocl.examples.impactanalyzer.impl
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
org.eclipse.ocl.expressions	Specification of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.impl	Implementation of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.operations
org.eclipse.ocl.expressions.util	Generated utilities for working with instances the Expressions model.
org.eclipse.ocl.internal.evaluation
org.eclipse.ocl.internal.helper
org.eclipse.ocl.parser
org.eclipse.ocl.uml.internal
org.eclipse.ocl.uml.util	Miscellaneous utilities in support of the UML environment for OCL.
org.eclipse.ocl.util	Miscellaneous utilities in support of the OCL parser and environment implementations.
org.eclipse.ocl.utilities	Abstract API for OCL AST utilities and extensions of the UML metamodel.

Uses of IfExp in org.eclipse.ocl

Methods in org.eclipse.ocl with parameters of type IfExp

java.lang.Object	EvaluationVisitorDecorator.visitIfExp(IfExp<C> ifExp) Delegates to my decorated visitor.
java.lang.Object	EvaluationVisitorImpl.visitIfExp(IfExp<C> ie) Callback for an IfExp visit.

Uses of IfExp in org.eclipse.ocl.ecore

Subinterfaces of IfExp in org.eclipse.ocl.ecore

interface

IfExp A representation of the model object 'If Exp'.

Uses of IfExp in org.eclipse.ocl.ecore.impl

Classes in org.eclipse.ocl.ecore.impl that implement IfExp

class

IfExpImpl An implementation of the model object 'If Exp'.

Uses of IfExp in org.eclipse.ocl.ecore.internal

Methods in org.eclipse.ocl.ecore.internal that return IfExp

<C> IfExp<C>

OCLFactoryImpl.createIfExp()

Uses of IfExp in org.eclipse.ocl.ecore.util

Methods in org.eclipse.ocl.ecore.util with parameters of type IfExp

<C> T	EcoreSwitch.caseExpressions_IfExp(IfExp<C> object) Returns the result of interpreting the object as an instance of 'If Exp'.
<C> T	EcoreSwitch.caseIfExp_1(IfExp<C> object) Deprecated. Since 1.3, override the EcoreSwitch.caseExpressions_IfExp(org.eclipse.ocl.expressions.IfExp) method, instead.

Uses of IfExp in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type IfExp

java.lang.Object

PartialEvaluationVisitorImpl.visitIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ie)

Uses of IfExp in org.eclipse.ocl.examples.impactanalyzer.impl

Methods in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type IfExp

org.eclipse.emf.ecore.EClass

ContextTypeRetriever.visitIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp)

Uses of IfExp in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type IfExp

protected java.util.Set<VariableExp>

FindAlwaysUsedVariablesVisitor.handleIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp, java.util.Set<VariableExp> conditionResult, java.util.Set<VariableExp> thenResult, java.util.Set<VariableExp> elseResult) An if-expression inevitably uses all variables that are inevitably used in the condition plus those inevitably used in both, the then and the else branch.

Uses of IfExp in org.eclipse.ocl.expressions

Methods in org.eclipse.ocl.expressions that return IfExp

<C> IfExp<C>

ExpressionsFactory.createIfExp() Returns a new object of class 'If Exp'.

Uses of IfExp in org.eclipse.ocl.expressions.impl

Methods in org.eclipse.ocl.expressions.impl that return IfExp

<C> IfExp<C>

ExpressionsFactoryImpl.createIfExp()

Uses of IfExp in org.eclipse.ocl.expressions.operations

Methods in org.eclipse.ocl.expressions.operations with parameters of type IfExp

static <C> boolean	IfExpOperations.checkBooleanCondition(IfExp<C> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.condition.type.oclIsKindOf(PrimitiveType) and self.condition.type.name = 'Boolean'
static <C> boolean	IfExpOperations.checkIfType(IfExp<C> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.type = thenExpression.type.commonSuperType(elseExpression.type)

Uses of IfExp in org.eclipse.ocl.expressions.util

Methods in org.eclipse.ocl.expressions.util with parameters of type IfExp

<C> T	ExpressionsSwitch.caseIfExp(IfExp<C> object) Returns the result of interpreting the object as an instance of 'If Exp'.
boolean	ExpressionsValidator.validateIfExp_checkBooleanCondition(IfExp<?> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the checkBooleanCondition constraint of 'If Exp'.
boolean	ExpressionsValidator.validateIfExp_checkIfType(IfExp<?> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the checkIfType constraint of 'If Exp'.
boolean	ExpressionsValidator.validateIfExp(IfExp<?> ifExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Uses of IfExp in org.eclipse.ocl.internal.evaluation

Methods in org.eclipse.ocl.internal.evaluation with parameters of type IfExp

java.lang.Object

TracingEvaluationVisitor.visitIfExp(IfExp<C> ifExp)

Uses of IfExp in org.eclipse.ocl.internal.helper

Methods in org.eclipse.ocl.internal.helper with parameters of type IfExp

java.util.List<Choice>

OCLSyntaxHelper.ASTVisitor.visitIfExp(IfExp<C> exp)

Uses of IfExp in org.eclipse.ocl.parser

Methods in org.eclipse.ocl.parser that return IfExp

<C> IfExp<C>	OCLFactoryWithHistory.createIfExp()
protected IfExp<C>	AbstractOCLAnalyzer.ifExpCS(IfExpCS ifExpCS, Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env) IfExpCS

Methods in org.eclipse.ocl.parser with parameters of type IfExp

java.lang.Boolean

ValidationVisitor.visitIfExp(IfExp<C> i) Callback for an IfExp visit.

Uses of IfExp in org.eclipse.ocl.uml.internal

Methods in org.eclipse.ocl.uml.internal that return IfExp

<C> IfExp<C>

OCLFactoryImpl.createIfExp()

Uses of IfExp in org.eclipse.ocl.uml.util

Methods in org.eclipse.ocl.uml.util with parameters of type IfExp

<C> T	UMLSwitch.caseExpressions_IfExp(IfExp<C> object) Returns the result of interpreting the object as an instance of 'If Exp'.
<C> T	UMLSwitch.caseIfExp_1(IfExp<C> object) Deprecated. Since 2.0, override the UMLSwitch.caseExpressions_IfExp(org.eclipse.ocl.expressions.IfExp) method, instead.

Uses of IfExp in org.eclipse.ocl.util

Methods in org.eclipse.ocl.util with parameters of type IfExp

protected java.lang.String

ToStringVisitor.handleIfExp(IfExp<C> ifExp, java.lang.String conditionResult, java.lang.String thenResult, java.lang.String elseResult) Callback for an IfExp visit.

Uses of IfExp in org.eclipse.ocl.utilities

Methods in org.eclipse.ocl.utilities that return IfExp

<C> IfExp<C>

OCLFactory.createIfExp() Returns a new object of class 'If Exp'.

Methods in org.eclipse.ocl.utilities with parameters of type IfExp

protected T	AbstractVisitor.handleIfExp(IfExp<C> ifExp, T conditionResult, T thenResult, T elseResult) Visits the specified if expression with the results of visiting its condition, then, and else expressions.
T	AbstractVisitor.visitIfExp(IfExp<C> ifExp) Visits the if expression's condition, then, and else expressions.
T	Visitor.visitIfExp(IfExp<C> ifExp)