Added an extension point for irep ids

NathanJPhillips · Apr 25, 2018 · 6670703 · 6670703
1 parent 38782bd
commit 6670703
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -666,5 +666,13 @@ IREP_ID_TWO(overlay_class, java::com.diffblue.OverlayClassImplementation)
 IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
 IREP_ID_ONE(annotations)
 
+// Projects depending on this code base that wish to extend the list of
+// available ids should provide a file local_irep_ids.h in their source tree and
+// add -D'LOCAL_IREP_IDS=<project/local_irep_ids.h>' to their compiler command
+// line.
+#ifdef LOCAL_IREP_IDS
+#include LOCAL_IREP_IDS
+#endif
+
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO