Update of Python driver script to correctly present data of extended instrumentation props.

Author: marek-trtik

security-scanner/presentation.py

@@ -139,7 +139,45 @@ def build_HTML_interface_to_slicer_instrumentation_props(props,fname):
     with open(fname,"w") as ofile:
         ofile.write(get_html_prefix("Instrumentation props"))
 
-        ofile.write("<h2>Definition of states of the instrumentation automaton</h2>\n")
+        ofile.write("<h1>Instrumentation properties</h1>\n")
+
+        ofile.write("<p>\n")
+        ofile.write("These data represent a complete information for instrumentation\n")
+        ofile.write("of shadow variables and related program statements into the GOTO program.\n")
+        ofile.write("</p>\n")
+
+        ofile.write("<h2>Definition of data types for instrumentation</h2>\n")
+
+        ofile.write("<p>\n")
+        ofile.write("This is a list of program types which will be instrumented by shadow variables\n")
+        ofile.write("identified here by the corresponding names of tokens.\n")
+        ofile.write("</p>\n")
+
+        ofile.write("<table>\n")
+        ofile.write("  <tr>\n")
+        ofile.write("    <th>Type name</th>\n")
+        ofile.write("    <th>Shadow variables</th>\n")
+        ofile.write("    <th>Create sub-class?</th>\n")
+        ofile.write("  </tr>\n")
+        for dtype in props["datatypes"]:
+            ofile.write("  <tr>\n")
+            ofile.write("    <td>" + escape_text_to_HTML(dtype["type_name"]) + "</td>\n")
+            ofile.write("    <td>\n")
+            ofile.write("       <ul>\n")
+            for var in dtype["shadow_vars"]:
+                ofile.write("       <li>" + escape_text_to_HTML(var) + "</li>\n")
+            ofile.write("       </ul>\n")
+            ofile.write("    </td>\n")
+            ofile.write("    <td align=\"center\">" + str(dtype["make_subclass"]) + "</td>\n")
+            ofile.write("  </tr>\n")
+        ofile.write("</table>\n")
+
+        ofile.write("<h2>Definition of instrumentation statements</h2>\n")
+
+        ofile.write("<p>\n")
+        ofile.write("This is a list of program locations and descriptions of program statemenets\n")
+        ofile.write("to be instrumented (at those locations).\n")
+        ofile.write("</p>\n")
 
         state_index = 0
         for loc in props["location_props"]: