Skip to content

Commit ae92664

Browse files
authored
Update ScopeFinderTarget.java
The key issue here is the use of @nullable with void. This is problematic because: 1. The @nullable annotation is meant to indicate that a method can return null 2. However, void means the method doesn't return anything at all 3. Therefore, @nullable on a void method is meaningless and incorrect In most IDEs, this would likely trigger a warning because it's a nonsensical combination. The method itself (printing "in method") would work fine, but the annotation serves no purpose and is technically incorrect.
1 parent 1388b67 commit ae92664

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/systemTest/targets/soot/asm/ScopeFinderTarget.java

-1
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,6 @@ public ScopeFinderTarget() {
4343
field = new Object();
4444
}
4545

46-
@Nullable
4746
public void method() {
4847
System.out.println("in method");
4948
}

0 commit comments

Comments
 (0)