stage3/TODO
author Mario de Sousa <msousa@fe.up.pt>
Wed, 03 Apr 2013 19:49:52 +0100
changeset 812 6679b6b21214
parent 413 a9d377c4987a
permissions -rw-r--r--
Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.


 Things that we must still check for in stage 3:


1) Handling of CONSTANTs:

 1.a) "Any program organization unit attempts to modify the value of a variable that has been declared with the CONSTANT qualifier;"
 1.b) From table 16.a "The CONSTANT qualifier shall not be used in the declaration of function block instances as described in 2.5.2.1."