Changes between Initial Version and Version 1 of Ticket #2301, comment 2


Ignore:
Timestamp:
2013-08-09T12:44:20Z (11 years ago)
Author:
Lennart Ochel

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2301, comment 2

    initial v1  
    11I guess you mean nremTAout:
    22It should be set to zero due to the specification [section 11.1.2]:
     3
     4An algorithm section is conceptually a code fragment that remains together and the statements of an algorithm section are executed in the order of appearance. Whenever an algorithm section is invoked, all variables appearing on the left hand side of the assignment operator ":=" are initialized (at least conceptually):
    35- A non-discrete variable is initialized with its start value (i.e. the value of the start-attribute).
    46- A discrete variable v is initialized with pre(v).