diff --git a/sample/annotator-out/0/class_records.tsv b/sample/annotator-out/0/class_records.tsv deleted file mode 100644 index dae09eba..00000000 --- a/sample/annotator-out/0/class_records.tsv +++ /dev/null @@ -1,2 +0,0 @@ -class path -edu.ucr.cs.riple.annotator.sample.Test /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java diff --git a/sample/annotator-out/0/errors.tsv b/sample/annotator-out/0/errors.tsv deleted file mode 100644 index b0c49c44..00000000 --- a/sample/annotator-out/0/errors.tsv +++ /dev/null @@ -1,6 +0,0 @@ -message_type message enc_class enc_member offset path target_kind target_class target_method target_param target_index target_path -ASSIGN_FIELD_NULLABLE assigning @Nullable expression to @NonNull field edu.ucr.cs.riple.annotator.sample.Test f1 1204 /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java FIELD edu.ucr.cs.riple.annotator.sample.Test null f1 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -ASSIGN_FIELD_NULLABLE assigning @Nullable expression to @NonNull field edu.ucr.cs.riple.annotator.sample.Test f2 1224 /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java FIELD edu.ucr.cs.riple.annotator.sample.Test null f2 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -ASSIGN_FIELD_NULLABLE assigning @Nullable expression to @NonNull field edu.ucr.cs.riple.annotator.sample.Test f3 1244 /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java FIELD edu.ucr.cs.riple.annotator.sample.Test null f3 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -ASSIGN_FIELD_NULLABLE assigning @Nullable expression to @NonNull field edu.ucr.cs.riple.annotator.sample.Test f4 1264 /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java FIELD edu.ucr.cs.riple.annotator.sample.Test null f4 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -ASSIGN_FIELD_NULLABLE assigning @Nullable expression to @NonNull field edu.ucr.cs.riple.annotator.sample.Test m4() 1560 /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java FIELD edu.ucr.cs.riple.annotator.sample.Test null f6 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java diff --git a/sample/annotator-out/0/field_impacted_region_map.tsv b/sample/annotator-out/0/field_impacted_region_map.tsv deleted file mode 100644 index a57e4048..00000000 --- a/sample/annotator-out/0/field_impacted_region_map.tsv +++ /dev/null @@ -1,13 +0,0 @@ -REGION_CLASS REGION_MEMBER USED_MEMBER USED_CLASS SOURCE_TYPE -edu.ucr.cs.riple.annotator.sample.Test f5 f4 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test f4 f4 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() f1 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() f1 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() f2 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() f6 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() f3 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() f3 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() f2 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() f6 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m3() f5 edu.ucr.cs.riple.annotator.sample.Test SOURCE -edu.ucr.cs.riple.annotator.sample.Test m4() f6 edu.ucr.cs.riple.annotator.sample.Test SOURCE diff --git a/sample/annotator-out/0/field_init.tsv b/sample/annotator-out/0/field_init.tsv deleted file mode 100644 index a95db181..00000000 --- a/sample/annotator-out/0/field_init.tsv +++ /dev/null @@ -1 +0,0 @@ -kind class method param index uri field diff --git a/sample/annotator-out/0/fixes.tsv b/sample/annotator-out/0/fixes.tsv deleted file mode 100644 index 6908c725..00000000 --- a/sample/annotator-out/0/fixes.tsv +++ /dev/null @@ -1,6 +0,0 @@ -kind class method param index uri reason annotation rootClass rootMethod -FIELD edu.ucr.cs.riple.annotator.sample.Test null f1 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java ASSIGN_FIELD_NULLABLE nullable edu.ucr.cs.riple.annotator.sample.Test f1 -FIELD edu.ucr.cs.riple.annotator.sample.Test null f2 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java ASSIGN_FIELD_NULLABLE nullable edu.ucr.cs.riple.annotator.sample.Test f2 -FIELD edu.ucr.cs.riple.annotator.sample.Test null f3 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java ASSIGN_FIELD_NULLABLE nullable edu.ucr.cs.riple.annotator.sample.Test f3 -FIELD edu.ucr.cs.riple.annotator.sample.Test null f4 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java ASSIGN_FIELD_NULLABLE nullable edu.ucr.cs.riple.annotator.sample.Test f4 -FIELD edu.ucr.cs.riple.annotator.sample.Test null f6 null /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java ASSIGN_FIELD_NULLABLE nullable edu.ucr.cs.riple.annotator.sample.Test m4() diff --git a/sample/annotator-out/0/method_impacted_region_map.tsv b/sample/annotator-out/0/method_impacted_region_map.tsv deleted file mode 100644 index b993953b..00000000 --- a/sample/annotator-out/0/method_impacted_region_map.tsv +++ /dev/null @@ -1,8 +0,0 @@ -REGION_CLASS REGION_MEMBER USED_MEMBER USED_CLASS SOURCE_TYPE -edu.ucr.cs.riple.annotator.sample.Test f6 Object() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() toString() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() toString() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m1() toString() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() hashCode() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() hashCode() java.lang.Object SOURCE -edu.ucr.cs.riple.annotator.sample.Test m2() hashCode() java.lang.Object SOURCE diff --git a/sample/annotator-out/0/method_records.tsv b/sample/annotator-out/0/method_records.tsv deleted file mode 100644 index 07bfe705..00000000 --- a/sample/annotator-out/0/method_records.tsv +++ /dev/null @@ -1,5 +0,0 @@ -id class method parent flags annotations visibility non-primitive-return path -1 edu.ucr.cs.riple.annotator.sample.Test m1() 0 [] package true /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -2 edu.ucr.cs.riple.annotator.sample.Test m2() 0 [] package false /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -3 edu.ucr.cs.riple.annotator.sample.Test m3() 0 [] package true /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java -4 edu.ucr.cs.riple.annotator.sample.Test m4() 0 [] package false /Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java diff --git a/sample/annotator-out/0/nonnull_elements.tsv b/sample/annotator-out/0/nonnull_elements.tsv deleted file mode 100644 index 4a282062..00000000 --- a/sample/annotator-out/0/nonnull_elements.tsv +++ /dev/null @@ -1 +0,0 @@ -kind class method param index uri diff --git a/sample/annotator-out/0/serialization_version.txt b/sample/annotator-out/0/serialization_version.txt deleted file mode 100644 index e440e5c8..00000000 --- a/sample/annotator-out/0/serialization_version.txt +++ /dev/null @@ -1 +0,0 @@ -3 \ No newline at end of file diff --git a/sample/annotator-out/log.txt b/sample/annotator-out/log.txt deleted file mode 100644 index 950847f6..00000000 --- a/sample/annotator-out/log.txt +++ /dev/null @@ -1,4 +0,0 @@ -Total number of nodes=9 -Total number of Requested builds=15 -Total time=24679 -Total time spent on builds=27579 diff --git a/sample/annotator-out/nullaway.xml b/sample/annotator-out/nullaway.xml deleted file mode 100644 index 9d837b1a..00000000 --- a/sample/annotator-out/nullaway.xml +++ /dev/null @@ -1 +0,0 @@ -/Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/07d3f0faa-5816-42d0-b82f-bf1172f4abb1 \ No newline at end of file diff --git a/sample/annotator-out/paths.tsv b/sample/annotator-out/paths.tsv deleted file mode 100644 index ec3a216a..00000000 --- a/sample/annotator-out/paths.tsv +++ /dev/null @@ -1 +0,0 @@ -/Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/nullaway.xml /Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/scanner.xml diff --git a/sample/annotator-out/reports.json b/sample/annotator-out/reports.json deleted file mode 100644 index 6b475f3b..00000000 --- a/sample/annotator-out/reports.json +++ /dev/null @@ -1 +0,0 @@ -{"REPORTS":[{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":1,"KIND":"FIELD","TREE":[],"VARIABLES":["f2"],"FINISHED":true,"OVERALL EFFECT":1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":1,"KIND":"FIELD","TREE":[],"VARIABLES":["f6"],"FINISHED":true,"OVERALL EFFECT":1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":0,"KIND":"FIELD","TREE":[],"VARIABLES":["f4"],"FINISHED":true,"OVERALL EFFECT":0,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":0,"KIND":"FIELD","TREE":[],"VARIABLES":["f5"],"FINISHED":true,"OVERALL EFFECT":0,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":-1,"KIND":"FIELD","TREE":[],"VARIABLES":["f3"],"FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":-1,"KIND":"FIELD","TREE":[],"VARIABLES":["f1"],"FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"},{"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"LOCAL EFFECT":-1,"KIND":"METHOD","TREE":[],"METHOD":"m3()","FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"CLASS":"edu.ucr.cs.riple.annotator.sample.Test"}]} \ No newline at end of file diff --git a/sample/annotator-out/scanner.xml b/sample/annotator-out/scanner.xml deleted file mode 100644 index 2329dd1d..00000000 --- a/sample/annotator-out/scanner.xml +++ /dev/null @@ -1 +0,0 @@ -cb30dcb8-e795-4037-8e17-9480e5245220/Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/0 \ No newline at end of file