Skip to content

Commit

Permalink
removed warnings in testcases
Browse files Browse the repository at this point in the history
  • Loading branch information
JonasKlauke committed Nov 17, 2023
1 parent 4e83872 commit 3113dcf
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 24 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -741,7 +741,7 @@ public void testStopAtLibraryClass() {
CallGraphAlgorithm algorithm = createAlgorithm(view);
CallGraph cg = algorithm.initialize(Collections.singletonList(mainMethodSignature));

assertTrue(!cg.callsFrom(mainMethodSignature).isEmpty());
assertFalse(cg.callsFrom(mainMethodSignature).isEmpty());

SootClass<?> libraryClass =
view.getClass(view.getIdentifierFactory().getClassType("lib.Library")).orElse(null);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -194,38 +194,28 @@ public void testMiscExample1() {
+ "from <example1.B: void <init>()>"
+ "from <example1.D: void <init>()>"
+ "from <example1.E: void <init>()>"
+ ""
+ "<example1.A: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.B: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.B: void staticDispatch(java.lang.Object)>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.B: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.C: void <init>()>:"
+ "to <example1.D: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.D: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.C: void <init>()>"
+ ""
+ "<example1.D: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.E: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.E: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.Example: void main(java.lang.String[])>:"
+ "to <example1.A: void virtualDispatch()>"
+ "to <example1.B: void <init>()>"
Expand All @@ -236,10 +226,8 @@ public void testMiscExample1() {
+ "to <example1.E: void <init>()>"
+ "to <example1.E: void virtualDispatch()>"
+ "to <java.lang.Object: void <clinit>()>"
+ ""
+ "<java.lang.Object: void <clinit>()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<java.lang.Object: void <init>()>:"
+ "from <example1.A: void <init>()>");
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -186,35 +186,26 @@ public void testMiscExample1() {
+ "from <example1.B: void <init>()>"
+ "from <example1.D: void <init>()>"
+ "from <example1.E: void <init>()>"
+ ""
+ "<example1.B: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.B: void staticDispatch(java.lang.Object)>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.B: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.C: void <init>()>:"
+ "to <example1.D: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.D: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.C: void <init>()>"
+ ""
+ "<example1.D: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.E: void <init>()>:"
+ "to <example1.A: void <init>()>"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.E: void virtualDispatch()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<example1.Example: void main(java.lang.String[])>:"
+ "to <example1.B: void <init>()>"
+ "to <example1.B: void staticDispatch(java.lang.Object)>"
Expand All @@ -224,10 +215,8 @@ public void testMiscExample1() {
+ "to <example1.E: void <init>()>"
+ "to <example1.E: void virtualDispatch()>"
+ "to <java.lang.Object: void <clinit>()>"
+ ""
+ "<java.lang.Object: void <clinit>()>:"
+ "from <example1.Example: void main(java.lang.String[])>"
+ ""
+ "<java.lang.Object: void <init>()>:"
+ "from <example1.A: void <init>()>");
}
Expand Down

0 comments on commit 3113dcf

Please sign in to comment.