uber / NullAway

93%

LAST BUILD ON BRANCH master

branch: SELECT

CHANGE BRANCH

x

• No branch selected
• larry_ellisons_cat
• lazaro_add_async_function_models
• lazaro_add_library_model_get_layout
• lazaro_add_model
• lazaro_add_model_for_getpackage
• lazaro_add_monotonic_non_null
• lazaro_add_onViewCreated_known_initializer
• lazaro_argument_to_map_key_fix
• lazaro_better_jar_iteration
• lazaro_better_map_support
• lazaro_ci_to_github_actions
• lazaro_commit_hooks_from_gradle
• lazaro_debug_347
• lazaro_fix_389
• lazaro_fix_401
• lazaro_fix_global_caches
• lazaro_fix_initializer_checking_final_class
• lazaro_fix_issues
• lazaro_fix_jarinfer_output_path
• lazaro_fix_merge_messup
• lazaro_fix_new_ep_warnings
• lazaro_github_actions_on_external_pr
• lazaro_handle_nonnull_varargs
• lazaro_improve_subchecker_suppressions
• lazaro_investigate_uploadarchives
• lazaro_jarinfer_aar_use_android_nonnull
• lazaro_jarinfer_no_compute_frames
• lazaro_library_models_nonnull_lambda_override
• lazaro_library_models_null_implies_false
• lazaro_lombok_builder
• lazaro_nullable_arg_from_models
• lazaro_onStartCommand_libraryModel2
• lazaro_prepare_for_support_androidx_migration
• lazaro_rename_astubx
• lazaro_repair_android_jar_jarinfer_script
• lazaro_revert_varargs_warning
• lazaro_skip_non_public_classes_jarinfer_2
• lazaro_support_constants_in_aps
• lazaro_support_optional_orelse_libmodel
• lazaro_suppress_warnings_fix_typo
• lazaro_switch_jarinfer_classloading_logic
• lazaro_test_jarinfer_br_monorepo
• lazaro_test_travis_build
• lazaro_unsigned_shift
• lazaro_update_ep_2_4_0
• lazaro_update_gradle
• master
• ms/bump-cf
• ms/cf-update
• ms/ep-2.3.2
• ms/fix-for-in
• ms/fix-illegal-state-warning
• ms/generated-unannot-restricted
• ms/gradle-4.10.2
• ms/gradle-5.0
• ms/jarinfer-disabled-by-default
• ms/jdk-11
• ms/lambda-init-store-ack-restrictive
• ms/obj-non-null-field
• ms/refactor-nullness-store
• ms/remove-shadow
• ms/shadow
• ms/string-utils-model
• ms/suppress-fix
• ms/suppress-inner
• ms/test-optimizations
• ms/tweak-compile-bench
• nullaway_locals_from_outer_method_closure
• revert-270-model_parseXXX_methods
• test_kurts_thingy
• v0.6.0
• v0.6.1
• v0.6.2
• v0.6.3
• v0.6.4
• v0.6.5
• v0.6.6
• v0.7.0
• v0.7.1
• v0.7.10
• v0.7.2
• v0.7.3
• v0.7.4
• v0.7.5
• v0.7.6
• v0.7.7
• v0.7.8
• v0.7.9
• v0.8.0
• z/removesudo

Build # #1188

Build Type

push

github-actions

Committed by web-flow

Commit Message

Issue #740: Adding visitors for handling different types along with ClassType in Generic Type invariance check (#806)

- Description: Only ClassTypes are supported for checking the invariance
of the nullability annotations for Generic types and hence TypeVisitors
and a TreeVisitor are added to handle different scenarios like for
example:
  ` Foo<Foo<@Nullable String>[]> x = new Foo<Foo<String>[]>(); `

  - Issue Number: 740

- All the tests in NullAwayJSpecifyGenericTests.java have passed for
these changes.

Fixes #740

---------

Co-authored-by: Manu Sridharan <msridhar@gmail.com>

Run Details

5760 of 6165 relevant lines covered (93.43%)

0.93 hits per line