Note when symbol-table entries are abstract methods

diffblue · May 30, 2018 · 6d3306b · 6d3306b
1 parent 9a0aa9c
commit 6d3306b
Show file tree

Hide file tree

Showing 2 changed files with 2 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,7 @@ void java_bytecode_convert_method_lazy(
   }
 
   method_symbol.type=member_type;
+  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_class, java::com.diffblue.OverlayClassImplementation)
 IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation)
 IREP_ID_TWO(C_annotations, #annotations)
 IREP_ID_ONE(final)
+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
-Original file line number
+Diff line change
@@ Expand Up / @@ -404,6 +404,7 @@ void java_bytecode_convert_method_lazy( @@
       }
       method_symbol.type=member_type;
+      method_symbol.type.set(ID_C_abstract, m.is_abstract);
       symbol_table.add(method_symbol);
     }
@@ Expand Down @@