java - OpenGrok history log for /aosp_15_r20/external/jspecify/src/java9/java

Revision	Date	Author	Comments (<<< Hide modified files) (Show modified files >>>)
2167191d	22-Nov-2024	Android Build Coastguard Worker <[email protected]>	Snap for 12695596 from 4a7b522be4940571fd77bfff685d812a97df2ed4 to 25Q1-release Change-Id: I1781c5b0320cb54c8313f6403e348a40697384c3 /aosp_15_r20/external/jspecify/.gitattributes /aosp_15_r20/external/jspecify/.github/dependabot.yml /aosp_15_r20/external/jspecify/.github/workflows/build.yml /aosp_15_r20/external/jspecify/.github/workflows/docs.yml /aosp_15_r20/external/jspecify/.github/workflows/update-conformance-test-reports.yml /aosp_15_r20/external/jspecify/.gitignore /aosp_15_r20/external/jspecify/.idea/.gitignore /aosp_15_r20/external/jspecify/.ignore /aosp_15_r20/external/jspecify/AUTHORS /aosp_15_r20/external/jspecify/Android.bp /aosp_15_r20/external/jspecify/CONTRIBUTING.md /aosp_15_r20/external/jspecify/LICENSE /aosp_15_r20/external/jspecify/METADATA /aosp_15_r20/external/jspecify/MODULE_LICENSE_APACHE2 /aosp_15_r20/external/jspecify/OWNERS /aosp_15_r20/external/jspecify/README.md /aosp_15_r20/external/jspecify/bnd.bnd /aosp_15_r20/external/jspecify/build.gradle /aosp_15_r20/external/jspecify/cftojspecify/java/com/google/devtools/javatools/typeannotationrefactoring/CheckerFrameworkToJspecifyRefactoring.java /aosp_15_r20/external/jspecify/conformance-tests/build.gradle /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/Basic.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/Irrelevant.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/UsesDep.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/notnullmarked/AnnotatedTypeParameters.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/notnullmarked/AnnotatedWildcards.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/notnullmarked/Other.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/AnnotatedTypeParameters.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/AnnotatedWildcards.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/Other.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/package-info.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/AnnotatedTypeParameters.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/AnnotatedWildcards.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/Other.java /aosp_15_r20/external/jspecify/conformance-tests/src/assertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/package-info.java /aosp_15_r20/external/jspecify/conformance-tests/src/deps/java/org/jspecify/conformance/deps/Dep.java /aosp_15_r20/external/jspecify/conformance-tests/src/deps/java/org/jspecify/conformance/deps/nullmarked/NHolder.java /aosp_15_r20/external/jspecify/conformance-tests/src/deps/java/org/jspecify/conformance/deps/nullmarked/package-info.java /aosp_15_r20/external/jspecify/docs/.gitignore /aosp_15_r20/external/jspecify/docs/README.md /aosp_15_r20/external/jspecify/docs/babel.config.js /aosp_15_r20/external/jspecify/docs/blog/2022-08-07-welcome.md /aosp_15_r20/external/jspecify/docs/blog/authors.yml /aosp_15_r20/external/jspecify/docs/docs/spec.md /aosp_15_r20/external/jspecify/docs/docs/start-here.md /aosp_15_r20/external/jspecify/docs/docs/user-guide.md /aosp_15_r20/external/jspecify/docs/docusaurus.config.js /aosp_15_r20/external/jspecify/docs/locale/ja/LC_MESSAGES/index.po /aosp_15_r20/external/jspecify/docs/locale/ja/LC_MESSAGES/tsttcpw.po /aosp_15_r20/external/jspecify/docs/package-lock.json /aosp_15_r20/external/jspecify/docs/package.json /aosp_15_r20/external/jspecify/docs/sidebars.js /aosp_15_r20/external/jspecify/docs/src/components/HomepageFeatures/index.js /aosp_15_r20/external/jspecify/docs/src/components/HomepageFeatures/styles.module.css /aosp_15_r20/external/jspecify/docs/src/css/custom.css /aosp_15_r20/external/jspecify/docs/src/pages/about.md /aosp_15_r20/external/jspecify/docs/src/pages/index.js /aosp_15_r20/external/jspecify/docs/src/pages/index.module.css /aosp_15_r20/external/jspecify/docs/src/pages/start-here.md /aosp_15_r20/external/jspecify/docs/static/.nojekyll /aosp_15_r20/external/jspecify/docs/static/img/jspecify-banner-spots.svg /aosp_15_r20/external/jspecify/docs/static/img/jspecify-banner.svg /aosp_15_r20/external/jspecify/docs/static/img/jspecify-favicon.ico /aosp_15_r20/external/jspecify/docs/static/img/jspecify-landing-annot.svg /aosp_15_r20/external/jspecify/docs/static/img/jspecify-landing-bugs.svg /aosp_15_r20/external/jspecify/docs/static/img/jspecify-landing-community.png /aosp_15_r20/external/jspecify/docs/static/img/jspecify-landing-community.svg /aosp_15_r20/external/jspecify/docs/static/img/jspecify-logo.svg /aosp_15_r20/external/jspecify/gradle.properties /aosp_15_r20/external/jspecify/gradle/format.gradle /aosp_15_r20/external/jspecify/gradle/gradle-daemon-jvm.properties /aosp_15_r20/external/jspecify/gradle/integration-test.gradle /aosp_15_r20/external/jspecify/gradle/license-header.java /aosp_15_r20/external/jspecify/gradle/mrjar.gradle /aosp_15_r20/external/jspecify/gradle/publish.gradle /aosp_15_r20/external/jspecify/gradle/wrapper/gradle-wrapper.jar /aosp_15_r20/external/jspecify/gradle/wrapper/gradle-wrapper.properties /aosp_15_r20/external/jspecify/gradlew /aosp_15_r20/external/jspecify/gradlew.bat /aosp_15_r20/external/jspecify/samples/AnnotatedInnerOfNonParameterized.java /aosp_15_r20/external/jspecify/samples/AnnotatedInnerOfParameterized.java /aosp_15_r20/external/jspecify/samples/AnnotatedReceiver.java /aosp_15_r20/external/jspecify/samples/AnnotatedTypeParameter.java /aosp_15_r20/external/jspecify/samples/AnnotatedTypeParameterUnspec.java /aosp_15_r20/external/jspecify/samples/AnnotatedWildcard.java /aosp_15_r20/external/jspecify/samples/AnnotatedWildcardUnspec.java /aosp_15_r20/external/jspecify/samples/ArraySameType.java /aosp_15_r20/external/jspecify/samples/ArraySubtype.java /aosp_15_r20/external/jspecify/samples/AssignmentAsExpression.java /aosp_15_r20/external/jspecify/samples/AugmentedInferenceAgreesWithBaseInference.java /aosp_15_r20/external/jspecify/samples/BoundedTypeVariableReturn.java /aosp_15_r20/external/jspecify/samples/CaptureAsInferredTypeArgument.java /aosp_15_r20/external/jspecify/samples/CaptureConversionForSubtyping.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToObject.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToOther.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToObject.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToOther.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnionNullToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToObject.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToOther.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/CaptureConvertedUnspecToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/CastOfCaptureOfNotNullMarkedUnboundedWildcardForObjectBoundedTypeParameter.java /aosp_15_r20/external/jspecify/samples/CastOfCaptureOfUnboundedWildcardForNotNullMarkedObjectBoundedTypeParameter.java /aosp_15_r20/external/jspecify/samples/CastOfCaptureOfUnboundedWildcardForObjectBoundedTypeParameter.java /aosp_15_r20/external/jspecify/samples/CastToPrimitive.java /aosp_15_r20/external/jspecify/samples/CastWildcardToTypeVariable.java /aosp_15_r20/external/jspecify/samples/Catch.java /aosp_15_r20/external/jspecify/samples/ClassLiteral.java /aosp_15_r20/external/jspecify/samples/ClassToObject.java /aosp_15_r20/external/jspecify/samples/ClassToSelf.java /aosp_15_r20/external/jspecify/samples/ComplexParametric.java /aosp_15_r20/external/jspecify/samples/ConcatResult.java /aosp_15_r20/external/jspecify/samples/ConflictingAnnotations.java /aosp_15_r20/external/jspecify/samples/Constants.java /aosp_15_r20/external/jspecify/samples/ContainmentExtends.java /aosp_15_r20/external/jspecify/samples/ContainmentExtendsBounded.java /aosp_15_r20/external/jspecify/samples/ContainmentSuper.java /aosp_15_r20/external/jspecify/samples/ContainmentSuperVsExtends.java /aosp_15_r20/external/jspecify/samples/ContainmentSuperVsExtendsSameType.java /aosp_15_r20/external/jspecify/samples/ContravariantReturns.java /aosp_15_r20/external/jspecify/samples/CovariantReturns.java /aosp_15_r20/external/jspecify/samples/DereferenceClass.java /aosp_15_r20/external/jspecify/samples/DereferenceIntersection.java /aosp_15_r20/external/jspecify/samples/DereferenceTernary.java /aosp_15_r20/external/jspecify/samples/DereferenceTypeVariable.java /aosp_15_r20/external/jspecify/samples/EnumAnnotations.java /aosp_15_r20/external/jspecify/samples/ExtendsSameType.java /aosp_15_r20/external/jspecify/samples/ExtendsTypeVariableImplementedForNullableTypeArgument.java /aosp_15_r20/external/jspecify/samples/ExtendsVsExtendsNullable.java /aosp_15_r20/external/jspecify/samples/IfCondition.java /aosp_15_r20/external/jspecify/samples/InferenceChoosesNullableTypeVariable.java /aosp_15_r20/external/jspecify/samples/InstanceOfCheck.java /aosp_15_r20/external/jspecify/samples/IntersectionSupertype.java /aosp_15_r20/external/jspecify/samples/LocalVariable.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToObject.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToOther.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToSelf.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToObject.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToOther.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToSelf.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnionNullToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToObject.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToOther.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToOtherUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToOtherUnspec.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToSelf.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/MultiBoundTypeVariableUnspecToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/MultiplePathsToTypeVariable.java /aosp_15_r20/external/jspecify/samples/NoPathToTypeVariableMinusNull.java /aosp_15_r20/external/jspecify/samples/NonConstantPrimitives.java /aosp_15_r20/external/jspecify/samples/NonNullProjection.java /aosp_15_r20/external/jspecify/samples/NonNullSimple.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedInnerOfNonParameterized.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedInnerOfParameterized.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedTypeParameter.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedTypeParameterUnspec.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedWildcard.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedAnnotatedWildcardUnspec.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedClassToSelf.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedConcatResult.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedContainmentExtends.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedContainmentSuper.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedContainmentSuperVsExtends.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedIfCondition.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedInferenceChoosesNullableTypeVariable.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedLocalVariable.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedOverrides.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedTypeVariableBound.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedUnboxing.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedUseOfTypeVariable.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedUseOfTypeVariableAsTypeArgument.java /aosp_15_r20/external/jspecify/samples/NotNullMarkedUseOfWildcardAsTypeArgument.java /aosp_15_r20/external/jspecify/samples/NullCheck.java /aosp_15_r20/external/jspecify/samples/NullCheckTypeVariable.java /aosp_15_r20/external/jspecify/samples/NullCheckTypeVariableUnionNullBound.java /aosp_15_r20/external/jspecify/samples/NullCheckTypeVariableUnspecBound.java /aosp_15_r20/external/jspecify/samples/NullLiteralToClass.java /aosp_15_r20/external/jspecify/samples/NullLiteralToTypeVariable.java /aosp_15_r20/external/jspecify/samples/NullLiteralToTypeVariableUnionNull.java /aosp_15_r20/external/jspecify/samples/NullLiteralToTypeVariableUnspec.java /aosp_15_r20/external/jspecify/samples/NullMarkedDirectUseOfNotNullMarkedBoundedTypeVariable.java /aosp_15_r20/external/jspecify/samples/NullUnmarkedUndoesNullMarked.java /aosp_15_r20/external/jspecify/samples/NullUnmarkedUndoesNullMarkedForWildcards.java /aosp_15_r20/external/jspecify/samples/NullnessDoesNotAffectOverloadSelection.java /aosp_15_r20/external/jspecify/samples/ObjectAsSuperOfTypeVariable.java /aosp_15_r20/external/jspecify/samples/OutOfBoundsTypeVariable.java /aosp_15_r20/external/jspecify/samples/OverrideParameters.java /aosp_15_r20/external/jspecify/samples/OverrideParametersThatAreTypeVariables.java /aosp_15_r20/external/jspecify/samples/OverrideReturns.java /aosp_15_r20/external/jspecify/samples/ParameterizedWithTypeVariableArgumentToSelf.java /aosp_15_r20/external/jspecify/samples/PrimitiveAnnotations.java /aosp_15_r20/external/jspecify/samples/PrimitiveAnnotationsUnspec.java /aosp_15_r20/external/jspecify/samples/README.md /aosp_15_r20/external/jspecify/samples/SameTypeObject.java /aosp_15_r20/external/jspecify/samples/SameTypeTypeVariable.java /aosp_15_r20/external/jspecify/samples/SuperNullableForNonNullableTypeParameter.java /aosp_15_r20/external/jspecify/samples/SuperObject.java /aosp_15_r20/external/jspecify/samples/SuperObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/SuperObjectUnspec.java /aosp_15_r20/external/jspecify/samples/SuperSameType.java /aosp_15_r20/external/jspecify/samples/SuperTypeVariable.java /aosp_15_r20/external/jspecify/samples/SuperTypeVariableUnionNull.java /aosp_15_r20/external/jspecify/samples/SuperTypeVariableUnspec.java /aosp_15_r20/external/jspecify/samples/SuperVsObject.java /aosp_15_r20/external/jspecify/samples/SuperVsSuperNullable.java /aosp_15_r20/external/jspecify/samples/Ternary.java /aosp_15_r20/external/jspecify/samples/TypeArgumentOfTypeVariableBound.java /aosp_15_r20/external/jspecify/samples/TypeArgumentOfWildcardBound.java /aosp_15_r20/external/jspecify/samples/TypeVariableMinusNullVsTypeVariable.java /aosp_15_r20/external/jspecify/samples/TypeVariableToObject.java /aosp_15_r20/external/jspecify/samples/TypeVariableToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableToParent.java /aosp_15_r20/external/jspecify/samples/TypeVariableToParentUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableToParentUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableToSelf.java /aosp_15_r20/external/jspecify/samples/TypeVariableToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToObject.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToParent.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToParentUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToParentUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToSelf.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnionNullToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToObject.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToObjectUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToObjectUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToParent.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToParentUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToParentUnspec.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToSelf.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToSelfUnionNull.java /aosp_15_r20/external/jspecify/samples/TypeVariableUnspecToSelfUnspec.java /aosp_15_r20/external/jspecify/samples/Unboxing.java /aosp_15_r20/external/jspecify/samples/UninitializedField.java /aosp_15_r20/external/jspecify/samples/UnionTypeArgumentWithUseSite.java /aosp_15_r20/external/jspecify/samples/UnrecognizedLocationsMisc.java /aosp_15_r20/external/jspecify/samples/UnspecifiedClassTypeArgumentForNonNullableParameter.java /aosp_15_r20/external/jspecify/samples/UnspecifiedTypeArgumentForNonNullableParameter.java /aosp_15_r20/external/jspecify/samples/UnspecifiedTypeArgumentForNonNullableParameterRepeatedSubstitution.java /aosp_15_r20/external/jspecify/samples/UnspecifiedTypeArgumentForNonNullableParameterUseUnspec.java /aosp_15_r20/external/jspecify/samples/UnspecifiedTypeVariableTypeArgumentForNonNullableParameter.java /aosp_15_r20/external/jspecify/samples/UseOfTypeVariableAsTypeArgument.java /aosp_15_r20/external/jspecify/samples/UseOfTypeVariableUnionNullAsTypeArgument.java /aosp_15_r20/external/jspecify/samples/UseOfTypeVariableUnspecAsTypeArgument.java /aosp_15_r20/external/jspecify/samples/WildcardBoundWithAnnotations.java /aosp_15_r20/external/jspecify/samples/WildcardCapturesToBoundOfTypeParameterNotToTypeVariableItself.java /aosp_15_r20/external/jspecify/samples/annotatedBoundsOfWildcard/annotatedboundsofwildcard/AnnotatedBoundsOfWildcard.java /aosp_15_r20/external/jspecify/samples/defaults/defaults/Defaults.java /aosp_15_r20/external/jspecify/samples/fullyQualified/fullyqualified/sub/Annotation.java /aosp_15_r20/external/jspecify/samples/fullyQualified/fullyqualified/sub/Caller.java /aosp_15_r20/external/jspecify/samples/fullyQualified/fullyqualified/sub/Clazz.java /aosp_15_r20/external/jspecify/samples/fullyQualified/fullyqualified/sub/Enumeration.java /aosp_15_r20/external/jspecify/samples/fullyQualified/fullyqualified/sub/Interface.java /aosp_15_r20/external/jspecify/samples/ignoreAnnotations/ignoreannotations/IgnoreAnnotations.java /aosp_15_r20/external/jspecify/samples/implementWithNullableTypeArgument/implementwithnullabletypeargument/MyFunction.java /aosp_15_r20/external/jspecify/samples/implementWithNullableTypeArgument/implementwithnullabletypeargument/SuperFunction.java /aosp_15_r20/external/jspecify/samples/implementWithNullableTypeArgument/implementwithnullabletypeargument/User.java /aosp_15_r20/external/jspecify/samples/memberSelectNonExpression/memberselectnonexpression/MemberSelectNonExpressions.java /aosp_15_r20/external/jspecify/samples/nonPlatformTypeParameter/nonplatformtypeparameter/NonPlatformTypeParameter.java /aosp_15_r20/external/jspecify/samples/nullnessUnspecifiedTypeParameter/nullnessunspecifiedtypeparameter/NullnessUnspecifiedTypeParameter.java /aosp_15_r20/external/jspecify/samples/packageDefault/packagedefault/Bar.java /aosp_15_r20/external/jspecify/samples/packageDefault/packagedefault/package-info.java /aosp_15_r20/external/jspecify/samples/selfType/selftype/SelfType.java /aosp_15_r20/external/jspecify/samples/simple/simple/Simple.java /aosp_15_r20/external/jspecify/samples/typeArgumentsFromParameterBounds/typeargumentsfromparameterbounds/TypeArgumentsFromParameterBounds.java /aosp_15_r20/external/jspecify/samples/typeParameterBounds/typeparameterbounds/TypeParameterBounds.java /aosp_15_r20/external/jspecify/samples/wildcardsWithDefault/wildcardswithdefault/WildcardsWithDefault.java /aosp_15_r20/external/jspecify/settings.gradle /aosp_15_r20/external/jspecify/src/integrationTest/java/org/jspecify/annotations/NullMarkedTest.java module-info.java /aosp_15_r20/external/jspecify/src/main/java/org/jspecify/annotations/NonNull.java /aosp_15_r20/external/jspecify/src/main/java/org/jspecify/annotations/NullMarked.java /aosp_15_r20/external/jspecify/src/main/java/org/jspecify/annotations/NullUnmarked.java /aosp_15_r20/external/jspecify/src/main/java/org/jspecify/annotations/Nullable.java /aosp_15_r20/external/jspecify/src/main/java/org/jspecify/annotations/package-info.java