diff --git a/infer/src/deadcode/Makefile b/infer/src/deadcode/Makefile index 2c846debe..d0b7eb8b4 100644 --- a/infer/src/deadcode/Makefile +++ b/infer/src/deadcode/Makefile @@ -45,7 +45,7 @@ depend: cd .. && \ ocamldep -native \ -I IR -I absint -I atd -I backend -I base -I biabduction -I bufferoverrun -I checkers \ - -I clang -I concurrency -I eradicate -I facebook -I integration -I istd \ + -I clang -I concurrency -I nullsafe -I facebook -I integration -I istd \ -I java -I labs -I quandary -I unit -I unit/clang -I deadcode \ $(ml_src_files) > deadcode/.depend diff --git a/infer/src/dune.in b/infer/src/dune.in index 72f1a9cb1..7a1e76136 100644 --- a/infer/src/dune.in +++ b/infer/src/dune.in @@ -19,7 +19,7 @@ let source_dirs = ; "bufferoverrun" ; "checkers" ; "concurrency" - ; "eradicate" + ; "nullsafe" ; "integration" ; "labs" ; "quandary" diff --git a/infer/src/eradicate/AnnotatedSignature.ml b/infer/src/nullsafe/AnnotatedSignature.ml similarity index 100% rename from infer/src/eradicate/AnnotatedSignature.ml rename to infer/src/nullsafe/AnnotatedSignature.ml diff --git a/infer/src/eradicate/AnnotatedSignature.mli b/infer/src/nullsafe/AnnotatedSignature.mli similarity index 100% rename from infer/src/eradicate/AnnotatedSignature.mli rename to infer/src/nullsafe/AnnotatedSignature.mli diff --git a/infer/src/checkers/NullabilityCheck.ml b/infer/src/nullsafe/NullabilityCheck.ml similarity index 100% rename from infer/src/checkers/NullabilityCheck.ml rename to infer/src/nullsafe/NullabilityCheck.ml diff --git a/infer/src/checkers/NullabilityCheck.mli b/infer/src/nullsafe/NullabilityCheck.mli similarity index 100% rename from infer/src/checkers/NullabilityCheck.mli rename to infer/src/nullsafe/NullabilityCheck.mli diff --git a/infer/src/checkers/NullabilitySuggest.ml b/infer/src/nullsafe/NullabilitySuggest.ml similarity index 100% rename from infer/src/checkers/NullabilitySuggest.ml rename to infer/src/nullsafe/NullabilitySuggest.ml diff --git a/infer/src/checkers/NullabilitySuggest.mli b/infer/src/nullsafe/NullabilitySuggest.mli similarity index 100% rename from infer/src/checkers/NullabilitySuggest.mli rename to infer/src/nullsafe/NullabilitySuggest.mli diff --git a/infer/src/eradicate/eradicate.ml b/infer/src/nullsafe/eradicate.ml similarity index 100% rename from infer/src/eradicate/eradicate.ml rename to infer/src/nullsafe/eradicate.ml diff --git a/infer/src/eradicate/eradicate.mli b/infer/src/nullsafe/eradicate.mli similarity index 100% rename from infer/src/eradicate/eradicate.mli rename to infer/src/nullsafe/eradicate.mli diff --git a/infer/src/eradicate/eradicateCheckers.ml b/infer/src/nullsafe/eradicateCheckers.ml similarity index 100% rename from infer/src/eradicate/eradicateCheckers.ml rename to infer/src/nullsafe/eradicateCheckers.ml diff --git a/infer/src/eradicate/eradicateCheckers.mli b/infer/src/nullsafe/eradicateCheckers.mli similarity index 100% rename from infer/src/eradicate/eradicateCheckers.mli rename to infer/src/nullsafe/eradicateCheckers.mli diff --git a/infer/src/eradicate/eradicateChecks.ml b/infer/src/nullsafe/eradicateChecks.ml similarity index 100% rename from infer/src/eradicate/eradicateChecks.ml rename to infer/src/nullsafe/eradicateChecks.ml diff --git a/infer/src/eradicate/immutableChecker.ml b/infer/src/nullsafe/immutableChecker.ml similarity index 100% rename from infer/src/eradicate/immutableChecker.ml rename to infer/src/nullsafe/immutableChecker.ml diff --git a/infer/src/eradicate/immutableChecker.mli b/infer/src/nullsafe/immutableChecker.mli similarity index 100% rename from infer/src/eradicate/immutableChecker.mli rename to infer/src/nullsafe/immutableChecker.mli diff --git a/infer/src/eradicate/modelTables.ml b/infer/src/nullsafe/modelTables.ml similarity index 100% rename from infer/src/eradicate/modelTables.ml rename to infer/src/nullsafe/modelTables.ml diff --git a/infer/src/eradicate/modelTables.mli b/infer/src/nullsafe/modelTables.mli similarity index 100% rename from infer/src/eradicate/modelTables.mli rename to infer/src/nullsafe/modelTables.mli diff --git a/infer/src/eradicate/models.ml b/infer/src/nullsafe/models.ml similarity index 100% rename from infer/src/eradicate/models.ml rename to infer/src/nullsafe/models.ml diff --git a/infer/src/eradicate/typeAnnotation.ml b/infer/src/nullsafe/typeAnnotation.ml similarity index 100% rename from infer/src/eradicate/typeAnnotation.ml rename to infer/src/nullsafe/typeAnnotation.ml diff --git a/infer/src/eradicate/typeAnnotation.mli b/infer/src/nullsafe/typeAnnotation.mli similarity index 100% rename from infer/src/eradicate/typeAnnotation.mli rename to infer/src/nullsafe/typeAnnotation.mli diff --git a/infer/src/eradicate/typeCheck.ml b/infer/src/nullsafe/typeCheck.ml similarity index 100% rename from infer/src/eradicate/typeCheck.ml rename to infer/src/nullsafe/typeCheck.ml diff --git a/infer/src/eradicate/typeCheck.mli b/infer/src/nullsafe/typeCheck.mli similarity index 100% rename from infer/src/eradicate/typeCheck.mli rename to infer/src/nullsafe/typeCheck.mli diff --git a/infer/src/eradicate/typeErr.ml b/infer/src/nullsafe/typeErr.ml similarity index 100% rename from infer/src/eradicate/typeErr.ml rename to infer/src/nullsafe/typeErr.ml diff --git a/infer/src/eradicate/typeErr.mli b/infer/src/nullsafe/typeErr.mli similarity index 100% rename from infer/src/eradicate/typeErr.mli rename to infer/src/nullsafe/typeErr.mli diff --git a/infer/src/eradicate/typeOrigin.ml b/infer/src/nullsafe/typeOrigin.ml similarity index 100% rename from infer/src/eradicate/typeOrigin.ml rename to infer/src/nullsafe/typeOrigin.ml diff --git a/infer/src/eradicate/typeOrigin.mli b/infer/src/nullsafe/typeOrigin.mli similarity index 100% rename from infer/src/eradicate/typeOrigin.mli rename to infer/src/nullsafe/typeOrigin.mli diff --git a/infer/src/eradicate/typeState.ml b/infer/src/nullsafe/typeState.ml similarity index 100% rename from infer/src/eradicate/typeState.ml rename to infer/src/nullsafe/typeState.ml diff --git a/infer/src/eradicate/typeState.mli b/infer/src/nullsafe/typeState.mli similarity index 100% rename from infer/src/eradicate/typeState.mli rename to infer/src/nullsafe/typeState.mli