Skip to content

NPECheck cleanup: removing weird hypothetical states, and removing instanceof states. #9450

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lahodaj wants to merge 2 commits into
base: master
Choose a base branch
from
+1,200 −323
Open

NPECheck cleanup: removing weird hypothetical states, and removing instanceof states. #9450

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
42b7018
NPECheck cleanup: removing weird hypothetical states, and removing in…
lahodaj Jun 18, 2026
ecfac7c
First prototype of type annotations based NPECheck + starting with JS…
lahodaj Jun 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions java/java.hints/external/binaries-list
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements. See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership. The ASF licenses this file
# to you under the Apache License, Version 2.0 (the
# "License"); you may not use this file except in compliance
# with the License. You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing,
# software distributed under the License is distributed on an
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
# KIND, either express or implied. See the License for the
# specific language governing permissions and limitations
# under the License.
7425A601C1C7EC76645A78D22B8C6A627EDEE507 org.jspecify:jspecify:1.0.0
4 changes: 2 additions & 2 deletions java/java.hints/nbproject/project.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@

spec.version.base=1.116.0

javac.release=17
javac.release=21

nbroot=../..
jbrowse.external=${nbroot}/retouche
Expand Down Expand Up @@ -59,7 +59,7 @@ requires.nb.javac=true

test.runner=junit

test-unit-sys-prop.hints-tools.jar.location=${tools.jar}
test-unit-sys-prop.hints-jspecify.jar.location=${basedir}/external/jspecify-1.0.0.jar

test.config.batch1.includes=\
**/*Test.class
Expand Down
1 change: 1 addition & 0 deletions java/java.hints/src/org/netbeans/modules/java/hints/bugs/Bundle.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -133,6 +133,7 @@ ERR_AssigningNullToNotNull=Assigning null to not-null variable
ERR_PossibleAssigingNullToNotNull=Assigning possible null to not-null variable
ERR_NULL_TO_NON_NULL_ARG=Passing null to not-null argument
ERR_POSSIBLENULL_TO_NON_NULL_ARG=Passing possible null to not-null argument
ERR_TYPES_MISMATCH=Nullness states mismatch
ERR_NotNullWouldBeNPE=Unnecessary test for null - a NullPointerException would already be thrown
ERR_NotNull=Unnecessary test for null - the expression is never null
ERR_ReturningNullFromNonNull=Returning null value from a method whose return type is not-null
Expand Down
Loading
Loading