jspecify - OpenGrok history log for /aosp_15

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