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:

• Check Boolean Condition
• Check If Type

Generated

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IfExpOperations()

Method Summary

Methods

Modifier and Type	Method and Description
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