Bug 509309 - [pivot] Pivot Metamodel changes
Summary: [pivot] Pivot Metamodel changes
Status: NEW
Alias: None
Product: OCL
Classification: Modeling
Component: Core (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows NT
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: OCL Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords: plan
: 493371 (view as bug list)
Depends on: 341944 482583 509616 509713 514353 520441 522060 528355 530375 546497 551822 561265 565412 566722 574430 574884 575157 577242 578010 578994 579109 580356 580407 580511 580662 580758 581882 582029 582444 439013 439475 481664 499371 507658 509308 519872 519896 574431
Blocks:
  Show dependency tree
 
Reported: 2016-12-15 13:33 EST by Ed Willink CLA
Modified: 2023-09-21 04:38 EDT (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ed Willink CLA 2016-12-15 13:33:57 EST
This planning bug aggreagtes issues that require a Pivot metamodel change, and so probably cannot be done without a major version change,
Comment 1 Ed Willink CLA 2016-12-19 13:00:36 EST
Bug 509308 residue: 

ShadowExp::value is dead
ShadowExpCS::value is dead
Comment 2 Ed Willink CLA 2017-03-06 04:01:56 EST
Bug 509713#c2, review InvalidEvaluationException, InvalidValueException, RuntimeException inheritance.
Comment 3 Ed Willink CLA 2017-04-01 08:34:50 EDT
Bug 514353 UML's Class::nestedClassifiers needs NestedClass
Comment 4 Ed Willink CLA 2017-04-11 10:08:36 EDT
Why is Element::ownedAnnotations of type Element not Annotation?
Comment 5 Ed Willink CLA 2017-04-29 04:13:28 EDT
Bug 341944 Add transient FeatureCallExp.implementation
Comment 6 Ed Willink CLA 2017-05-10 03:28:44 EDT
Use UML's Expression instead of LanguageExpression
Comment 7 Ed Willink CLA 2017-07-24 12:54:17 EDT
Fold TemplateParameterSubstitutionHelper into LibraryOperation
Comment 8 Ed Willink CLA 2017-08-16 03:01:58 EDT
See also Bug 519896. Rationalize Iteration/Operation.

Operation::bodyExpression => Operation::ownedBody
Iteration::ownedIterators => Operation::ownedParameters + ?? isIterator/IteratorParameter
Iteration::ownedAccumulators => Operation::ownedParameters + ?? isAccumulator/AccumulatorParameter
Comment 9 Ed Willink CLA 2017-12-09 06:22:12 EST
Bug 528355 identifies that PivotObjectImpl.esObject should be an Object to support Ecore pre/post-cpnditions.
Comment 10 Ed Willink CLA 2018-01-26 08:01:30 EST
Bug 530375 identifies that distinct Property::explicitOpposite and Property::implicitOpposite are needed to avoid a custom serialization of the logically transient implicit opposite.
Comment 11 Ed Willink CLA 2018-03-19 15:05:40 EDT
Residue of Bug 532613. Eliminate MorePivotable, Nameable, Pivotable, Visitable, VisitableCS from the ecore/uml models.
Comment 12 Ed Willink CLA 2018-04-19 10:22:43 EDT
(In reply to Ed Willink from comment #8)
> Operation::bodyExpression => Operation::ownedBody

No. See Bug 481664 for QVTb Function considerations.
Comment 13 Ed Willink CLA 2018-06-15 12:08:13 EDT
Eliminate the deprecated Precedence.order/associativity and ExpCS.precedence.
Comment 14 Ed Willink CLA 2019-01-05 09:35:06 EST
Bug 543187 identifies that TemplateParameter.constrainingClasses is a horrible rag-bag. Redesign.
Comment 15 Ed Willink CLA 2019-01-19 05:03:56 EST
Distinct CollectionType.elementType / MapType.keyType/valueType are a pain. Migrate to IterableType.elementType + MapType.valueType.
Comment 16 Ed Willink CLA 2019-04-17 03:30:21 EDT
Bug 546497 replaces OppositePropertyCallExp by PropertyCallExp.isOpposite
Comment 17 Ed Willink CLA 2019-10-07 03:12:16 EDT
Bug 551822 suggests making ExpressionInOCL less redundant when used by Operation.
Comment 18 Ed Willink CLA 2020-03-19 11:32:04 EDT
Bug 561265 identifies that NullValue should extend MapValue, OclVoidTypeId should extend MapTypeId.
Comment 19 Ed Willink CLA 2020-04-09 03:38:21 EDT
Bug 520440 identifies that the selectively boxed return values from the evaluator make a richer SymbolicBooleanValue impossible. Let everything be optionally boxed.
Comment 20 Ed Willink CLA 2020-04-09 03:38:47 EDT
Bug 561941 kicks off OCL 3 where many of these chnages may happen.
Comment 21 Ed Willink CLA 2020-04-11 06:23:35 EDT
Bug 520440 is a run-time not metamodel issue.
Comment 22 Ed Willink CLA 2020-09-07 05:16:54 EDT
Bug 566722 identifies that TemplateParameter.constrainingClasses should be constrainingTypes.

From the Bug 499371 duplicate:

Bug 492801: Move ExpressionInOCL from LanguageExpression derivation to CompleteClass cache element.

CollectionType.elementType is currently changeable, derived. Change to readonly, derived.
Comment 23 Ed Willink CLA 2020-09-07 05:17:19 EDT
*** Bug 493371 has been marked as a duplicate of this bug. ***
Comment 24 Ed Willink CLA 2020-10-09 05:24:30 EDT
Bug 565412 considers how a more Xtext-friendly AS/CS might support persistence of arbitrary comments.
Comment 25 Ed Willink CLA 2021-06-11 03:07:16 EDT
Add known owners such as for CollectionLiteralPart, MapLiteralPart, ShadowPart, TupleLiteralPart
Comment 26 Ed Willink CLA 2021-06-11 03:23:12 EDT
Make TypeExp a LiteralExp
Comment 27 Ed Willink CLA 2021-06-24 02:41:43 EDT
Bug 574430 provides an approach to eliminate CompleteClass etc.

Bug 574431 provides an approach to simplify behavioral types.
Comment 28 Ed Willink CLA 2021-07-09 15:54:14 EDT
Add missing CoIteratorVariable
Comment 29 Ed Willink CLA 2021-07-16 04:32:14 EDT
Bug 574884 introduces a Union type.

?? rather similarly an Alias type for Ord(T) as OrderedSet(T).
Comment 30 Ed Willink CLA 2021-08-02 12:11:50 EDT
Bug 575157 identifoes that LambdaType should be an aggregate of Parameter
Comment 31 Ed Willink CLA 2021-08-18 03:25:56 EDT
Add IteratorVariable.owningLoop etc. (Use Let/Iterator/Parameter Variable consistently.)
Comment 32 Ed Willink CLA 2021-11-13 03:38:46 EST
Bug 577242 advocates adding a Map EntryType and making MapLiteralPart a TypedElement.
Comment 33 Ed Willink CLA 2021-12-19 06:55:33 EST
Bug 482583 advocates changing allInstances to an ordered return.
Comment 34 Ed Willink CLA 2022-01-01 04:46:25 EST
Bug 578010 suggests that UML stereotype support such as Class::extenders should be normaliuzed away so that only regular Property are needed.
Comment 35 Ed Willink CLA 2022-02-26 06:17:33 EST
Bug 578994 motivates a PackageOwner abstraction of Model and Package.
Comment 36 Ed Willink CLA 2022-03-06 06:04:31 EST
Bug 579109 identifies the Element.ownedExtensions is yet another property that shoud  be transient.
Comment 37 Ed Willink CLA 2022-07-09 02:33:07 EDT
(In reply to Ed Willink from comment #31)
> Add IteratorVariable.owningLoop etc. (Use Let/Iterator/Parameter Variable
> consistently.)

Bug 580356 identifies a confusion when "this" was added for QVTd; the ParamterVariable was omitted. There can be a very strong Paramter/Variable distinction eliminating the VariableDeclaration pragmatisms.
Comment 38 Ed Willink CLA 2022-07-20 03:16:22 EDT
Bug 580407 identifies that the bloat of TemplateParameterSubstitution / TemplateBinding could be much simplified. Probably by positionally equivalent
TemplateSignature.ownedParameters: Sequence(TemplateParameter)
TemplateSignature.bindings : Sequence(Class)
rather like EGenericType.
Comment 39 Ed Willink CLA 2022-08-04 03:48:31 EDT
Bug 580511 identifies that the binding of a TemplateParameter should be split off to TemplateParameterType leaving TemplateParameter as a TypedElement declaration.
Comment 40 Ed Willink CLA 2022-09-02 02:29:21 EDT
Bug 580662 cleans up implicit/unnavigable opposite terminology
Comment 41 Ed Willink CLA 2022-09-19 06:00:24 EDT
Bug 580758 resolves the bloat associated with CollectionItem / CollectionLiteralPart and accommodates the pathlogical meta-case of a collection of CollectionRange.
Comment 42 Ed Willink CLA 2022-09-19 06:04:53 EDT
Bug 580755 migrates the Pivot mastership from the *.uml files in the build plugin to PivotStructural.ecore in the pivot plugin.
Comment 43 Ed Willink CLA 2022-11-02 04:05:33 EDT
(In reply to Ed Willink from comment #17)
> Bug 551822 suggests making ExpressionInOCL less redundant when used by
> Operation.

Bug 580356 goes further advocating eliminating the unhelpful duplocation of ParamterVariablle and representedParamter.
Comment 44 Ed Willink CLA 2023-05-01 09:14:47 EDT
Bug 581882 identifies that the *Value interfaces are not assignable to java.lang.Number without a case. Fold the *ValueImpl into *Value.
Comment 45 Ed Willink CLA 2023-06-03 12:26:48 EDT
Bug 582029 introduces a self=true EAnnotation for a Property to workaround the no-cycle eOpposite Ecore limitation.
Comment 46 Ed Willink CLA 2023-09-21 04:38:05 EDT
BUg 582444 argues that a Constraint should be a derived Operation.