Project

General

Profile

Feature #3228

Feature #3019: [NoVal rework] collection issue

behaviour when a NoVal input port is read

Added by Anonymous almost 3 years ago. Updated 7 months ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Target version:
Start date:
12/11/2017
Due date:
% Done:

0%

Estimated time:

Description

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.

History

#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.

#2 Updated by Anonymous almost 2 years ago

  • Assignee changed from Anonymous to Anonymous

#3 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#4 Updated by Johannes Eder 7 months ago

  • Status changed from In Progress to Rejected
  • Assignee deleted (Anonymous)

Also available in: Atom PDF