File tree 1 file changed +15
-12
lines changed
unit/java_bytecode/java_bytecode_parse_generics
1 file changed +15
-12
lines changed Original file line number Diff line number Diff line change @@ -173,18 +173,21 @@ SCENARIO(
173
173
new_symbol_table
174
174
.has_symbol (" java::generics$bound_element.f:()Ljava/lang/Number;" ));
175
175
176
- THEN (" The method should have generic return type" )
177
- {
178
- const symbolt &method_symbol=
179
- new_symbol_table
180
- .lookup (" java::generics$bound_element.f:()Ljava/lang/Number;" )
181
- .value ().get ();
182
- const typet &symbol_type=method_symbol.type ;
183
-
184
- REQUIRE (symbol_type.id ()==ID_code);
185
-
186
- const code_typet &code=to_code_type (symbol_type);
187
- }
176
+ // TODO: methods should have generic return type (the tests needs to be
177
+ // extended), reintroduce when the issue of signature/descriptor for methods is
178
+ // resolved
179
+ // THEN("The method should have generic return type")
180
+ // {
181
+ // const symbolt &method_symbol=
182
+ // new_symbol_table
183
+ // .lookup("java::generics$bound_element.f:()Ljava/lang/Number;")
184
+ // .value().get();
185
+ // const typet &symbol_type=method_symbol.type;
186
+ //
187
+ // REQUIRE(symbol_type.id()==ID_code);
188
+ //
189
+ // const code_typet &code=to_code_type(symbol_type);
190
+ // }
188
191
189
192
REQUIRE (
190
193
new_symbol_table
You can’t perform that action at this time.
0 commit comments