org.eclipse.ocl.expressions.operations
Class IfExpOperations

java.lang.Object
  extended by org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      extended by 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

Constructor Summary
protected IfExpOperations()
           
 
Method Summary
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'
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)
 
Methods inherited from class org.eclipse.ocl.expressions.operations.OCLExpressionOperations
accept, getName, getType, setName, setType
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IfExpOperations

protected IfExpOperations()

Generated
Method Detail

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