Package | Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IfExp
A representation of the model object 'If Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
IfExpImpl
An implementation of the model object 'If Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C> IfExp<C> |
OCLFactoryImpl.createIfExp() |
Modifier and Type | Method and Description |
---|---|
<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<C>) method, instead. |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PartialEvaluationVisitorImpl.visitIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ie) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
ContextTypeRetriever.visitIfExp(IfExp<org.eclipse.emf.ecore.EClassifier> ifExp) |
Modifier and Type | Method and Description |
---|---|
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. |
Modifier and Type | Method and Description |
---|---|
<C> IfExp<C> |
ExpressionsFactory.createIfExp()
Returns a new object of class 'If Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C> IfExp<C> |
ExpressionsFactoryImpl.createIfExp() |
Modifier and Type | Method and Description |
---|---|
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)
|
Modifier and Type | Method and Description |
---|---|
<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) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
TracingEvaluationVisitor.visitIfExp(IfExp<C> ifExp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitIfExp(IfExp<C> exp) |
Modifier and Type | Method and Description |
---|---|
<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
|
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
ValidationVisitor.visitIfExp(IfExp<C> i)
Callback for an IfExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C> IfExp<C> |
OCLFactoryImpl.createIfExp() |
Modifier and Type | Method and Description |
---|---|
<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<C>) method, instead. |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
<C> IfExp<C> |
OCLFactory.createIfExp()
Returns a new object of class 'If Exp'.
|
Modifier and Type | Method and Description |
---|---|
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) |