Merge pull request #2912 from diffblue/allredj/get-final-const

Joel Allred · web-flow · commit f3dd86d1c753 · 2018-09-06T23:35:02.000+01:00
Make class_typet::get_final const
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
@@ -161,7 +161,7 @@ class java_class_typet:public class_typet
     return set(ID_is_anonymous, is_anonymous_class);
   }
 
-  bool get_final()
+  bool get_final() const
   {
     return get_bool(ID_final);
   }

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ class java_class_typet:public class_typet`
`161`	`161`	`return set(ID_is_anonymous, is_anonymous_class);`
`162`	`162`	`}`
`163`	`163`
`164`		`- bool get_final()`
	`164`	`+ bool get_final() const`
`165`	`165`	`{`
`166`	`166`	`return get_bool(ID_final);`
`167`	`167`	`}`