package info
(click to toggle)
Folder: nullness
| .. (parent) | ||||
| d | rwxr-xr-x | 4,096 | flow | |
| d | rwxr-xr-x | 4,096 | generics | |
| d | rwxr-xr-x | 4,096 | init | |
| d | rwxr-xr-x | 4,096 | java8 | |
| d | rwxr-xr-x | 4,096 | java8inference | |
| d | rwxr-xr-x | 124 | jdkannotations | |
| - | rw-r--r-- | 3,295 | AliasedAnnotations.java | |
| - | rw-r--r-- | 602 | Aliasing.java | |
| - | rw-r--r-- | 730 | AnnotatedJdkEqualsTest.java | |
| - | rw-r--r-- | 642 | AnnotatedJdkTest.java | |
| - | rw-r--r-- | 631 | AnonymousSkipDefs.java | |
| - | rw-r--r-- | 1,137 | ArrayArgs.java | |
| - | rw-r--r-- | 608 | ArrayAssignmentFlow.java | |
| - | rw-r--r-- | 6,865 | ArrayCreationNullable.java | |
| - | rw-r--r-- | 731 | ArrayCreationSubArray.java | |
| - | rw-r--r-- | 170 | ArrayInitBug.java | |
| - | rw-r--r-- | 729 | ArrayLazyNN.java | |
| - | rw-r--r-- | 524 | ArrayNew.java | |
| - | rw-r--r-- | 955 | ArrayRefs.java | |
| - | rw-r--r-- | 1,573 | AssertAfter.java | |
| - | rw-r--r-- | 3,180 | AssertAfter2.java | |
| - | rw-r--r-- | 3,415 | AssertAfterChecked.java | |
| - | rw-r--r-- | 5,134 | AssertIfChecked.java | |
| - | rw-r--r-- | 1,904 | AssertIfClient.java | |
| - | rw-r--r-- | 1,710 | AssertIfFalseTest.java | |
| - | rw-r--r-- | 810 | AssertIfFalseTest2.java | |
| - | rw-r--r-- | 330 | AssertIfNonNullTest.java | |
| - | rw-r--r-- | 172 | AssertInStatic.java | |
| - | rw-r--r-- | 1,531 | AssertNonNullIfNonNullTest.java | |
| - | rw-r--r-- | 597 | AssertNonNullTest.java | |
| - | rw-r--r-- | 775 | AssertNullable.java | |
| - | rw-r--r-- | 1,038 | AssertParameterNullness.java | |
| - | rw-r--r-- | 874 | AssertTwice.java | |
| - | rw-r--r-- | 1,617 | AssertWithStatic.java | |
| - | rw-r--r-- | 2,388 | Asserts.java | |
| - | rw-r--r-- | 1,058 | AssignmentDuringInitialization.java | |
| - | rw-r--r-- | 224 | BinaryOp.java | |
| - | rw-r--r-- | 381 | BinarySearch.java | |
| - | rw-r--r-- | 3,730 | BoxingNullness.java | |
| - | rw-r--r-- | 507 | Bug102.java | |
| - | rw-r--r-- | 2,650 | Bug103.java | |
| - | rw-r--r-- | 452 | CallSuper.java | |
| - | rw-r--r-- | 507 | CastTypeVariable.java | |
| - | rw-r--r-- | 3,371 | CastsNullness.java | |
| - | rw-r--r-- | 833 | ChainAssignment.java | |
| - | rw-r--r-- | 391 | ChicoryPremain.java | |
| - | rw-r--r-- | 295 | CompoundAssign.java | |
| - | rw-r--r-- | 3,126 | ConditionalNullness.java | |
| - | rw-r--r-- | 207 | ConditionalOr.java | |
| - | rw-r--r-- | 795 | Conditions.java | |
| - | rw-r--r-- | 433 | ControlFlow.java | |
| - | rw-r--r-- | 411 | CopyOfArray.java | |
| - | rw-r--r-- | 3,717 | DaikonTests.java | |
| - | rw-r--r-- | 4,256 | DefaultAnnotation.java | |
| - | rw-r--r-- | 496 | DefaultFlow.java | |
| - | rw-r--r-- | 414 | DefaultInterface.java | |
| - | rw-r--r-- | 888 | DefaultLoops.java | |
| - | rw-r--r-- | 551 | DefaultsNullness.java | |
| - | rw-r--r-- | 319 | DotClass.java | |
| - | rw-r--r-- | 794 | EmptyConstructor.java | |
| - | rw-r--r-- | 886 | EnsuresNonNullIfInheritedTest.java | |
| - | rw-r--r-- | 2,079 | EnsuresNonNullIfTest.java | |
| - | rw-r--r-- | 1,761 | EnsuresNonNullIfTest2.java | |
| - | rw-r--r-- | 790 | EnsuresNonNullIfTest4.java | |
| - | rw-r--r-- | 1,487 | EnsuresNonNullIfTestSimple.java | |
| - | rw-r--r-- | 314 | EnumStaticBlock.java | |
| - | rw-r--r-- | 505 | Enums.java | |
| - | rw-r--r-- | 1,059 | EqualToNullness.java | |
| - | rw-r--r-- | 798 | ExceptionParam.java | |
| - | rw-r--r-- | 1,127 | Exceptions.java | |
| - | rw-r--r-- | 1,568 | ExplictTypeVarAnnos.java | |
| - | rw-r--r-- | 1,737 | ExpressionsNullness.java | |
| - | rw-r--r-- | 282 | ExtendsArrayList.java | |
| - | rw-r--r-- | 309 | FieldInit.java | |
| - | rw-r--r-- | 1,275 | FinalFields.java | |
| - | rw-r--r-- | 658 | FinalVar.java | |
| - | rw-r--r-- | 1,242 | FinalVar2.java | |
| - | rw-r--r-- | 338 | FinalVar3.java | |
| - | rw-r--r-- | 808 | FindBugs.java | |
| - | rw-r--r-- | 196 | FlowAssignment.java | |
| - | rw-r--r-- | 1,346 | FlowCompound.java | |
| - | rw-r--r-- | 384 | FlowCompoundConcatenation.java | |
| - | rw-r--r-- | 1,251 | FlowConditions.java | |
| - | rw-r--r-- | 828 | FlowConstructor.java | |
| - | rw-r--r-- | 156 | FlowConstructor2.java | |
| - | rw-r--r-- | 2,031 | FlowExpressionParsingBug.java | |
| - | rw-r--r-- | 1,675 | FlowField.java | |
| - | rw-r--r-- | 1,224 | FlowInitialization.java | |
| - | rw-r--r-- | 3,792 | FlowLoop.java | |
| - | rw-r--r-- | 2,316 | FlowNegation.java | |
| - | rw-r--r-- | 1,017 | FlowNonThis.java | |
| - | rw-r--r-- | 7,926 | FlowNullness.java | |
| - | rw-r--r-- | 266 | FlowSelf.java | |
| - | rw-r--r-- | 438 | ForEachMin.java | |
| - | rw-r--r-- | 843 | FullyQualifiedAnnotation.java | |
| - | rw-r--r-- | 567 | GeneralATFStore.java | |
| - | rw-r--r-- | 262 | GenericCast.java | |
| - | rw-r--r-- | 159 | GetConstantStr.java | |
| - | rw-r--r-- | 269 | GetPackage1.java | |
| - | rw-r--r-- | 770 | GetProperty.java | |
| - | rw-r--r-- | 306 | GetRefArg.java | |
| - | rw-r--r-- | 218 | HasInnerClass.java | |
| - | rw-r--r-- | 302 | HierarchicalInit.java | |
| - | rw-r--r-- | 261 | ImplementInterface.java | |
| - | rw-r--r-- | 145 | Imports1.java | |
| - | rw-r--r-- | 161 | Imports2.java | |
| - | rw-r--r-- | 190 | InferListParam.java | |
| - | rw-r--r-- | 982 | InferNullType.java | |
| - | rw-r--r-- | 710 | InferTypeArgsCondtionalExpression.java | |
| - | rw-r--r-- | 791 | InfiniteLoopIsSameType.java | |
| - | rw-r--r-- | 424 | InitSuppressWarnings.java | |
| - | rw-r--r-- | 252 | InitThrows.java | |
| - | rw-r--r-- | 358 | InitializationAssertionFailure.java | |
| - | rw-r--r-- | 580 | InitializedField.java | |
| - | rw-r--r-- | 2,257 | Initializer.java | |
| - | rw-r--r-- | 862 | InvariantTypes.java | |
| - | rw-r--r-- | 852 | IsEmptyPoll.java | |
| - | rw-r--r-- | 1,052 | Issue1027.java | |
| - | rw-r--r-- | 1,075 | Issue1046Java7.java | |
| - | rw-r--r-- | 496 | Issue1059.java | |
| - | rw-r--r-- | 1,747 | Issue1096.java | |
| - | rw-r--r-- | 843 | Issue1102.java | |
| - | rw-r--r-- | 306 | Issue1147.java | |
| - | rw-r--r-- | 463 | Issue1307.java | |
| - | rw-r--r-- | 968 | Issue1406.java | |
| - | rw-r--r-- | 1,604 | Issue1522.java | |
| - | rw-r--r-- | 351 | Issue1555.java | |
| - | rw-r--r-- | 1,285 | Issue160.java | |
| - | rw-r--r-- | 557 | Issue1628.java | |
| - | rw-r--r-- | 768 | Issue1712.java | |
| - | rw-r--r-- | 6,411 | Issue1797.java | |
| - | rw-r--r-- | 1,303 | Issue1847.java | |
| - | rw-r--r-- | 659 | Issue1847B.java | |
| - | rw-r--r-- | 1,100 | Issue1922.java | |
| - | rw-r--r-- | 518 | Issue1949.java | |
| - | rw-r--r-- | 527 | Issue1981.java | |
| - | rw-r--r-- | 988 | Issue1983.java | |
| - | rw-r--r-- | 2,787 | Issue2013.java | |
| - | rw-r--r-- | 1,432 | Issue2031.java | |
| - | rw-r--r-- | 573 | Issue2048.java | |
| - | rw-r--r-- | 520 | Issue2052.java | |
| - | rw-r--r-- | 1,186 | Issue2171.java | |
| - | rw-r--r-- | 1,297 | Issue2247.java | |
| - | rw-r--r-- | 672 | Issue2407.java | |
| - | rw-r--r-- | 813 | Issue2470.java | |
| - | rw-r--r-- | 631 | Issue2564.java | |
| - | rw-r--r-- | 227 | Issue2565.java | |
| - | rw-r--r-- | 1,099 | Issue2587.java | |
| - | rw-r--r-- | 371 | Issue261.java | |
| - | rw-r--r-- | 1,381 | Issue2619.java | |
| - | rw-r--r-- | 1,915 | Issue2619b.java | |
| - | rw-r--r-- | 524 | Issue266.java | |
| - | rw-r--r-- | 562 | Issue266a.java | |
| - | rw-r--r-- | 317 | Issue2721.java | |
| - | rw-r--r-- | 779 | Issue273.java | |
| - | rw-r--r-- | 614 | Issue2865.java | |
| - | rw-r--r-- | 809 | Issue2888.java | |
| - | rw-r--r-- | 1,125 | Issue289.java | |
| - | rw-r--r-- | 1,273 | Issue293.java | |
| - | rw-r--r-- | 1,134 | Issue295.java | |
| - | rw-r--r-- | 1,184 | Issue296.java | |
| - | rw-r--r-- | 366 | Issue3020.java | |
| - | rw-r--r-- | 182 | Issue3022.java | |
| - | rw-r--r-- | 1,348 | Issue306.java | |
| - | rw-r--r-- | 494 | Issue308.java | |
| - | rw-r--r-- | 548 | Issue328.java | |
| - | rw-r--r-- | 252 | Issue331.java | |
| - | rw-r--r-- | 142 | Issue338.java | |
| - | rw-r--r-- | 397 | Issue345.java | |
| - | rw-r--r-- | 1,373 | Issue355.java | |
| - | rw-r--r-- | 285 | Issue369.java | |
| - | rw-r--r-- | 218 | Issue370.java | |
| - | rw-r--r-- | 402 | Issue372.java | |
| - | rw-r--r-- | 247 | Issue376.java | |
| - | rw-r--r-- | 440 | Issue388.java | |
| - | rw-r--r-- | 1,122 | Issue391.java | |
| - | rw-r--r-- | 478 | Issue400.java | |
| - | rw-r--r-- | 690 | Issue408.java | |
| - | rw-r--r-- | 622 | Issue411.java | |
| - | rw-r--r-- | 1,421 | Issue414.java | |
| - | rw-r--r-- | 1,516 | Issue415.java | |
| - | rw-r--r-- | 438 | Issue419.java | |
| - | rw-r--r-- | 798 | Issue425.java | |
| - | rw-r--r-- | 782 | Issue427.java | |
| - | rw-r--r-- | 313 | Issue471.java | |
| - | rw-r--r-- | 704 | Issue500.java | |
| - | rw-r--r-- | 1,161 | Issue520.java | |
| - | rw-r--r-- | 581 | Issue531.java | |
| - | rw-r--r-- | 1,606 | Issue554.java | |
| - | rw-r--r-- | 234 | Issue563.java | |
| - | rw-r--r-- | 1,862 | Issue577.java | |
| - | rw-r--r-- | 460 | Issue578.java | |
| - | rw-r--r-- | 472 | Issue579Error.java | |
| - | rw-r--r-- | 334 | Issue580.java | |
| - | rw-r--r-- | 673 | Issue602.java | |
| - | rw-r--r-- | 1,075 | Issue653.java | |
| - | rw-r--r-- | 576 | Issue67.java | |
| - | rw-r--r-- | 635 | Issue672.java | |
| - | rw-r--r-- | 518 | Issue679.java | |
| - | rw-r--r-- | 1,378 | Issue738.java | |
| - | rw-r--r-- | 475 | Issue741.java | |
| - | rw-r--r-- | 1,953 | Issue752.java | |
| - | rw-r--r-- | 1,499 | Issue759.java | |
| - | rw-r--r-- | 564 | Issue764.java | |
| - | rw-r--r-- | 334 | Issue765.java | |
| - | rw-r--r-- | 590 | Issue811.java | |
| - | rw-r--r-- | 415 | Issue829.java | |
| - | rw-r--r-- | 401 | Issue868.java | |
| - | rw-r--r-- | 440 | Issue906.java | |
| - | rw-r--r-- | 1,221 | Issue961.java | |
| - | rw-r--r-- | 1,281 | Issue986.java | |
| - | rw-r--r-- | 707 | Issue989.java | |
| - | rw-r--r-- | 1,072 | IteratorEarlyExit.java | |
| - | rw-r--r-- | 144 | JPanelTest.java | |
| - | rw-r--r-- | 3,293 | JavaCopExplosion.java | |
| - | rw-r--r-- | 4,761 | JavaCopFlow.java | |
| - | rw-r--r-- | 493 | JavaCopRandomTests.java | |
| - | rw-r--r-- | 6,265 | JavaExprContext.java | |
| - | rw-r--r-- | 1,793 | KeyForAutoboxing.java | |
| - | rw-r--r-- | 4,991 | KeyForChecked.java | |
| - | rw-r--r-- | 496 | KeyForDiamond.java | |
| - | rw-r--r-- | 4,980 | KeyForFlow.java | |
| - | rw-r--r-- | 638 | KeyForIssue328.java | |
| - | rw-r--r-- | 940 | KeyForLocalVariable.java | |
| - | rw-r--r-- | 1,543 | KeyForLub.java | |
| - | rw-r--r-- | 1,501 | KeyForMultiple.java | |
| - | rw-r--r-- | 590 | KeyForPolymorphism.java | |
| - | rw-r--r-- | 1,243 | KeyForPostcondition.java | |
| - | rw-r--r-- | 877 | KeyForPropagation.java | |
| - | rw-r--r-- | 2,689 | KeyForShadowing.java | |
| - | rw-r--r-- | 913 | KeyForStaticField.java | |
| - | rw-r--r-- | 1,254 | KeyForSubst.java | |
| - | rw-r--r-- | 4,345 | KeyForSubtyping.java | |
| - | rw-r--r-- | 4,510 | KeyForValidation.java | |
| - | rw-r--r-- | 1,312 | KeyFor_DirectionsFinder.java | |
| - | rw-r--r-- | 4,212 | KeyFors.java | |
| - | rw-r--r-- | 1,381 | Lazy.java | |
| - | rw-r--r-- | 2,740 | LazyInitialization.java | |
| - | rw-r--r-- | 540 | Listener.java | |
| - | rw-r--r-- | 560 | LogRecordTest.java | |
| - | rw-r--r-- | 1,893 | LogicOperations.java | |
| - | rw-r--r-- | 511 | LubTest.java | |
| - | rw-r--r-- | 4,477 | MapGetNullable.java | |
| - | rw-r--r-- | 2,253 | Marino.java | |
| - | rw-r--r-- | 770 | MethodInvocation.java | |
| - | rw-r--r-- | 792 | MethodTypeVars4.java | |
| - | rw-r--r-- | 692 | MissingBoundAnnotations.java | |
| - | rw-r--r-- | 3,147 | MisuseProperties.java | |
| - | rw-r--r-- | 442 | MonotonicNonNullTest.java | |
| - | rw-r--r-- | 304 | MultiAnnotations.java | |
| - | rw-r--r-- | 617 | MultiConstructorInit.java | |
| - | rw-r--r-- | 385 | MultipleErrors.java | |
| - | rw-r--r-- | 728 | MyException.java | |
| - | rw-r--r-- | 1,111 | NNOEMoreTests.java | |
| - | rw-r--r-- | 3,193 | NNOEStaticFields.java | |
| - | rw-r--r-- | 1,705 | NegatingConditionalNullness.java | |
| - | rw-r--r-- | 439 | NewNullable.java | |
| - | rw-r--r-- | 265 | NewObjectNonNull.java | |
| - | rw-r--r-- | 1,498 | NonEmptyCollection.java | |
| - | rw-r--r-- | 314 | NonNullInitialization.java | |
| - | rw-r--r-- | 363 | NonNullIteratorNext.java | |
| - | rw-r--r-- | 212 | NullableArrays.java | |
| - | rw-r--r-- | 5,187 | NullnessFieldInvar.java | |
| - | rw-r--r-- | 641 | OverrideANNA.java | |
| - | rw-r--r-- | 949 | OverrideANNA2.java | |
| - | rw-r--r-- | 804 | OverrideANNA3.java | |
| - | rw-r--r-- | 274 | OverrideGenerics.java | |
| - | rw-r--r-- | 539 | OverrideNNOE.java | |
| - | rw-r--r-- | 634 | OverrideNNOE2.java | |
| - | rw-r--r-- | 93 | PackageDecl.java | |
| - | rw-r--r-- | 4,196 | ParameterExpression.java | |
| - | rw-r--r-- | 1,087 | Polymorphism.java | |
| - | rw-r--r-- | 1,647 | PolymorphismArrays.java | |
| - | rw-r--r-- | 318 | PostconditionBug.java | |
| - | rw-r--r-- | 138 | PrimitivesNullness.java | |
| - | rw-r--r-- | 401 | PrivateMethodUnknownInit.java | |
| - | rw-r--r-- | 3,498 | PureTest.java | |
| - | rw-r--r-- | 178 | README | |
| - | rw-r--r-- | 788 | Raw2.java | |
| - | rw-r--r-- | 522 | RawAndPrimitive.java | |
| - | rw-r--r-- | 1,833 | RawField.java | |
| - | rw-r--r-- | 295 | RawInt.java | |
| - | rw-r--r-- | 445 | RawInt2.java | |
| - | rw-r--r-- | 1,000 | RawMethodInvocation.java | |
| - | rw-r--r-- | 396 | RawParameter.java | |
| - | rw-r--r-- | 1,661 | RawSuper.java | |
| - | rw-r--r-- | 1,215 | RawTypesAssignment.java | |
| - | rw-r--r-- | 6,131 | RawTypesBounded.java | |
| - | rw-r--r-- | 2,744 | RawTypesNullness.java | |
| - | rw-r--r-- | 2,035 | RawTypesUses.java | |
| - | rw-r--r-- | 970 | ReadyReadLine.java | |
| - | rw-r--r-- | 485 | ReferencesDefaults.java | |
| - | rw-r--r-- | 828 | RefineArray.java | |
| - | rw-r--r-- | 5,193 | RefineOverride.java | |
| - | rw-r--r-- | 4,576 | RequiresNonNullTest.java | |
| - | rw-r--r-- | 472 | RequiresPrivateField.java | |
| - | rw-r--r-- | 146 | SAMLineParser.java | |
| - | rw-r--r-- | 336 | SamFileValidator.java | |
| - | rw-r--r-- | 431 | SelfAssignment.java | |
| - | rw-r--r-- | 213 | SequenceAndIndices.java | |
| - | rw-r--r-- | 1,610 | SetIteratorTest.java | |
| - | rw-r--r-- | 514 | Simple2.java | |
| - | rw-r--r-- | 732 | SortingCollection.java | |
| - | rw-r--r-- | 456 | StaticInLoop.java | |
| - | rw-r--r-- | 293 | StaticInitialization.java | |
| - | rw-r--r-- | 1,012 | StaticInitializer.java | |
| - | rw-r--r-- | 508 | StaticInitializer2.java | |
| - | rw-r--r-- | 411 | Stats.java | |
| - | rw-r--r-- | 138 | StringTernaryConcat.java | |
| - | rw-r--r-- | 331 | SuperCall.java | |
| - | rw-r--r-- | 378 | SuperConstructorInit.java | |
| - | rw-r--r-- | 483 | SuppressDeprecation.java | |
| - | rw-r--r-- | 186 | SuppressWarningsTest.java | |
| - | rw-r--r-- | 766 | SwitchTest.java | |
| - | rw-r--r-- | 692 | Synchronization.java | |
| - | rw-r--r-- | 455 | TernaryNested.java | |
| - | rw-r--r-- | 304 | TernaryNullness.java | |
| - | rw-r--r-- | 421 | TestAssignment.java | |
| - | rw-r--r-- | 725 | TestFromPullRequest880.java | |
| - | rw-r--r-- | 716 | TestInfer.java | |
| - | rw-r--r-- | 1,878 | TestPolyNull.java | |
| - | rw-r--r-- | 333 | TestValOf.java | |
| - | rw-r--r-- | 586 | ThisIsNN.java | |
| - | rw-r--r-- | 585 | ThisLiteral.java | |
| - | rw-r--r-- | 449 | ThisLiteralQualified.java | |
| - | rw-r--r-- | 479 | ThisTest.java | |
| - | rw-r--r-- | 784 | ThreadLocalTest.java | |
| - | rw-r--r-- | 2,165 | ThreadLocalTest2.java | |
| - | rw-r--r-- | 539 | Throwing.java | |
| - | rw-r--r-- | 5,395 | ToArrayNullness.java | |
| - | rw-r--r-- | 685 | TryCatch.java | |
| - | rw-r--r-- | 425 | TryWithResources.java | |
| - | rw-r--r-- | 791 | TwoStaticInitBlocks.java | |
| - | rw-r--r-- | 1,020 | TypeVarPrimitivesNullness.java | |
| - | rw-r--r-- | 1,289 | UnannoPrimitives.java | |
| - | rw-r--r-- | 460 | UnannoPrimitivesDefaults.java | |
| - | rw-r--r-- | 747 | UnboxConditions.java | |
| - | rw-r--r-- | 1,065 | Unboxing.java | |
| - | rw-r--r-- | 2,509 | UnexpectedRaw.java | |
| - | rw-r--r-- | 1,759 | UnusedNullness.java | |
| - | rw-r--r-- | 777 | UnusedOnClass.java | |
| - | rw-r--r-- | 364 | ValidType.java | |
| - | rw-r--r-- | 478 | VarInfoName.java | |
| - | rw-r--r-- | 1,451 | VarargsNullness.java | |
| - | rw-r--r-- | 1,334 | VoidUse.java | |
| - | rw-r--r-- | 733 | WeakHasherMap.java | |
| - | rw-r--r-- | 331 | WeakIdentityPair.java | |
| - | rw-r--r-- | 225 | WeakRef.java | |
| - | rw-r--r-- | 1,724 | Wellformed.java | |
| - | rw-r--r-- | 1,288 | WhileTest.java | |
| - | rw-r--r-- | 188 | Widening.java | |
| - | rw-r--r-- | 1,839 | WildcardSubtype.java | |
| - | rw-r--r-- | 2,154 | WildcardSubtype2.java | |
| - | rw-r--r-- | 1,021 | Wildcards.java |
