Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
Bug 361948 - no availability of sent data behind entry and exit points
Summary: no availability of sent data behind entry and exit points
Status: CLOSED DUPLICATE of bug 383800
Alias: None
Product: eTrice
Classification: Modeling
Component: Generators (show other bugs)
Version: 0.1.0   Edit
Hardware: PC Windows 7
: P3 enhancement (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-10-25 11:43 EDT by Henrik Rentz-Reichert CLA
Modified: 2012-10-12 03:42 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 Henrik Rentz-Reichert CLA 2011-10-25 11:43:29 EDT
The transition chain semantic should be such that sent data are available only inside the state where the chain originates. (Choice points thus are allowed here.)
This is a point for the generator. But maybe also for validation.
Comment 1 Henrik Rentz-Reichert CLA 2012-07-17 08:34:25 EDT
In bug 383800 there is a definition of data availability and how it is currently implemented.

*** This bug has been marked as a duplicate of bug 383800 ***
Comment 2 Henrik Rentz-Reichert CLA 2012-10-12 03:42:52 EDT
Part of eTrice 0.2