Temp checkin for checking components

thk123 · thk123 · commit df895d3f814d · 2018-03-27T11:01:59.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
@@ -105,6 +105,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
`@@ -105,6 +105,9 @@ void validate_lamdba_assignement(`
`105`	`105`	`Catch::Matchers::Vector::ContainsElementMatcher<irep_idt>{`
`106`	`106`	`tmp_class_identifier});`
`107`	`107`
	`108`	`+ require_type::require_component(tmp_lambda_class_type, "@java.lang.Object");`
	`109`	`+ // TODO verify the components of the class have been set correctly`
	`110`	`+`
`108`	`111`	`THEN("The function in the class should call the lambda method")`
`109`	`112`	`{`
`110`	`113`	`const irep_idt method_identifier =`