stage3/TODO
author Mario de Sousa <msousa@fe.up.pt>
Sat, 18 Feb 2012 21:03:01 +0000
changeset 448 1bd18fc06911
parent 413 a9d377c4987a
permissions -rw-r--r--
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
413
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     1
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     2
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     3
 Things that we must still check for in stage 3:
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     4
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     5
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     6
1) Handling of CONSTANTs:
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     7
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     8
 1.a) "Any program organization unit attempts to modify the value of a variable that has been declared with the CONSTANT qualifier;"
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     9
 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."
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    10
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    11
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    12
a9d377c4987a Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    13