public class IfExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Boolean Condition
Check If Type
Modifier and Type | Method and Description |
---|---|
static <C> boolean |
checkBooleanCondition(IfExp<C> ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.condition.type.oclIsKindOf(PrimitiveType) and self.condition.type.name = 'Boolean'
|
static <C> boolean |
checkIfType(IfExp<C> ifExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.type = thenExpression.type.commonSuperType(elseExpression.type)
|
public static <C> boolean checkBooleanCondition(IfExp<C> ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
ifExp
- The receiving 'If Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C> boolean checkIfType(IfExp<C> ifExp, DiagnosticChain diagnostics, Map<Object,Object> context)
ifExp
- The receiving 'If Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.