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 a3b6a80f..00000000 --- a/sample/annotator-out/0/errors.tsv +++ /dev/null @@ -1,3 +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 f2 1269 /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 m4() 1649 /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 a5132007..00000000 --- a/sample/annotator-out/0/fixes.tsv +++ /dev/null @@ -1,3 +0,0 @@ -kind class method param index uri reason annotation rootClass rootMethod -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 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 ca64375f..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=27453 -Total time spent on builds=30329 diff --git a/sample/annotator-out/nullaway.xml b/sample/annotator-out/nullaway.xml deleted file mode 100644 index a115107e..00000000 --- a/sample/annotator-out/nullaway.xml +++ /dev/null @@ -1 +0,0 @@ -/Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/06da8e068-1258-4990-807c-fe64a5e9679f \ 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 1807e4d1..00000000 --- a/sample/annotator-out/reports.json +++ /dev/null @@ -1 +0,0 @@ -{"REPORTS":[{"VARIABLES":["f2"],"LOCAL EFFECT":1,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"VARIABLES":["f6"],"LOCAL EFFECT":1,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"VARIABLES":["f4"],"LOCAL EFFECT":0,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":0,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"VARIABLES":["f5"],"LOCAL EFFECT":0,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":0,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"VARIABLES":["f3"],"LOCAL EFFECT":-1,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"VARIABLES":["f1"],"LOCAL EFFECT":-1,"KIND":"FIELD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java},{"LOCAL EFFECT":-1,"KIND":"METHOD","TREE":[],"CLASS":"edu.ucr.cs.riple.annotator.sample.Test","FINISHED":true,"OVERALL EFFECT":-1,"Upper Bound EFFECT":0,"Lower Bound EFFECT":0,"PATH":/Users/nima/Developer/NullAwayAnnotator/sample/src/main/java/edu/ucr/cs/riple/annotator/sample/Test.java,"METHOD":"m3()"}]} \ 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 90785838..00000000 --- a/sample/annotator-out/scanner.xml +++ /dev/null @@ -1 +0,0 @@ -37900c23-dad7-460e-abc9-8bfc62dccc1a/Users/nima/Developer/NullAwayAnnotator/sample/annotator-out/0 \ No newline at end of file