pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '615100e55e'
${ noResults }
infer_clone/infer/src/nullsafe
History
Nikos Gorogiannis 965bf52bf8
[filtering/dedup] add deduplicate flag and disambiguate filtering 		5 years ago
..
AnnotatedField.ml [nullsafe] Move `get_field_annotation` out of EradicateChecks to a dedicated module 5 years ago
AnnotatedField.mli [nullsafe] Move `get_field_annotation` out of EradicateChecks to a dedicated module 5 years ago
AnnotatedNullability.ml [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
AnnotatedNullability.mli [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
AnnotatedSignature.ml [nullsafe] Migrate checks for inheritance to NullsafeRules 5 years ago
AnnotatedSignature.mli [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
AnnotatedType.ml [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
AnnotatedType.mli [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
InferredNullability.ml [nullsafe] Introduce explicit non-null methods in InferredNullability 5 years ago
InferredNullability.mli [nullsafe] Introduce explicit non-null methods in InferredNullability 5 years ago
Initializers.ml [nullsafe] Move Initializer to a dedicated module 5 years ago
Initializers.mli [nullsafe] Move Initializer to a dedicated module 5 years ago
NullabilityCheck.ml [filtering/dedup] add deduplicate flag and disambiguate filtering 5 years ago
NullabilityCheck.mli [copyright] Remove years 6 years ago
NullabilitySuggest.ml [infer] Make infer respect external-packages param 6 years ago
NullabilitySuggest.mli [copyright] Remove years 6 years ago
NullsafeRules.ml [nullsafe] Migrate checks for inheritance to NullsafeRules 5 years ago
NullsafeRules.mli [nullsafe] Migrate checks for inheritance to NullsafeRules 5 years ago
eradicate.ml [nullsafe] Improve readability of the check for constructor initialization 5 years ago
eradicate.mli [copyright] Remove years 6 years ago
eradicateCheckers.ml [copyright] Remove years 6 years ago
eradicateCheckers.mli [copyright] Remove years 6 years ago
eradicateChecks.ml [nullsafe] Introduce explicit non-null methods in InferredNullability 5 years ago
immutableChecker.ml Remove redundant fields from proc_callback_args 6 years ago
immutableChecker.mli [copyright] Remove years 6 years ago
modelTables.ml [nullsafe] Don't mention "unannotated" in Models 5 years ago
modelTables.mli [nullsafe] Don't mention "unannotated" in Models 5 years ago
models.ml [nullsafe] Don't mention "unannotated" in Models 5 years ago
typeCheck.ml [nullsafe] Introduce explicit non-null methods in InferredNullability 5 years ago
typeCheck.mli [copyright] Remove years 6 years ago
typeErr.ml [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
typeErr.mli [nullsafe] Remove special treatment of @Nonnull for "Condition Redundant" check 5 years ago
typeOrigin.ml [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType 5 years ago
typeOrigin.mli [copyright] Remove years 6 years ago
typeState.ml [nullsafe] Rename TypeAnnotation to InferredNullability 5 years ago
typeState.mli [nullsafe] Rename TypeAnnotation to InferredNullability 5 years ago