Skip to content

Commit 5b2c2ed

Browse files
Revert "Adds another test for inner class accessibility"
This reverts commit 1a8190e.
1 parent 5f81f5b commit 5b2c2ed

15 files changed

+6
-0
lines changed
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

jbmc/unit/java_bytecode/java_bytecode_parser/InnerClasses.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,7 @@ private PrivateDoublyNestedInnerClass(int i) {
119119
}
120120
}
121121

122+
<<<<<<< HEAD
122123
class OuterClassMostRestrictiveDeeplyNested {
123124
public class SinglyNestedPublicClass {
124125
int i;
@@ -154,6 +155,8 @@ private PrivateDoublyNestedInnerClass(int i) {
154155

155156
=======
156157
>>>>>>> parent of d5cb4f806... Adds another test for deeply nested classes.
158+
=======
159+
>>>>>>> parent of 1a8190e3b... Adds another test for inner class accessibility
157160
class ContainsAnonymousClass {
158161
interface InnerInterface {
159162
int i = 0;

jbmc/unit/java_bytecode/java_bytecode_parser/parse_java_attributes.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -288,6 +288,7 @@ SCENARIO(
288288
}
289289

290290
GIVEN(
291+
<<<<<<< HEAD
291292
"Some class files where the outer class is more restrictive than the first "
292293
"inner class")
293294
{
@@ -367,6 +368,8 @@ SCENARIO(
367368
GIVEN(
368369
=======
369370
>>>>>>> parent of d5cb4f806... Adds another test for deeply nested classes.
371+
=======
372+
>>>>>>> parent of 1a8190e3b... Adds another test for inner class accessibility
370373
"Some package-private class files in the class path with anonymous classes")
371374
{
372375
const symbol_tablet &new_symbol_table = load_java_class(

0 commit comments

Comments
 (0)