org.eclipse.ocl.examples.pivot
Interface BooleanLiteralExp

All Superinterfaces:

DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, LiteralExp, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, PrimitiveLiteralExp, TypedElement, Visitable

All Known Implementing Classes:

BooleanLiteralExpImpl

public interface BooleanLiteralExp
extends PrimitiveLiteralExp

A representation of the model object 'Boolean Literal Exp'.

The following features are supported:

• Boolean Symbol

See Also:

PivotPackage.getBooleanLiteralExp()

Generated

Model

Method Summary

boolean	isBooleanSymbol() Returns the value of the 'Boolean Symbol' attribute.
boolean	isSetBooleanSymbol() Returns whether the value of the 'Boolean Symbol' attribute is set.
void	setBooleanSymbol(boolean value) Sets the value of the 'Boolean Symbol' attribute.
void	unsetBooleanSymbol() Unsets the value of the 'Boolean Symbol' attribute.
boolean	validateTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) The type of a boolean Literal expression is the type 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

isBooleanSymbol

boolean isBooleanSymbol()

Returns the value of the 'Boolean Symbol' attribute.

If the meaning of the 'Boolean Symbol' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Boolean Symbol' attribute.

See Also:

isSetBooleanSymbol(), unsetBooleanSymbol(), setBooleanSymbol(boolean), PivotPackage.getBooleanLiteralExp_BooleanSymbol()

Generated

Model

unsettable="true" dataType="org.eclipse.ocl.examples.pivot.Boolean" 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!BooleanLiteralExp!booleanSymbol'"

setBooleanSymbol

void setBooleanSymbol(boolean value)

Sets the value of the 'Boolean Symbol' attribute.

Parameters:

value - the new value of the 'Boolean Symbol' attribute.

See Also:

isSetBooleanSymbol(), unsetBooleanSymbol(), isBooleanSymbol()

Generated

unsetBooleanSymbol

void unsetBooleanSymbol()

Unsets the value of the 'Boolean Symbol' attribute.

See Also:

isSetBooleanSymbol(), isBooleanSymbol(), setBooleanSymbol(boolean)

Generated

isSetBooleanSymbol

boolean isSetBooleanSymbol()

Returns whether the value of the 'Boolean Symbol' attribute is set.

Returns:

whether the value of the 'Boolean Symbol' attribute is set.

See Also:

unsetBooleanSymbol(), isBooleanSymbol(), setBooleanSymbol(boolean)

Generated

validateTypeIsBoolean

boolean validateTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              java.util.Map<java.lang.Object,java.lang.Object> context)

The type of a boolean Literal expression is the type Boolean.

Generated

Model

annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nself.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.BooleanLiteralExpBodies%>._invariant_TypeIsBoolean.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[]{\"BooleanLiteralExp\", \"TypeIsBoolean\", <%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%>.BOOLEAN_LITERAL_EXP__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[]{\"BooleanLiteralExp\", \"TypeIsBoolean\", <%org.eclipse.emf.ecore.util.EObjectValidator%>.getObjectLabel(this, context)});\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(message, e);\n}\n'"