eclipse / gemoc-studio-modeldebugging

gemoc-studio-modeldebugging
Eclipse Public License 1.0
6 stars 15 forks source link

Fix several trace consistency and serialization issues #215

Closed ebousse closed 2 years ago

ebousse commented 2 years ago

Description

Trace serialization was having some trouble in some important cases:

  1. When the abstract syntax metamodel did not include the eoperations, leaving dangling cross references from the MSEs dynamically created during the execution
  2. The trace constructor was mistakenly creating links from trace elements to dynamic transient objects, also leaving dangling cross references

This PR make sure to serialize created eoperations in the MSE model (1), and fixes the trace constructor to avoid refs to dynamic objects (2)

With this PR, we should now be able to serialize traces from MiniJava models.

Changes

ebousse commented 2 years ago

CI looks OK https://ci.eclipse.org/gemoc/job/gemoc-studio-integration/job/trace_fixes/