org.eclipse.ocl.examples.pivot
Interface EnumLiteralExp

All Superinterfaces:

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

All Known Implementing Classes:

EnumLiteralExpImpl

public interface EnumLiteralExp
extends LiteralExp

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

The following features are supported:

• Referred Enum Literal

See Also:

PivotPackage.getEnumLiteralExp()

Generated

Model

Method Summary

EnumerationLiteral	getReferredEnumLiteral() Returns the value of the 'Referred Enum Literal' reference.
void	setReferredEnumLiteral(EnumerationLiteral value) Sets the value of the 'Referred Enum Literal' reference.
boolean	validateTypeIsEnumerationType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) The type of an enum Literal expression is the type of the referred literal.

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

getReferredEnumLiteral

EnumerationLiteral getReferredEnumLiteral()

Returns the value of the 'Referred Enum Literal' reference.

If the meaning of the 'Referred Enum Literal' reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Referred Enum Literal' reference.

See Also:

setReferredEnumLiteral(EnumerationLiteral), PivotPackage.getEnumLiteralExp_ReferredEnumLiteral()

Generated

Model

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!EnumLiteralExp!referredEnumLiteral'"

setReferredEnumLiteral

void setReferredEnumLiteral(EnumerationLiteral value)

Sets the value of the 'Referred Enum Literal' reference.

Parameters:

value - the new value of the 'Referred Enum Literal' reference.

See Also:

getReferredEnumLiteral()

Generated

validateTypeIsEnumerationType

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

The type of an enum Literal expression is the type of the referred literal.

Generated

Model

annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nself.type = referredEnumLiteral.enumeration\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.EnumLiteralExpBodies%>._invariant_TypeIsEnumerationType.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[]{\"EnumLiteralExp\", \"TypeIsEnumerationType\", <%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%>.ENUM_LITERAL_EXP__TYPE_IS_ENUMERATION_TYPE, 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[]{\"EnumLiteralExp\", \"TypeIsEnumerationType\", <%org.eclipse.emf.ecore.util.EObjectValidator%>.getObjectLabel(this, context)});\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(message, e);\n}\n'"