Skip to content

Commit 774bfdb

Browse files
author
Thomas Kiley
committed
Correcting type in the extendor class
1 parent 46cbec6 commit 774bfdb

File tree

7 files changed

+3
-3
lines changed

7 files changed

+3
-3
lines changed
Binary file not shown.
Binary file not shown.

unit/java_bytecode/java_bytecode_convert_class/ExampleClasses.java

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ void concreteMethod() {
1919
}
2020
}
2121

22-
class Extendor extends A {
22+
class Extender extends A {
2323
void method() {
2424

2525
}
Binary file not shown.
Binary file not shown.
Binary file not shown.

unit/java_bytecode/java_bytecode_convert_class/convert_abstract_class.cpp

+2-2
Original file line numberDiff line numberDiff line change
@@ -90,12 +90,12 @@ SCENARIO("java_bytecode_convert_abstract_class",
9090
{
9191
const symbol_tablet &new_symbol_table=
9292
load_java_class(
93-
"Extendor",
93+
"Extender",
9494
"./java_bytecode/java_bytecode_convert_class");
9595
THEN("The symbol type should not be abstract")
9696
{
9797
const symbolt &class_symbol=
98-
new_symbol_table.lookup("java::Extendor");
98+
new_symbol_table.lookup("java::Extender");
9999
const typet &symbol_type=class_symbol.type;
100100

101101
REQUIRE(symbol_type.id()==ID_struct);

0 commit comments

Comments
 (0)