org.eclipse.ocl.expressions.operations
Class IfExpOperations
java.lang.Object
org.eclipse.ocl.expressions.operations.OCLExpressionOperations
org.eclipse.ocl.expressions.operations.IfExpOperations
public class IfExpOperations
- extends OCLExpressionOperations
A static utility class that provides operations related to 'If Exp' model objects.
The following operations are supported:
- Generated
Method Summary |
static
|
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
|
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) |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IfExpOperations
protected IfExpOperations()
-
- Generated
checkBooleanCondition
public static <C> boolean 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'
- Parameters:
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.
- Generated
- NOT
checkIfType
public static <C> boolean 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)
- Parameters:
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.
- Generated
- NOT