org.eclipse.ocl.examples.pivot
Interface Element

All Superinterfaces:

DomainElement, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, PivotObject, Visitable

All Known Subinterfaces:

Annotation, AnyType, AssociationClass, AssociationClassCallExp, BagType, BooleanLiteralExp, CallExp, CallOperationAction, Class, ClassifierType, CollectionItem, CollectionLiteralExp, CollectionLiteralPart, CollectionRange, CollectionType, Comment, Constraint, ConstructorExp, ConstructorPart, DataType, Detail, Enumeration, EnumerationLiteral, EnumLiteralExp, ExpressionInOCL, Feature, FeatureCallExp, IfExp, IntegerLiteralExp, InvalidLiteralExp, InvalidType, IterateExp, Iteration, IteratorExp, LambdaType, LetExp, Library, LiteralExp, LoopExp, MessageExp, MessageType, Model, MultiplicityElement, NamedElement, Namespace, NavigationCallExp, NullLiteralExp, NumericLiteralExp, OCLExpression, OpaqueExpression, Operation, OperationCallExp, OperationTemplateParameter, OrderedSetType, Package, PackageableElement, Parameter, ParameterableElement, Precedence, PrimitiveLiteralExp, PrimitiveType, Property, PropertyCallExp, RealLiteralExp, SelfType, SendSignalAction, SequenceType, SetType, Signal, State, StateExp, StringLiteralExp, TemplateableElement, TemplateBinding, TemplateParameter, TemplateParameterSubstitution, TemplateParameterType, TemplateSignature, TupleLiteralExp, TupleLiteralPart, TupleType, Type, TypedElement, TypedMultiplicityElement, TypeExp, TypeTemplateParameter, UnlimitedNaturalLiteralExp, UnspecifiedType, UnspecifiedValueExp, ValueSpecification, Variable, VariableDeclaration, VariableExp, VoidType

All Known Implementing Classes:

AnnotationImpl, AnyTypeImpl, AssociationClassCallExpImpl, AssociationClassImpl, BagTypeImpl, BooleanLiteralExpImpl, CallExpImpl, CallOperationActionImpl, ClassifierTypeImpl, ClassImpl, CollectionItemImpl, CollectionLiteralExpImpl, CollectionLiteralPartImpl, CollectionRangeImpl, CollectionTypeImpl, CommentImpl, ConstraintImpl, ConstructorExpImpl, ConstructorPartImpl, DataTypeImpl, DetailImpl, ElementImpl, EnumerationImpl, EnumerationLiteralImpl, EnumLiteralExpImpl, ExpressionInOCLImpl, FeatureCallExpImpl, FeatureImpl, IfExpImpl, IntegerLiteralExpImpl, InvalidLiteralExpImpl, InvalidTypeImpl, IterateExpImpl, IterationImpl, IteratorExpImpl, LambdaTypeImpl, LetExpImpl, LibraryImpl, LiteralExpImpl, LoopExpImpl, MessageExpImpl, MessageTypeImpl, ModelImpl, MultiplicityElementImpl, NamedElementImpl, NamespaceImpl, NavigationCallExpImpl, NullLiteralExpImpl, NumericLiteralExpImpl, OCLExpressionImpl, OpaqueExpressionImpl, OperationCallExpImpl, OperationImpl, OperationTemplateParameterImpl, OrderedSetTypeImpl, PackageableElementImpl, PackageImpl, ParameterableElementImpl, ParameterImpl, PrecedenceImpl, PrimitiveLiteralExpImpl, PrimitiveTypeImpl, PropertyCallExpImpl, PropertyImpl, RealLiteralExpImpl, SelfTypeImpl, SendSignalActionImpl, SequenceTypeImpl, SetTypeImpl, SignalImpl, StateExpImpl, StateImpl, StringLiteralExpImpl, TemplateableElementImpl, TemplateBindingImpl, TemplateParameterImpl, TemplateParameterSubstitutionImpl, TemplateParameterTypeImpl, TemplateSignatureImpl, TupleLiteralExpImpl, TupleLiteralPartImpl, TupleTypeImpl, TupleTypeManager.TuplePart, TypedElementImpl, TypedMultiplicityElementImpl, TypeExpImpl, TypeImpl, TypeTemplateParameterImpl, UnlimitedNaturalLiteralExpImpl, UnspecifiedTypeImpl, UnspecifiedValueExpImpl, ValueSpecificationImpl, VariableDeclarationImpl, VariableExpImpl, VariableImpl, VoidTypeImpl

