stage3/TODO
author mjsousa
Wed, 21 Aug 2013 16:08:50 +0100
changeset 836 149398f525a7
parent 413 a9d377c4987a
permissions -rw-r--r--
make sure all IL operands are narrowed (datatype checking algorithm)
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