Merge pull request #2259 from smowton/smowton/feature/note-abstract-m…

…ethods Note when symbol-table entries are abstract methods
diffblue · Jun 1, 2018 · 2815e84 · 2815e84
2 parents 09b8cf7 + 15ed961
commit 2815e84
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -404,6 +404,9 @@ void java_bytecode_convert_method_lazy(
   }
 
   method_symbol.type=member_type;
+  // Not used in jbmc at present, but other codebases that use jbmc as a library
+  // use this information.
+  method_symbol.type.set(ID_C_abstract, m.is_abstract);
   symbol_table.add(method_symbol);
 }
 

diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -664,6 +664,7 @@ IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
 IREP_ID_TWO(C_annotations, #annotations)
 IREP_ID_ONE(final)
 IREP_ID_ONE(bits_per_byte)
+IREP_ID_TWO(C_abstract, #abstract)
 
 // 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