search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[pivot] Change "derivation" properties to constraints #1576

Open eclipse-ocl-bot opened 2 months ago

eclipse-ocl-bot commented 2 months ago

| --- | --- | | Bugzilla Link | 471856 | | Status | NEW | | Importance | P3 normal | | Reported | Jul 04, 2015 15:11 EDT | | Modified | Jan 20, 2019 13:26 EDT | | See also | 412913, 543608 | | Reporter | Ed Willink |

Description

OCLinEcore "initial"/"derivation" are confused wirt Property usage.

OMG is a bit clearer;one initializer and derived value constraints.

Change to allow one "initial" initializer expression, and any number of "derivation" constraints that differ from class invariants only in having an associated Property.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Jan 19, 2019 10:06

Bug 543608 considers the related Complete OCL Property init:/der: constructs.

Bug 412913 considers the related UML Property defaultValue(Expression) constructs.

eclipse-ocl-bot commented 2 months ago

By Ed Willink on Jan 20, 2019 13:26

Bug 543608 removes the init/derive dstinction, uses only the first one, and warns of mutiples.

Probably need to propagate init/derive to any created Property.May need a CS field.