public interface Element
extends PivotObject, Visitable, DomainElement

A representation of the model object 'Element'.

See Also:

PivotPackage.getElement()

Generated

Model

abstract="true" superTypes="org.eclipse.ocl.examples.pivot.Visitable"

Method Summary

org.eclipse.emf.common.util.EList<Element>	allOwnedElements()
Comment	createOwnedComment() Creates a new Comment and appends it to the 'Owned Comment' containment reference list.
org.eclipse.emf.ecore.EObject	getETarget()
org.eclipse.emf.common.util.EList<Comment>	getOwnedComment() Returns the value of the 'Owned Comment' containment reference list.
boolean	validateNotOwnSelf(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Elements that must be owned must have an owner.

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.pivot.util.Visitable

accept, eClass

Method Detail

getOwnedComment

org.eclipse.emf.common.util.EList<Comment> getOwnedComment()

Returns the value of the 'Owned Comment' containment reference list. The list contents are of type Comment. The Comments owned by this element.

Returns:

the value of the 'Owned Comment' containment reference list.

See Also:

PivotPackage.getElement_OwnedComment()

Generated

Model

containment="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!Element!ownedComment'"

createOwnedComment

Comment createOwnedComment()

Creates a new Comment and appends it to the 'Owned Comment' containment reference list.

Returns:

The new Comment.

See Also:

getOwnedComment()

Generated

allOwnedElements

org.eclipse.emf.common.util.EList<Element> allOwnedElements()

Generated

Model

ordered="false" annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\noclContents()\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.domain.elements.DomainStandardLibrary%> standardLibrary = valueFactory.getStandardLibrary();\n\tfinal <%org.eclipse.ocl.examples.library.executor.ExecutorType%> T_OclElement = <%org.eclipse.ocl.examples.library.oclstdlib.OCLstdlibTables%>.Types._OclElement;\n\tfinal <%org.eclipse.ocl.examples.domain.elements.DomainCollectionType%> T_Set_OclElement_ = standardLibrary.getSetType(T_OclElement);\n\t\n\tfinal <%org.eclipse.ocl.examples.domain.elements.DomainType%> returnType = T_Set_OclElement_;\n\tfinal <%org.eclipse.ocl.examples.domain.values.Value%> result = <%org.eclipse.ocl.examples.pivot.bodies.ElementBodies%>._allOwnedElements_body_.INSTANCE.evaluate(evaluator, returnType, self);\n\t@SuppressWarnings(\"unchecked\")\n\tEList ecoreResult = (EList) result.asEcoreObject();\n\treturn ecoreResult;\n} catch (<%org.eclipse.ocl.examples.domain.evaluation.InvalidValueException%> e) {\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(\"Failed to evaluate org.eclipse.ocl.examples.pivot.bodies.ElementBodies\", e);\n}\n'"

validateNotOwnSelf

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

Elements that must be owned must have an owner.

Generated

Model

annotation="http://www.eclipse.org/emf/2002/GenModel body='/*\nnot allOwnedElements()->includes(self)\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.ElementBodies%>._invariant_not_own_self.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[]{\"Element\", \"not_own_self\", <%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%>.ELEMENT__NOT_OWN_SELF, 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[]{\"Element\", \"not_own_self\", <%org.eclipse.emf.ecore.util.EObjectValidator%>.getObjectLabel(this, context)});\n\tthrow new <%org.eclipse.emf.common.util.WrappedException%>(message, e);\n}\n'"

getETarget

org.eclipse.emf.ecore.EObject getETarget()