Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Insert annotations at the correct position for arrays #251

Merged
merged 10 commits into from
Oct 29, 2024
Merged

Insert annotations at the correct position for arrays #251

Changes from 3 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
e59fa6d
Added changes to handle arrays corectly
avenger2597 Oct 9, 2024
e4641c3
Merge branch 'master' of https://github.com/avenger2597/NullAwayAnnot…
avenger2597 Oct 13, 2024
367d145
Updated master branch and added code change in AddTypeUseMarkerAnnota…
avenger2597 Oct 13, 2024
2b8ab91
Using tokenRange to identify range
avenger2597 Oct 19, 2024
1f8ec0e
Updated token retrieval logic and added simple junit
avenger2597 Oct 26, 2024
b58ca67
Update test case to match expected outcome
avenger2597 Oct 28, 2024
b0848ca
reformat
nimakarimipour Oct 29, 2024
883fc4e
fix issue with component type
nimakarimipour Oct 29, 2024
8a81e90
add unit test
nimakarimipour Oct 29, 2024
9330ab8
add unit test
nimakarimipour Oct 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions injector/src/main/java/edu/ucr/cs/riple/injector/changes/AddTypeUseMarkerAnnotation.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@
import com.github.javaparser.ast.expr.AnnotationExpr;
import com.github.javaparser.ast.nodeTypes.NodeWithAnnotations;
import com.github.javaparser.ast.nodeTypes.NodeWithRange;
import com.github.javaparser.ast.type.ArrayType;
import com.github.javaparser.ast.type.Type;
import com.google.common.collect.ImmutableList;
import edu.ucr.cs.riple.injector.Helper;
Expand Down Expand Up @@ -68,6 +69,13 @@ public Modification computeTextModificationOnType(Type type, AnnotationExpr anno
if (range == null) {
return null;
}

if (type instanceof ArrayType) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@avenger2597 As mentioned previously in this comment your changes should be in findSimpleNameRangeInTypeName method where we are returning the array's component type as the place to insert / remove annotation for arrays. You should just change the existing case for array and use type.getTokenRange() to compute the range right before the first [.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done.

ArrayType.Origin origin = ((ArrayType) type).getOrigin();
if (origin == ArrayType.Origin.TYPE) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's not worry about this yet.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removed

range = range.withBeginColumn(range.end.column + 1);
}
}
return new Insertion(annotationExpr.toString(), range.begin);
}

Expand Down
Loading