Skip to content

Commit

Permalink
Javadoc fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
johspaeth committed Oct 27, 2023
1 parent 0fdc429 commit 02a1e90
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
3 changes: 1 addition & 2 deletions boomerangPDS/src/main/java/boomerang/Context.java
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,7 @@
import boomerang.jimple.Statement;

/**
* A context is stored within the context graph. And must at least have a statement associated with it. This will be
* used by the {@link ContextRequester} to retrieve more contexts upon need.
* A context is stored within the context graph. And must at least have a statement associated with it.
*
* @author "Johannes Spaeth"
*
Expand Down
4 changes: 2 additions & 2 deletions boomerangPDS/src/main/java/boomerang/results/NullPointer.java
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@ public SootMethod getMethod() {
* foo(y); //call site context "c2"
* }
* foo(Object z){
* z.toString() //<- Variable z is null here under context c1, but *not* under c2)
* z.toString() // Variable z is null here under context c1, but *not* under c2)
* }
* </pre>
*
Expand Down Expand Up @@ -121,7 +121,7 @@ public PAutomaton<Statement, INode<Val>> getOpeningContext() {
* } else {
* x = returnNotNull(); //b2
* }
* x.toString() //<- Variable x is null here when the program executes along branch b1
* x.toString() // Variable x is null here when the program executes along branch b1
* }
* Object returnNull(){
* Object y = null;
Expand Down

0 comments on commit 02a1e90

Please sign in to comment.