Temp checkin for checking components

thk123 · thk123 · commit f1b4f98cea1f · 2018-03-27T10:24:58.000+01:00
diff --git a/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp b/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp
@@ -106,6 +106,9 @@ void validate_lamdba_assignement(
     Catch::Matchers::Vector::ContainsElementMatcher<irep_idt>{
       tmp_class_identifier});
 
+  require_type::require_component(tmp_lambda_class_type, "@java.lang.Object");
+  // TODO verify the components of the class have been set correctly
+
   THEN("The function in the class should call the lambda method")
   {
     const irep_idt method_identifier =

Original file line number	Diff line number	Diff line change
`@@ -106,6 +106,9 @@ void validate_lamdba_assignement(`
`106`	`106`	`Catch::Matchers::Vector::ContainsElementMatcher<irep_idt>{`
`107`	`107`	`tmp_class_identifier});`
`108`	`108`
	`109`	`+ require_type::require_component(tmp_lambda_class_type, "@java.lang.Object");`
	`110`	`+ // TODO verify the components of the class have been set correctly`
	`111`	`+`
`109`	`112`	`THEN("The function in the class should call the lambda method")`
`110`	`113`	`{`
`111`	`114`	`const irep_idt method_identifier =`