Index of /external/jspecify/samples/
../
annotatedBoundsOfWildcard/ 24-Feb-2026 12:56 -
defaults/ 24-Feb-2026 12:56 -
fullyQualified/ 24-Feb-2026 12:56 -
ignoreAnnotations/ 24-Feb-2026 12:56 -
implementWithNullableTypeArgument/ 24-Feb-2026 12:56 -
memberSelectNonExpression/ 24-Feb-2026 12:56 -
nonPlatformTypeParameter/ 24-Feb-2026 12:56 -
nullnessUnspecifiedTypeParameter/ 24-Feb-2026 12:56 -
packageDefault/ 24-Feb-2026 12:56 -
selfType/ 24-Feb-2026 12:56 -
simple/ 24-Feb-2026 12:56 -
typeArgumentsFromParameterBounds/ 24-Feb-2026 12:56 -
typeParameterBounds/ 24-Feb-2026 12:56 -
wildcardsWithDefault/ 24-Feb-2026 12:56 -
AnnotatedInnerOfNonParameterized.java 24-Feb-2026 12:56 1937
AnnotatedInnerOfParameterized.java 24-Feb-2026 12:56 1937
AnnotatedReceiver.java 24-Feb-2026 12:56 1173
AnnotatedTypeParameter.java 24-Feb-2026 12:56 1134
AnnotatedTypeParameterUnspec.java 24-Feb-2026 12:56 1078
AnnotatedWildcard.java 24-Feb-2026 12:56 1353
AnnotatedWildcardUnspec.java 24-Feb-2026 12:56 1324
ArraySameType.java 24-Feb-2026 12:56 1672
ArraySubtype.java 24-Feb-2026 12:56 1488
AssignmentAsExpression.java 24-Feb-2026 12:56 903
AugmentedInferenceAgreesWithBaseInference.java 24-Feb-2026 12:56 1635
BoundedTypeVariableReturn.java 24-Feb-2026 12:56 1341
CaptureAsInferredTypeArgument.java 24-Feb-2026 12:56 2261
CaptureConversionForSubtyping.java 24-Feb-2026 12:56 900
CaptureConvertedToObject.java 24-Feb-2026 12:56 2327
CaptureConvertedToObjectUnionNull.java 24-Feb-2026 12:56 2278
CaptureConvertedToObjectUnspec.java 24-Feb-2026 12:56 2599
CaptureConvertedToOther.java 24-Feb-2026 12:56 2290
CaptureConvertedToOtherUnionNull.java 24-Feb-2026 12:56 2241
CaptureConvertedToOtherUnspec.java 24-Feb-2026 12:56 2562
CaptureConvertedUnionNullToObject.java 24-Feb-2026 12:56 2780
CaptureConvertedUnionNullToObjectUnionNull.java 24-Feb-2026 12:56 2501
CaptureConvertedUnionNullToObjectUnspec.java 24-Feb-2026 12:56 3206
CaptureConvertedUnionNullToOther.java 24-Feb-2026 12:56 2743
CaptureConvertedUnionNullToOtherUnionNull.java 24-Feb-2026 12:56 2464
CaptureConvertedUnionNullToOtherUnspec.java 24-Feb-2026 12:56 3169
CaptureConvertedUnspecToObject.java 24-Feb-2026 12:56 2903
CaptureConvertedUnspecToObjectUnionNull.java 24-Feb-2026 12:56 2470
CaptureConvertedUnspecToObjectUnspec.java 24-Feb-2026 12:56 3175
CaptureConvertedUnspecToOther.java 24-Feb-2026 12:56 2866
CaptureConvertedUnspecToOtherUnionNull.java 24-Feb-2026 12:56 2433
CaptureConvertedUnspecToOtherUnspec.java 24-Feb-2026 12:56 3138
CastOfCaptureOfNotNullMarkedUnboundedWildcardFo..> 24-Feb-2026 12:56 1055
CastOfCaptureOfUnboundedWildcardForNotNullMarke..> 24-Feb-2026 12:56 1107
CastOfCaptureOfUnboundedWildcardForObjectBounde..> 24-Feb-2026 12:56 914
CastToPrimitive.java 24-Feb-2026 12:56 1033
CastWildcardToTypeVariable.java 24-Feb-2026 12:56 1057
Catch.java 24-Feb-2026 12:56 1414
ClassLiteral.java 24-Feb-2026 12:56 823
ClassToObject.java 24-Feb-2026 12:56 1594
ClassToSelf.java 24-Feb-2026 12:56 1495
ComplexParametric.java 24-Feb-2026 12:56 9264
ConcatResult.java 24-Feb-2026 12:56 1039
ConflictingAnnotations.java 24-Feb-2026 12:56 954
Constants.java 24-Feb-2026 12:56 971
ContainmentExtends.java 24-Feb-2026 12:56 1822
ContainmentExtendsBounded.java 24-Feb-2026 12:56 1069
ContainmentSuper.java 24-Feb-2026 12:56 1784
ContainmentSuperVsExtends.java 24-Feb-2026 12:56 1277
ContainmentSuperVsExtendsSameType.java 24-Feb-2026 12:56 974
ContravariantReturns.java 24-Feb-2026 12:56 1268
CovariantReturns.java 24-Feb-2026 12:56 1419
DereferenceClass.java 24-Feb-2026 12:56 1055
DereferenceIntersection.java 24-Feb-2026 12:56 2482
DereferenceTernary.java 24-Feb-2026 12:56 888
DereferenceTypeVariable.java 24-Feb-2026 12:56 3120
EnumAnnotations.java 24-Feb-2026 12:56 936
ExtendsSameType.java 24-Feb-2026 12:56 1761
ExtendsTypeVariableImplementedForNullableTypeAr..> 24-Feb-2026 12:56 1626
ExtendsVsExtendsNullable.java 24-Feb-2026 12:56 1779
IfCondition.java 24-Feb-2026 12:56 1206
InferenceChoosesNullableTypeVariable.java 24-Feb-2026 12:56 873
InstanceOfCheck.java 24-Feb-2026 12:56 1239
IntersectionSupertype.java 24-Feb-2026 12:56 2605
LocalVariable.java 24-Feb-2026 12:56 1336
MultiBoundTypeVariableToObject.java 24-Feb-2026 12:56 1748
MultiBoundTypeVariableToObjectUnionNull.java 24-Feb-2026 12:56 1669
MultiBoundTypeVariableToObjectUnspec.java 24-Feb-2026 12:56 1964
MultiBoundTypeVariableToOther.java 24-Feb-2026 12:56 1720
MultiBoundTypeVariableToOtherUnionNull.java 24-Feb-2026 12:56 1641
MultiBoundTypeVariableToOtherUnspec.java 24-Feb-2026 12:56 1936
MultiBoundTypeVariableToSelf.java 24-Feb-2026 12:56 1523
MultiBoundTypeVariableToSelfUnionNull.java 24-Feb-2026 12:56 1622
MultiBoundTypeVariableToSelfUnspec.java 24-Feb-2026 12:56 1725
MultiBoundTypeVariableUnionNullToObject.java 24-Feb-2026 12:56 1975
MultiBoundTypeVariableUnionNullToObjectUnionNul..> 24-Feb-2026 12:56 1775
MultiBoundTypeVariableUnionNullToObjectUnspec.java 24-Feb-2026 12:56 2317
MultiBoundTypeVariableUnionNullToOther.java 24-Feb-2026 12:56 1947
MultiBoundTypeVariableUnionNullToOtherUnionNull..> 24-Feb-2026 12:56 1747
MultiBoundTypeVariableUnionNullToOtherUnspec.java 24-Feb-2026 12:56 2289
MultiBoundTypeVariableUnionNullToSelf.java 24-Feb-2026 12:56 1928
MultiBoundTypeVariableUnionNullToSelfUnionNull...> 24-Feb-2026 12:56 1721
MultiBoundTypeVariableUnionNullToSelfUnspec.java 24-Feb-2026 12:56 2256
MultiBoundTypeVariableUnspecToObject.java 24-Feb-2026 12:56 2190
MultiBoundTypeVariableUnspecToObjectUnionNull.java 24-Feb-2026 12:56 1885
MultiBoundTypeVariableUnspecToObjectUnspec.java 24-Feb-2026 12:56 2434
MultiBoundTypeVariableUnspecToOther.java 24-Feb-2026 12:56 2162
MultiBoundTypeVariableUnspecToOtherUnionNull.java 24-Feb-2026 12:56 1857
MultiBoundTypeVariableUnspecToOtherUnspec.java 24-Feb-2026 12:56 2406
MultiBoundTypeVariableUnspecToSelf.java 24-Feb-2026 12:56 2157
MultiBoundTypeVariableUnspecToSelfUnionNull.java 24-Feb-2026 12:56 1824
MultiBoundTypeVariableUnspecToSelfUnspec.java 24-Feb-2026 12:56 2380
MultiplePathsToTypeVariable.java 24-Feb-2026 12:56 1966
NoPathToTypeVariableMinusNull.java 24-Feb-2026 12:56 988
NonConstantPrimitives.java 24-Feb-2026 12:56 818
NonNullProjection.java 24-Feb-2026 12:56 934
NonNullSimple.java 24-Feb-2026 12:56 817
NotNullMarkedAnnotatedInnerOfNonParameterized.java 24-Feb-2026 12:56 2011
NotNullMarkedAnnotatedInnerOfParameterized.java 24-Feb-2026 12:56 2011
NotNullMarkedAnnotatedTypeParameter.java 24-Feb-2026 12:56 1094
NotNullMarkedAnnotatedTypeParameterUnspec.java 24-Feb-2026 12:56 1035
NotNullMarkedAnnotatedWildcard.java 24-Feb-2026 12:56 1313
NotNullMarkedAnnotatedWildcardUnspec.java 24-Feb-2026 12:56 1281
NotNullMarkedClassToSelf.java 24-Feb-2026 12:56 1620
NotNullMarkedConcatResult.java 24-Feb-2026 12:56 996
NotNullMarkedContainmentExtends.java 24-Feb-2026 12:56 1899
NotNullMarkedContainmentSuper.java 24-Feb-2026 12:56 1861
NotNullMarkedContainmentSuperVsExtends.java 24-Feb-2026 12:56 1306
NotNullMarkedIfCondition.java 24-Feb-2026 12:56 1211
NotNullMarkedInferenceChoosesNullableTypeVariab..> 24-Feb-2026 12:56 952
NotNullMarkedLocalVariable.java 24-Feb-2026 12:56 1351
NotNullMarkedOverrides.java 24-Feb-2026 12:56 1808
NotNullMarkedTypeVariableBound.java 24-Feb-2026 12:56 1797
NotNullMarkedUnboxing.java 24-Feb-2026 12:56 1484
NotNullMarkedUseOfTypeVariable.java 24-Feb-2026 12:56 2272
NotNullMarkedUseOfTypeVariableAsTypeArgument.java 24-Feb-2026 12:56 2603
NotNullMarkedUseOfWildcardAsTypeArgument.java 24-Feb-2026 12:56 1367
NullCheck.java 24-Feb-2026 12:56 1468
NullCheckTypeVariable.java 24-Feb-2026 12:56 1381
NullCheckTypeVariableUnionNullBound.java 24-Feb-2026 12:56 1684
NullCheckTypeVariableUnspecBound.java 24-Feb-2026 12:56 1692
NullLiteralToClass.java 24-Feb-2026 12:56 1012
NullLiteralToTypeVariable.java 24-Feb-2026 12:56 2900
NullLiteralToTypeVariableUnionNull.java 24-Feb-2026 12:56 2525
NullLiteralToTypeVariableUnspec.java 24-Feb-2026 12:56 3466
NullMarkedDirectUseOfNotNullMarkedBoundedTypeVa..> 24-Feb-2026 12:56 1343
NullUnmarkedUndoesNullMarked.java 24-Feb-2026 12:56 918
NullUnmarkedUndoesNullMarkedForWildcards.java 24-Feb-2026 12:56 1053
NullnessDoesNotAffectOverloadSelection.java 24-Feb-2026 12:56 902
ObjectAsSuperOfTypeVariable.java 24-Feb-2026 12:56 1150
OutOfBoundsTypeVariable.java 24-Feb-2026 12:56 979
OverrideParameters.java 24-Feb-2026 12:56 2339
OverrideParametersThatAreTypeVariables.java 24-Feb-2026 12:56 1407
OverrideReturns.java 24-Feb-2026 12:56 1747
ParameterizedWithTypeVariableArgumentToSelf.java 24-Feb-2026 12:56 814
PrimitiveAnnotations.java 24-Feb-2026 12:56 1210
PrimitiveAnnotationsUnspec.java 24-Feb-2026 12:56 1241
README.md 24-Feb-2026 12:56 7611
SameTypeObject.java 24-Feb-2026 12:56 1800
SameTypeTypeVariable.java 24-Feb-2026 12:56 1744
SuperNullableForNonNullableTypeParameter.java 24-Feb-2026 12:56 1059
SuperObject.java 24-Feb-2026 12:56 1526
SuperObjectUnionNull.java 24-Feb-2026 12:56 1367
SuperObjectUnspec.java 24-Feb-2026 12:56 1567
SuperSameType.java 24-Feb-2026 12:56 1747
SuperTypeVariable.java 24-Feb-2026 12:56 3301
SuperTypeVariableUnionNull.java 24-Feb-2026 12:56 2638
SuperTypeVariableUnspec.java 24-Feb-2026 12:56 3519
SuperVsObject.java 24-Feb-2026 12:56 1201
SuperVsSuperNullable.java 24-Feb-2026 12:56 1763
Ternary.java 24-Feb-2026 12:56 1982
TypeArgumentOfTypeVariableBound.java 24-Feb-2026 12:56 2054
TypeArgumentOfWildcardBound.java 24-Feb-2026 12:56 2165
TypeVariableMinusNullVsTypeVariable.java 24-Feb-2026 12:56 2387
TypeVariableToObject.java 24-Feb-2026 12:56 2909
TypeVariableToObjectUnionNull.java 24-Feb-2026 12:56 2600
TypeVariableToObjectUnspec.java 24-Feb-2026 12:56 3349
TypeVariableToParent.java 24-Feb-2026 12:56 2599
TypeVariableToParentUnionNull.java 24-Feb-2026 12:56 2400
TypeVariableToParentUnspec.java 24-Feb-2026 12:56 2913
TypeVariableToSelf.java 24-Feb-2026 12:56 2585
TypeVariableToSelfUnionNull.java 24-Feb-2026 12:56 2754
TypeVariableToSelfUnspec.java 24-Feb-2026 12:56 2927
TypeVariableUnionNullToObject.java 24-Feb-2026 12:56 3144
TypeVariableUnionNullToObjectUnionNull.java 24-Feb-2026 12:56 2769
TypeVariableUnionNullToObjectUnspec.java 24-Feb-2026 12:56 3710
TypeVariableUnionNullToParent.java 24-Feb-2026 12:56 2808
TypeVariableUnionNullToParentUnionNull.java 24-Feb-2026 12:56 2529
TypeVariableUnionNullToParentUnspec.java 24-Feb-2026 12:56 3234
TypeVariableUnionNullToSelf.java 24-Feb-2026 12:56 3298
TypeVariableUnionNullToSelfUnionNull.java 24-Feb-2026 12:56 2923
TypeVariableUnionNullToSelfUnspec.java 24-Feb-2026 12:56 3864
TypeVariableUnspecToObject.java 24-Feb-2026 12:56 3443
TypeVariableUnspecToObjectUnionNull.java 24-Feb-2026 12:56 2942
TypeVariableUnspecToObjectUnspec.java 24-Feb-2026 12:56 3883
TypeVariableUnspecToParent.java 24-Feb-2026 12:56 3049
TypeVariableUnspecToParentUnionNull.java 24-Feb-2026 12:56 2658
TypeVariableUnspecToParentUnspec.java 24-Feb-2026 12:56 3363
TypeVariableUnspecToSelf.java 24-Feb-2026 12:56 3695
TypeVariableUnspecToSelfUnionNull.java 24-Feb-2026 12:56 3096
TypeVariableUnspecToSelfUnspec.java 24-Feb-2026 12:56 4037
Unboxing.java 24-Feb-2026 12:56 1250
UninitializedField.java 24-Feb-2026 12:56 1139
UnionTypeArgumentWithUseSite.java 24-Feb-2026 12:56 2611
UnrecognizedLocationsMisc.java 24-Feb-2026 12:56 1675
UnspecifiedClassTypeArgumentForNonNullableParam..> 24-Feb-2026 12:56 965
UnspecifiedTypeArgumentForNonNullableParameter...> 24-Feb-2026 12:56 1526
UnspecifiedTypeArgumentForNonNullableParameterR..> 24-Feb-2026 12:56 1736
UnspecifiedTypeArgumentForNonNullableParameterU..> 24-Feb-2026 12:56 1748
UnspecifiedTypeVariableTypeArgumentForNonNullab..> 24-Feb-2026 12:56 971
UseOfTypeVariableAsTypeArgument.java 24-Feb-2026 12:56 2282
UseOfTypeVariableUnionNullAsTypeArgument.java 24-Feb-2026 12:56 2367
UseOfTypeVariableUnspecAsTypeArgument.java 24-Feb-2026 12:56 2459
WildcardBoundWithAnnotations.java 24-Feb-2026 12:56 1658
WildcardCapturesToBoundOfTypeParameterNotToType..> 24-Feb-2026 12:56 993