XXX

Author: igfoo

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -1,4 +1,19 @@
 
+trap_filename(
+    int trap: @trap,
+    string filename: string ref
+);
+
+source_file_uses_trap(
+    string source_file: string ref,
+    int trap_file: @trap ref
+);
+
+in_trap(
+    int element: @element ref,
+    int trap_file: @trap ref
+);
+
 /*- Compilations -*/
 
 /**