Index of /aosp/external/jspecify/samples

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]AnnotatedInnerOfNonParameterized.java2024-12-02 00:25 1.9K 
[TXT]AnnotatedInnerOfParameterized.java2024-12-02 00:25 1.9K 
[TXT]AnnotatedReceiver.java2024-12-02 00:25 1.1K 
[TXT]AnnotatedTypeParameter.java2024-12-02 00:25 1.1K 
[TXT]AnnotatedTypeParameterUnspec.java2024-12-02 00:25 1.1K 
[TXT]AnnotatedWildcard.java2024-12-02 00:25 1.3K 
[TXT]AnnotatedWildcardUnspec.java2024-12-02 00:25 1.3K 
[TXT]ArraySameType.java2024-12-02 00:25 1.6K 
[TXT]ArraySubtype.java2024-12-02 00:25 1.5K 
[TXT]AssignmentAsExpression.java2024-12-02 00:25 903  
[TXT]AugmentedInferenceAgreesWithBaseInference.java2024-12-02 00:25 1.6K 
[TXT]BoundedTypeVariableReturn.java2024-12-02 00:25 1.3K 
[TXT]CaptureAsInferredTypeArgument.java2024-12-02 00:25 2.2K 
[TXT]CaptureConversionForSubtyping.java2024-12-02 00:25 900  
[TXT]CaptureConvertedToObject.java2024-12-02 00:25 2.3K 
[TXT]CaptureConvertedToObjectUnionNull.java2024-12-02 00:25 2.2K 
[TXT]CaptureConvertedToObjectUnspec.java2024-12-02 00:25 2.5K 
[TXT]CaptureConvertedToOther.java2024-12-02 00:25 2.2K 
[TXT]CaptureConvertedToOtherUnionNull.java2024-12-02 00:25 2.2K 
[TXT]CaptureConvertedToOtherUnspec.java2024-12-02 00:25 2.5K 
[TXT]CaptureConvertedUnionNullToObject.java2024-12-02 00:25 2.7K 
[TXT]CaptureConvertedUnionNullToObjectUnionNull.java2024-12-02 00:25 2.4K 
[TXT]CaptureConvertedUnionNullToObjectUnspec.java2024-12-02 00:25 3.1K 
[TXT]CaptureConvertedUnionNullToOther.java2024-12-02 00:25 2.7K 
[TXT]CaptureConvertedUnionNullToOtherUnionNull.java2024-12-02 00:25 2.4K 
[TXT]CaptureConvertedUnionNullToOtherUnspec.java2024-12-02 00:25 3.1K 
[TXT]CaptureConvertedUnspecToObject.java2024-12-02 00:25 2.8K 
[TXT]CaptureConvertedUnspecToObjectUnionNull.java2024-12-02 00:25 2.4K 
[TXT]CaptureConvertedUnspecToObjectUnspec.java2024-12-02 00:25 3.1K 
[TXT]CaptureConvertedUnspecToOther.java2024-12-02 00:25 2.8K 
[TXT]CaptureConvertedUnspecToOtherUnionNull.java2024-12-02 00:25 2.4K 
[TXT]CaptureConvertedUnspecToOtherUnspec.java2024-12-02 00:25 3.1K 
[TXT]CastOfCaptureOfNotNullMarkedUnboundedWildcardForObjectBoundedTypeParameter.java2024-12-02 00:25 1.0K 
[TXT]CastOfCaptureOfUnboundedWildcardForNotNullMarkedObjectBoundedTypeParameter.java2024-12-02 00:25 1.1K 
[TXT]CastOfCaptureOfUnboundedWildcardForObjectBoundedTypeParameter.java2024-12-02 00:25 914  
[TXT]CastToPrimitive.java2024-12-02 00:25 1.0K 
[TXT]CastWildcardToTypeVariable.java2024-12-02 00:25 1.0K 
[TXT]Catch.java2024-12-02 00:25 1.4K 
[TXT]ClassLiteral.java2024-12-02 00:25 823  
[TXT]ClassToObject.java2024-12-02 00:25 1.6K 
[TXT]ClassToSelf.java2024-12-02 00:25 1.5K 
[TXT]ComplexParametric.java2024-12-02 00:25 9.0K 
[TXT]ConcatResult.java2024-12-02 00:25 1.0K 
[TXT]ConflictingAnnotations.java2024-12-02 00:25 954  
[TXT]Constants.java2024-12-02 00:25 971  
[TXT]ContainmentExtends.java2024-12-02 00:25 1.8K 
[TXT]ContainmentExtendsBounded.java2024-12-02 00:25 1.0K 
[TXT]ContainmentSuper.java2024-12-02 00:25 1.7K 
[TXT]ContainmentSuperVsExtends.java2024-12-02 00:25 1.2K 
[TXT]ContainmentSuperVsExtendsSameType.java2024-12-02 00:25 1.0K 
[TXT]ContravariantReturns.java2024-12-02 00:25 1.2K 
[TXT]CovariantReturns.java2024-12-02 00:25 1.4K 
[TXT]DereferenceClass.java2024-12-02 00:25 1.0K 
[TXT]DereferenceIntersection.java2024-12-02 00:25 2.4K 
[TXT]DereferenceTernary.java2024-12-02 00:25 888  
[TXT]DereferenceTypeVariable.java2024-12-02 00:25 3.0K 
[TXT]EnumAnnotations.java2024-12-02 00:25 936  
[TXT]ExtendsSameType.java2024-12-02 00:25 1.7K 
[TXT]ExtendsTypeVariableImplementedForNullableTypeArgument.java2024-12-02 00:25 1.6K 
[TXT]ExtendsVsExtendsNullable.java2024-12-02 00:25 1.7K 
[TXT]IfCondition.java2024-12-02 00:25 1.2K 
[TXT]InferenceChoosesNullableTypeVariable.java2024-12-02 00:25 873  
[TXT]InstanceOfCheck.java2024-12-02 00:25 1.2K 
[TXT]IntersectionSupertype.java2024-12-02 00:25 2.5K 
[TXT]LocalVariable.java2024-12-02 00:25 1.3K 
[TXT]MultiBoundTypeVariableToObject.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableToObjectUnionNull.java2024-12-02 00:25 1.6K 
[TXT]MultiBoundTypeVariableToObjectUnspec.java2024-12-02 00:25 1.9K 
[TXT]MultiBoundTypeVariableToOther.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableToOtherUnionNull.java2024-12-02 00:25 1.6K 
[TXT]MultiBoundTypeVariableToOtherUnspec.java2024-12-02 00:25 1.9K 
[TXT]MultiBoundTypeVariableToSelf.java2024-12-02 00:25 1.5K 
[TXT]MultiBoundTypeVariableToSelfUnionNull.java2024-12-02 00:25 1.6K 
[TXT]MultiBoundTypeVariableToSelfUnspec.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableUnionNullToObject.java2024-12-02 00:25 1.9K 
[TXT]MultiBoundTypeVariableUnionNullToObjectUnionNull.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableUnionNullToObjectUnspec.java2024-12-02 00:25 2.3K 
[TXT]MultiBoundTypeVariableUnionNullToOther.java2024-12-02 00:25 1.9K 
[TXT]MultiBoundTypeVariableUnionNullToOtherUnionNull.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableUnionNullToOtherUnspec.java2024-12-02 00:25 2.2K 
[TXT]MultiBoundTypeVariableUnionNullToSelf.java2024-12-02 00:25 1.9K 
[TXT]MultiBoundTypeVariableUnionNullToSelfUnionNull.java2024-12-02 00:25 1.7K 
[TXT]MultiBoundTypeVariableUnionNullToSelfUnspec.java2024-12-02 00:25 2.2K 
[TXT]MultiBoundTypeVariableUnspecToObject.java2024-12-02 00:25 2.1K 
[TXT]MultiBoundTypeVariableUnspecToObjectUnionNull.java2024-12-02 00:25 1.8K 
[TXT]MultiBoundTypeVariableUnspecToObjectUnspec.java2024-12-02 00:25 2.4K 
[TXT]MultiBoundTypeVariableUnspecToOther.java2024-12-02 00:25 2.1K 
[TXT]MultiBoundTypeVariableUnspecToOtherUnionNull.java2024-12-02 00:25 1.8K 
[TXT]MultiBoundTypeVariableUnspecToOtherUnspec.java2024-12-02 00:25 2.3K 
[TXT]MultiBoundTypeVariableUnspecToSelf.java2024-12-02 00:25 2.1K 
[TXT]MultiBoundTypeVariableUnspecToSelfUnionNull.java2024-12-02 00:25 1.8K 
[TXT]MultiBoundTypeVariableUnspecToSelfUnspec.java2024-12-02 00:25 2.3K 
[TXT]MultiplePathsToTypeVariable.java2024-12-02 00:25 1.9K 
[TXT]NoPathToTypeVariableMinusNull.java2024-12-02 00:25 1.0K 
[TXT]NonConstantPrimitives.java2024-12-02 00:25 818  
[TXT]NonNullProjection.java2024-12-02 00:25 934  
[TXT]NonNullSimple.java2024-12-02 00:25 817  
[TXT]NotNullMarkedAnnotatedInnerOfNonParameterized.java2024-12-02 00:25 2.0K 
[TXT]NotNullMarkedAnnotatedInnerOfParameterized.java2024-12-02 00:25 2.0K 
[TXT]NotNullMarkedAnnotatedTypeParameter.java2024-12-02 00:25 1.1K 
[TXT]NotNullMarkedAnnotatedTypeParameterUnspec.java2024-12-02 00:25 1.0K 
[TXT]NotNullMarkedAnnotatedWildcard.java2024-12-02 00:25 1.3K 
[TXT]NotNullMarkedAnnotatedWildcardUnspec.java2024-12-02 00:25 1.3K 
[TXT]NotNullMarkedClassToSelf.java2024-12-02 00:25 1.6K 
[TXT]NotNullMarkedConcatResult.java2024-12-02 00:25 1.0K 
[TXT]NotNullMarkedContainmentExtends.java2024-12-02 00:25 1.9K 
[TXT]NotNullMarkedContainmentSuper.java2024-12-02 00:25 1.8K 
[TXT]NotNullMarkedContainmentSuperVsExtends.java2024-12-02 00:25 1.3K 
[TXT]NotNullMarkedIfCondition.java2024-12-02 00:25 1.2K 
[TXT]NotNullMarkedInferenceChoosesNullableTypeVariable.java2024-12-02 00:25 952  
[TXT]NotNullMarkedLocalVariable.java2024-12-02 00:25 1.3K 
[TXT]NotNullMarkedOverrides.java2024-12-02 00:25 1.8K 
[TXT]NotNullMarkedTypeVariableBound.java2024-12-02 00:25 1.8K 
[TXT]NotNullMarkedUnboxing.java2024-12-02 00:25 1.4K 
[TXT]NotNullMarkedUseOfTypeVariable.java2024-12-02 00:25 2.2K 
[TXT]NotNullMarkedUseOfTypeVariableAsTypeArgument.java2024-12-02 00:25 2.5K 
[TXT]NotNullMarkedUseOfWildcardAsTypeArgument.java2024-12-02 00:25 1.3K 
[TXT]NullCheck.java2024-12-02 00:25 1.4K 
[TXT]NullCheckTypeVariable.java2024-12-02 00:25 1.3K 
[TXT]NullCheckTypeVariableUnionNullBound.java2024-12-02 00:25 1.6K 
[TXT]NullCheckTypeVariableUnspecBound.java2024-12-02 00:25 1.7K 
[TXT]NullLiteralToClass.java2024-12-02 00:25 1.0K 
[TXT]NullLiteralToTypeVariable.java2024-12-02 00:25 2.8K 
[TXT]NullLiteralToTypeVariableUnionNull.java2024-12-02 00:25 2.5K 
[TXT]NullLiteralToTypeVariableUnspec.java2024-12-02 00:25 3.4K 
[TXT]NullMarkedDirectUseOfNotNullMarkedBoundedTypeVariable.java2024-12-02 00:25 1.3K 
[TXT]NullUnmarkedUndoesNullMarked.java2024-12-02 00:25 918  
[TXT]NullUnmarkedUndoesNullMarkedForWildcards.java2024-12-02 00:25 1.0K 
[TXT]NullnessDoesNotAffectOverloadSelection.java2024-12-02 00:25 902  
[TXT]ObjectAsSuperOfTypeVariable.java2024-12-02 00:25 1.1K 
[TXT]OutOfBoundsTypeVariable.java2024-12-02 00:25 1.0K 
[TXT]OverrideParameters.java2024-12-02 00:25 2.3K 
[TXT]OverrideParametersThatAreTypeVariables.java2024-12-02 00:25 1.4K 
[TXT]OverrideReturns.java2024-12-02 00:25 1.7K 
[TXT]ParameterizedWithTypeVariableArgumentToSelf.java2024-12-02 00:25 814  
[TXT]PrimitiveAnnotations.java2024-12-02 00:25 1.2K 
[TXT]PrimitiveAnnotationsUnspec.java2024-12-02 00:25 1.2K 
[TXT]README.md2024-12-02 00:25 7.4K 
[TXT]SameTypeObject.java2024-12-02 00:25 1.8K 
[TXT]SameTypeTypeVariable.java2024-12-02 00:25 1.7K 
[TXT]SuperNullableForNonNullableTypeParameter.java2024-12-02 00:25 1.0K 
[TXT]SuperObject.java2024-12-02 00:25 1.5K 
[TXT]SuperObjectUnionNull.java2024-12-02 00:25 1.3K 
[TXT]SuperObjectUnspec.java2024-12-02 00:25 1.5K 
[TXT]SuperSameType.java2024-12-02 00:25 1.7K 
[TXT]SuperTypeVariable.java2024-12-02 00:25 3.2K 
[TXT]SuperTypeVariableUnionNull.java2024-12-02 00:25 2.6K 
[TXT]SuperTypeVariableUnspec.java2024-12-02 00:25 3.4K 
[TXT]SuperVsObject.java2024-12-02 00:25 1.2K 
[TXT]SuperVsSuperNullable.java2024-12-02 00:25 1.7K 
[TXT]Ternary.java2024-12-02 00:25 1.9K 
[TXT]TypeArgumentOfTypeVariableBound.java2024-12-02 00:25 2.0K 
[TXT]TypeArgumentOfWildcardBound.java2024-12-02 00:25 2.1K 
[TXT]TypeVariableMinusNullVsTypeVariable.java2024-12-02 00:25 2.3K 
[TXT]TypeVariableToObject.java2024-12-02 00:25 2.8K 
[TXT]TypeVariableToObjectUnionNull.java2024-12-02 00:25 2.5K 
[TXT]TypeVariableToObjectUnspec.java2024-12-02 00:25 3.3K 
[TXT]TypeVariableToParent.java2024-12-02 00:25 2.5K 
[TXT]TypeVariableToParentUnionNull.java2024-12-02 00:25 2.3K 
[TXT]TypeVariableToParentUnspec.java2024-12-02 00:25 2.8K 
[TXT]TypeVariableToSelf.java2024-12-02 00:25 2.5K 
[TXT]TypeVariableToSelfUnionNull.java2024-12-02 00:25 2.7K 
[TXT]TypeVariableToSelfUnspec.java2024-12-02 00:25 2.9K 
[TXT]TypeVariableUnionNullToObject.java2024-12-02 00:25 3.1K 
[TXT]TypeVariableUnionNullToObjectUnionNull.java2024-12-02 00:25 2.7K 
[TXT]TypeVariableUnionNullToObjectUnspec.java2024-12-02 00:25 3.6K 
[TXT]TypeVariableUnionNullToParent.java2024-12-02 00:25 2.7K 
[TXT]TypeVariableUnionNullToParentUnionNull.java2024-12-02 00:25 2.5K 
[TXT]TypeVariableUnionNullToParentUnspec.java2024-12-02 00:25 3.2K 
[TXT]TypeVariableUnionNullToSelf.java2024-12-02 00:25 3.2K 
[TXT]TypeVariableUnionNullToSelfUnionNull.java2024-12-02 00:25 2.9K 
[TXT]TypeVariableUnionNullToSelfUnspec.java2024-12-02 00:25 3.8K 
[TXT]TypeVariableUnspecToObject.java2024-12-02 00:25 3.4K 
[TXT]TypeVariableUnspecToObjectUnionNull.java2024-12-02 00:25 2.9K 
[TXT]TypeVariableUnspecToObjectUnspec.java2024-12-02 00:25 3.8K 
[TXT]TypeVariableUnspecToParent.java2024-12-02 00:25 3.0K 
[TXT]TypeVariableUnspecToParentUnionNull.java2024-12-02 00:25 2.6K 
[TXT]TypeVariableUnspecToParentUnspec.java2024-12-02 00:25 3.3K 
[TXT]TypeVariableUnspecToSelf.java2024-12-02 00:25 3.6K 
[TXT]TypeVariableUnspecToSelfUnionNull.java2024-12-02 00:25 3.0K 
[TXT]TypeVariableUnspecToSelfUnspec.java2024-12-02 00:25 3.9K 
[TXT]Unboxing.java2024-12-02 00:25 1.2K 
[TXT]UninitializedField.java2024-12-02 00:25 1.1K 
[TXT]UnionTypeArgumentWithUseSite.java2024-12-02 00:25 2.5K 
[TXT]UnrecognizedLocationsMisc.java2024-12-02 00:25 1.6K 
[TXT]UnspecifiedClassTypeArgumentForNonNullableParameter.java2024-12-02 00:25 965  
[TXT]UnspecifiedTypeArgumentForNonNullableParameter.java2024-12-02 00:25 1.5K 
[TXT]UnspecifiedTypeArgumentForNonNullableParameterRepeatedSubstitution.java2024-12-02 00:25 1.7K 
[TXT]UnspecifiedTypeArgumentForNonNullableParameterUseUnspec.java2024-12-02 00:25 1.7K 
[TXT]UnspecifiedTypeVariableTypeArgumentForNonNullableParameter.java2024-12-02 00:25 971  
[TXT]UseOfTypeVariableAsTypeArgument.java2024-12-02 00:25 2.2K 
[TXT]UseOfTypeVariableUnionNullAsTypeArgument.java2024-12-02 00:25 2.3K 
[TXT]UseOfTypeVariableUnspecAsTypeArgument.java2024-12-02 00:25 2.4K 
[TXT]WildcardBoundWithAnnotations.java2024-12-02 00:25 1.6K 
[TXT]WildcardCapturesToBoundOfTypeParameterNotToTypeVariableItself.java2024-12-02 00:25 1.0K 
[DIR]annotatedBoundsOfWildcard/2024-12-02 00:25 -  
[DIR]defaults/2024-12-02 00:25 -  
[DIR]fullyQualified/2024-12-02 00:25 -  
[DIR]ignoreAnnotations/2024-12-02 00:25 -  
[DIR]implementWithNullableTypeArgument/2024-12-02 00:25 -  
[DIR]memberSelectNonExpression/2024-12-02 00:25 -  
[DIR]nonPlatformTypeParameter/2024-12-02 00:25 -  
[DIR]nullnessUnspecifiedTypeParameter/2024-12-02 00:25 -  
[DIR]packageDefault/2024-12-02 00:25 -  
[DIR]selfType/2024-12-02 00:25 -  
[DIR]simple/2024-12-02 00:25 -  
[DIR]typeArgumentsFromParameterBounds/2024-12-02 00:25 -  
[DIR]typeParameterBounds/2024-12-02 00:25 -  
[DIR]wildcardsWithDefault/2024-12-02 00:25 -  
Apache/2.4.62 (Debian) Server at mirror.wuchai.net Port 8080