Feature #3019: [NoVal rework] collection issue
behaviour when a NoVal input port is read
If an action in a transition is of the form O = f(I), where f is some function, then what should be the value of output when input is NoVal ?
AF3 behaviour and its formal spec is not consistent in this respect.
IMO, an analysis should be developed to check that every input port which is read in a transition is also checked for "not NoVal" in the transition guard.
At present doing a "hack" in case the function f is identity, i.e., the action is of the form O=I. In this case assigning O_present = I_present.
#1 Updated by Vivek Nigam over 2 years ago
- Status changed from New to In Progress
- Assignee changed from Vivek Nigam to Anonymous
- Target version changed from AF3 2.13 RC1 (Feature Freeze) to AF3 2.14 RC1 (Feature Freeze)
This is not clear whether it is really something we want to do. There is a constraint checking whether NoVal is admissible.