Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.eclipse.ocl.examples.pivot
Interface IfExp

All Superinterfaces:
DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, TypedElement, Visitable
All Known Implementing Classes:
IfExpImpl
public interface IfExp
extends OCLExpression

A representation of the model object 'If Exp'.

The following features are supported:

See Also:
PivotPackage.getIfExp()
Generated
Model

Method Summary
 OCLExpression createCondition(org.eclipse.emf.ecore.EClass eClass)
          Creates a new OCLExpression and sets the 'Condition' containment reference.
 OCLExpression createElseExpression(org.eclipse.emf.ecore.EClass eClass)
          Creates a new OCLExpression and sets the 'Else Expression' containment reference.
 OCLExpression createThenExpression(org.eclipse.emf.ecore.EClass eClass)
          Creates a new OCLExpression and sets the 'Then Expression' containment reference.
 OCLExpression getCondition()
          Returns the value of the 'Condition' containment reference.
 OCLExpression getElseExpression()
          Returns the value of the 'Else Expression' containment reference.
 OCLExpression getThenExpression()
          Returns the value of the 'Then Expression' containment reference.
 void setCondition(OCLExpression value)
          Sets the value of the 'Condition' containment reference.
 void setElseExpression(OCLExpression value)
          Sets the value of the 'Else Expression' containment reference.
 void setThenExpression(OCLExpression value)
          Sets the value of the 'Then Expression' containment reference.
 boolean validateConditionTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          The type of the condition of an if expression must be Boolean.
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement
getType, setType
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
createOwnedAnnotation, createOwnedRule, getName, getOwnedAnnotation, getOwnedRule, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, createOwnedComment, getETarget, getOwnedComment, validateNotOwnSelf
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable
accept, eClass
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamedElement
getName
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainExpression
getType
 

Method Detail

getCondition

OCLExpression getCondition()
Returns the value of the 'Condition' containment reference.

If the meaning of the 'Condition' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Condition' containment reference.
See Also:
setCondition(OCLExpression), PivotPackage.getIfExp_Condition()
Generated
Model
containment="true" required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!IfExp!condition'"

setCondition

void setCondition(OCLExpression value)
Sets the value of the 'Condition' containment reference.

Parameters:
value - the new value of the 'Condition' containment reference.
See Also:
getCondition()
Generated

createCondition

OCLExpression createCondition(org.eclipse.emf.ecore.EClass eClass)
Creates a new OCLExpression and sets the 'Condition' containment reference.

Parameters:
eClass - The Ecore class of the OCLExpression to create.
Returns:
The new OCLExpression.
See Also:
getCondition()
Generated

getThenExpression

OCLExpression getThenExpression()
Returns the value of the 'Then Expression' containment reference.

If the meaning of the 'Then Expression' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Then Expression' containment reference.
See Also:
setThenExpression(OCLExpression), PivotPackage.getIfExp_ThenExpression()
Generated
Model
containment="true" required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!IfExp!thenExpression'"

setThenExpression

void setThenExpression(OCLExpression value)
Sets the value of the 'Then Expression' containment reference.

Parameters:
value - the new value of the 'Then Expression' containment reference.
See Also:
getThenExpression()
Generated

createThenExpression

OCLExpression createThenExpression(org.eclipse.emf.ecore.EClass eClass)
Creates a new OCLExpression and sets the 'Then Expression' containment reference.

Parameters:
eClass - The Ecore class of the OCLExpression to create.
Returns:
The new OCLExpression.
See Also:
getThenExpression()
Generated

getElseExpression

OCLExpression getElseExpression()
Returns the value of the 'Else Expression' containment reference.

If the meaning of the 'Else Expression' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Else Expression' containment reference.
See Also:
setElseExpression(OCLExpression), PivotPackage.getIfExp_ElseExpression()
Generated
Model
containment="true" required="true" ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel get='throw new UnsupportedOperationException(); // FIXME Unimplemented http://www.eclipse.org/ocl/3.1.0/Pivot!IfExp!elseExpression'"

setElseExpression

void setElseExpression(OCLExpression value)
Sets the value of the 'Else Expression' containment reference.

Parameters:
value - the new value of the 'Else Expression' containment reference.
See Also:
getElseExpression()
Generated

createElseExpression

OCLExpression createElseExpression(org.eclipse.emf.ecore.EClass eClass)
Creates a new OCLExpression and sets the 'Else Expression' containment reference.

Parameters:
eClass - The Ecore class of the OCLExpression to create.
Returns:
The new OCLExpression.
See Also:
getElseExpression()
Generated

validateConditionTypeIsBoolean

boolean validateConditionTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       java.util.Map<java.lang.Object,java.lang.Object> context)
The type of the condition of an if expression must be Boolean.

Generated
Model
annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nself.condition.type = Boolean\n\052/\ntry {\n\tfinal <%org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator%> evaluator = new <%org.eclipse.ocl.examples.library.ecore.EcoreExecutorManager%>(this, null, <%org.eclipse.ocl.examples.pivot.PivotTables%>.LIBRARY);\n\tfinal <%org.eclipse.ocl.examples.domain.values.ValueFactory%> valueFactory = evaluator.getValueFactory();\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> self = valueFactory.valueOf(this);\n\tfinal <%org.eclipse.ocl.examples.library.executor.ExecutorType%> T_Boolean = <%org.eclipse.ocl.examples.library.oclstdlib.OCLstdlibTables%>.Types._Boolean;\n\t\n\tfinal <%org.eclipse.ocl.examples.domain.elements.DomainType%> returnType = T_Boolean;\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> result = <%org.eclipse.ocl.examples.pivot.bodies.IfExpBodies%>._invariant_ConditionTypeIsBoolean.INSTANCE.evaluate(evaluator, returnType, self);\n\tfinal boolean resultIsNull = result.isNull();\n\tif (!resultIsNull && result.asBoolean()) {\t// true => true, false/null => dropthrough, invalid => exception\n\t\treturn true;\n\t}\n\tif (diagnostics != null) {\n\t\tint severity = resultIsNull ? <%org.eclipse.emf.common.util.Diagnostic%>.ERROR : <%org.eclipse.emf.common.util.Diagnostic%>.WARNING;\n\t\tString message = <%org.eclipse.osgi.util.NLS%>.bind(<%org.eclipse.ocl.examples.domain.messages.EvaluatorMessages%>.ValidationConstraintIsNotSatisfied_ERROR_, new Object[]{\"IfExp\", \"ConditionTypeIsBoolean\", <%org.eclipse.emf.ecore.util.EObjectValidator%>.getObjectLabel(this, context)});\n\t diagnostics.add(new <%org.eclipse.emf.common.util.BasicDiagnostic%>(severity, <%org.eclipse.ocl.examples.pivot.util.PivotValidator%>.DIAGNOSTIC_SOURCE, <%org.eclipse.ocl.examples.pivot.util.PivotValidator%>.IF_EXP__CONDITION_TYPE_IS_BOOLEAN, message, new Object [] { this }));\n\t}\n\treturn false;\n} catch (<%org.eclipse.ocl.examples.domain.evaluation.InvalidValueException%> e) {\n\tString message = <%org.eclipse.osgi.util.NLS%>.bind(<%org.eclipse.ocl.examples.domain.messages.EvaluatorMessages%>.ValidationEvaluationFailed_ERROR_, new Object[]{\"IfExp\", \"ConditionTypeIsBoolean\", <%org.eclipse.emf.ecore.util.EObjectValidator%>.getObjectLabel(this, context)});\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(message, e);\n}\n'"
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD