From 81cfbe893fab4663eff3bbd78ed2988095b86151 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Thu, 6 Dec 2018 00:16:11 -0800 Subject: [PATCH] [infer][nullsafe] move all the Nullsafe related files in the same directory Summary: Moving all the files related to nullable type checking under the same directory. The goal is to merge everything into the same backend based on the AI framework and access expressions. Reviewed By: ngorogiannis Differential Revision: D13350880 fbshipit-source-id: 8ab3cf81b --- infer/src/deadcode/Makefile | 2 +- infer/src/dune.in | 2 +- infer/src/{eradicate => nullsafe}/AnnotatedSignature.ml | 0 infer/src/{eradicate => nullsafe}/AnnotatedSignature.mli | 0 infer/src/{checkers => nullsafe}/NullabilityCheck.ml | 0 infer/src/{checkers => nullsafe}/NullabilityCheck.mli | 0 infer/src/{checkers => nullsafe}/NullabilitySuggest.ml | 0 infer/src/{checkers => nullsafe}/NullabilitySuggest.mli | 0 infer/src/{eradicate => nullsafe}/eradicate.ml | 0 infer/src/{eradicate => nullsafe}/eradicate.mli | 0 infer/src/{eradicate => nullsafe}/eradicateCheckers.ml | 0 infer/src/{eradicate => nullsafe}/eradicateCheckers.mli | 0 infer/src/{eradicate => nullsafe}/eradicateChecks.ml | 0 infer/src/{eradicate => nullsafe}/immutableChecker.ml | 0 infer/src/{eradicate => nullsafe}/immutableChecker.mli | 0 infer/src/{eradicate => nullsafe}/modelTables.ml | 0 infer/src/{eradicate => nullsafe}/modelTables.mli | 0 infer/src/{eradicate => nullsafe}/models.ml | 0 infer/src/{eradicate => nullsafe}/typeAnnotation.ml | 0 infer/src/{eradicate => nullsafe}/typeAnnotation.mli | 0 infer/src/{eradicate => nullsafe}/typeCheck.ml | 0 infer/src/{eradicate => nullsafe}/typeCheck.mli | 0 infer/src/{eradicate => nullsafe}/typeErr.ml | 0 infer/src/{eradicate => nullsafe}/typeErr.mli | 0 infer/src/{eradicate => nullsafe}/typeOrigin.ml | 0 infer/src/{eradicate => nullsafe}/typeOrigin.mli | 0 infer/src/{eradicate => nullsafe}/typeState.ml | 0 infer/src/{eradicate => nullsafe}/typeState.mli | 0 28 files changed, 2 insertions(+), 2 deletions(-) rename infer/src/{eradicate => nullsafe}/AnnotatedSignature.ml (100%) rename infer/src/{eradicate => nullsafe}/AnnotatedSignature.mli (100%) rename infer/src/{checkers => nullsafe}/NullabilityCheck.ml (100%) rename infer/src/{checkers => nullsafe}/NullabilityCheck.mli (100%) rename infer/src/{checkers => nullsafe}/NullabilitySuggest.ml (100%) rename infer/src/{checkers => nullsafe}/NullabilitySuggest.mli (100%) rename infer/src/{eradicate => nullsafe}/eradicate.ml (100%) rename infer/src/{eradicate => nullsafe}/eradicate.mli (100%) rename infer/src/{eradicate => nullsafe}/eradicateCheckers.ml (100%) rename infer/src/{eradicate => nullsafe}/eradicateCheckers.mli (100%) rename infer/src/{eradicate => nullsafe}/eradicateChecks.ml (100%) rename infer/src/{eradicate => nullsafe}/immutableChecker.ml (100%) rename infer/src/{eradicate => nullsafe}/immutableChecker.mli (100%) rename infer/src/{eradicate => nullsafe}/modelTables.ml (100%) rename infer/src/{eradicate => nullsafe}/modelTables.mli (100%) rename infer/src/{eradicate => nullsafe}/models.ml (100%) rename infer/src/{eradicate => nullsafe}/typeAnnotation.ml (100%) rename infer/src/{eradicate => nullsafe}/typeAnnotation.mli (100%) rename infer/src/{eradicate => nullsafe}/typeCheck.ml (100%) rename infer/src/{eradicate => nullsafe}/typeCheck.mli (100%) rename infer/src/{eradicate => nullsafe}/typeErr.ml (100%) rename infer/src/{eradicate => nullsafe}/typeErr.mli (100%) rename infer/src/{eradicate => nullsafe}/typeOrigin.ml (100%) rename infer/src/{eradicate => nullsafe}/typeOrigin.mli (100%) rename infer/src/{eradicate => nullsafe}/typeState.ml (100%) rename infer/src/{eradicate => nullsafe}/typeState.mli (100%) 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