Google Git
Sign in
third-party-mirror / typetools / checker-framework / refs/heads/main / . / checker / tests / nullness
tree: d1ebd92670ed876ca71a7fc197d21fff386c69c2 [path history] [tgz]
  1. flow/
  2. generics/
  3. init/
  4. java-unsound/
  5. java8/
  6. java8inference/
  7. jdkannotations/
  8. AliasedAnnotations.java
  9. Aliasing.java
  10. AnnotatedJdkEqualsTest.java
  11. AnnotatedJdkTest.java
  12. AnnotatedSupertype.java
  13. AnonymousSkipDefs.java
  14. ArrayArgs.java
  15. ArrayAssignmentFlow.java
  16. ArrayCreationNullable.java
  17. ArrayCreationSubArray.java
  18. ArrayIndex.java
  19. ArrayInitBug.java
  20. ArrayLazyNN.java
  21. ArrayNew.java
  22. ArrayRefs.java
  23. AssertAfter.java
  24. AssertAfter2.java
  25. AssertAfterChecked.java
  26. AssertIfChecked.java
  27. AssertIfClient.java
  28. AssertIfFalseTest.java
  29. AssertIfFalseTest2.java
  30. AssertIfNonNullTest.java
  31. AssertInStatic.java
  32. AssertNonNullIfNonNullTest.java
  33. AssertNonNullTest.java
  34. AssertNullable.java
  35. AssertParameterNullness.java
  36. Asserts.java
  37. AssertTwice.java
  38. AssertWithStatic.java
  39. AssignmentDuringInitialization.java
  40. BinaryOp.java
  41. BinarySearch.java
  42. BoxingNullness.java
  43. Bug102.java
  44. Bug103.java
  45. CallSuper.java
  46. CastsNullness.java
  47. CastTypeVariable.java
  48. ChainAssignment.java
  49. ChicoryPremain.java
  50. ClassGetCanonicalName.java
  51. CompoundAssign.java
  52. ConditionalNullness.java
  53. ConditionalOr.java
  54. Conditions.java
  55. ControlFlow.java
  56. CopyOfArray.java
  57. DaikonEnhancedFor.java
  58. DaikonEnhancedForNoThis.java
  59. DaikonTests.java
  60. DefaultAnnotation.java
  61. DefaultFlow.java
  62. DefaultingForEach.java
  63. DefaultInterface.java
  64. DefaultLoops.java
  65. DefaultsNullness.java
  66. DotClass.java
  67. EmptyConstructor.java
  68. EnsuresKeyForOverriding.java
  69. EnsuresNonNullIfInheritedTest.java
  70. EnsuresNonNullIfTest.java
  71. EnsuresNonNullIfTest2.java
  72. EnsuresNonNullIfTest4.java
  73. EnsuresNonNullIfTestSimple.java
  74. EnumsNullness.java
  75. EnumStaticBlock.java
  76. EqualToNullness.java
  77. ExceptionParam.java
  78. Exceptions.java
  79. ExplictTypeVarAnnos.java
  80. ExpressionsNullness.java
  81. ExtendsArrayList.java
  82. FieldInit.java
  83. FinalFields.java
  84. FinalVar.java
  85. FinalVar2.java
  86. FinalVar3.java
  87. FindBugs.java
  88. FlowAssignment.java
  89. FlowCompound.java
  90. FlowCompoundConcatenation.java
  91. FlowConditions.java
  92. FlowConstructor.java
  93. FlowConstructor2.java
  94. FlowExpressionParsingBug.java
  95. FlowField.java
  96. FlowInitialization.java
  97. FlowLoop.java
  98. FlowNegation.java
  99. FlowNonThis.java
  100. FlowNullness.java
  101. FlowSelf.java
  102. ForEachMin.java
  103. FullyQualifiedAnnotation.java
  104. GeneralATFStore.java
  105. GenericCast.java
  106. GetConstantStr.java
  107. GetInterfacesPurity.java
  108. GetPackage1.java
  109. GetProperty.java
  110. GetRefArg.java
  111. HasInnerClass.java
  112. HierarchicalInit.java
  113. ImplementInterface.java
  114. Imports1.java
  115. Imports2.java
  116. InferListParam.java
  117. InferNullType.java
  118. InferTypeArgsConditionalExpression.java
  119. InfiniteLoopIsSameType.java
  120. InitializationAssertionFailure.java
  121. InitializedField.java
  122. Initializer.java
  123. InitSuppressWarnings.java
  124. InitThrows.java
  125. InvariantTypes.java
  126. IsEmptyPoll.java
  127. Issue1027.java
  128. Issue1046Java7.java
  129. Issue1059.java
  130. Issue1096.java
  131. Issue1102.java
  132. Issue1147.java
  133. Issue1307.java
  134. Issue1406.java
  135. Issue1522.java
  136. Issue1555.java
  137. Issue1590.java
  138. Issue1590a.java
  139. Issue160.java
  140. Issue1628.java
  141. Issue1712.java
  142. Issue1797.java
  143. Issue1847.java
  144. Issue1847B.java
  145. Issue1922.java
  146. Issue1949.java
  147. Issue1981.java
  148. Issue1983.java
  149. Issue2013.java
  150. Issue2031.java
  151. Issue2048.java
  152. Issue2052.java
  153. Issue2171.java
  154. Issue2247.java
  155. Issue2407.java
  156. Issue2432.java
  157. Issue2432b.java
  158. Issue2470.java
  159. Issue2564.java
  160. Issue2565.java
  161. Issue2587.java
  162. Issue261.java
  163. Issue2619.java
  164. Issue2619b.java
  165. Issue266.java
  166. Issue266a.java
  167. Issue2721.java
  168. Issue273.java
  169. Issue2865.java
  170. Issue2888.java
  171. Issue289.java
  172. Issue293.java
  173. Issue295.java
  174. Issue296.java
  175. Issue3020.java
  176. Issue3022.java
  177. Issue3033.java
  178. Issue306.java
  179. Issue308.java
  180. Issue3150.java
  181. Issue328.java
  182. Issue331.java
  183. Issue3349.java
  184. Issue338.java
  185. Issue3443.java
  186. Issue345.java
  187. Issue354.java
  188. Issue355.java
  189. Issue3614.java
  190. Issue3622.java
  191. Issue3631.java
  192. Issue3681.java
  193. Issue369.java
  194. Issue370.java
  195. Issue372.java
  196. Issue376.java
  197. Issue3792.java
  198. Issue3850.java
  199. Issue388.java
  200. Issue3884.java
  201. Issue3888.java
  202. Issue391.java
  203. Issue3929.java
  204. Issue3935.java
  205. Issue3970.java
  206. Issue400.java
  207. Issue4007.java
  208. Issue408.java
  209. Issue411.java
  210. Issue414.java
  211. Issue415.java
  212. Issue419.java
  213. Issue425.java
  214. Issue427.java
  215. Issue4372.java
  216. Issue4381.java
  217. Issue4412.java
  218. Issue4579.java
  219. Issue4593.java
  220. Issue4614.java
  221. Issue471.java
  222. Issue500.java
  223. Issue520.java
  224. Issue531.java
  225. Issue554.java
  226. Issue563.java
  227. Issue577.java
  228. Issue578.java
  229. Issue579Error.java
  230. Issue580.java
  231. Issue602.java
  232. Issue653.java
  233. Issue67.java
  234. Issue672.java
  235. Issue679.java
  236. Issue738.java
  237. Issue741.java
  238. Issue752.java
  239. Issue759.java
  240. Issue764.java
  241. Issue765.java
  242. Issue811.java
  243. Issue829.java
  244. Issue868.java
  245. Issue906.java
  246. Issue961.java
  247. Issue986.java
  248. Issue989.java
  249. IteratorEarlyExit.java
  250. JavaCopExplosion.java
  251. JavaCopFlow.java
  252. JavaCopRandomTests.java
  253. JavaExprContext.java
  254. JPanelTest.java
  255. KeyFor_DirectionsFinder.java
  256. KeyForAutoboxing.java
  257. KeyForChecked.java
  258. KeyForDiamond.java
  259. KeyForFlow.java
  260. KeyForIssue328.java
  261. KeyForLocalSideEffect.java
  262. KeyForLocalVariable.java
  263. KeyForLub.java
  264. KeyForMultiple.java
  265. KeyForPolymorphism.java
  266. KeyForPostcondition.java
  267. KeyForPropagation.java
  268. KeyFors.java
  269. KeyForShadowing.java
  270. KeyForStaticField.java
  271. KeyForSubst.java
  272. KeyForSubtyping.java
  273. KeyForValidation.java
  274. Lazy.java
  275. LazyInitialization.java
  276. Listener.java
  277. LogicOperations.java
  278. LogRecordTest.java
  279. LubTest.java
  280. MapGetNullable.java
  281. MapMerge.java
  282. Marino.java
  283. MethodInvocation.java
  284. MethodOverloadingContractsKeyFor.java
  285. MethodTypeVars4.java
  286. MissingBoundAnnotations.java
  287. MisuseProperties.java
  288. MonotonicNonNullFieldTest.java
  289. MonotonicNonNullTest.java
  290. MultiAnnotations.java
  291. MultiConstructorInit.java
  292. MultipleErrors.java
  293. MyException.java
  294. NegatingConditionalNullness.java
  295. NewNullable.java
  296. NewObjectNonNull.java
  297. NNOEMoreTests.java
  298. NNOEStaticFields.java
  299. NonEmptyCollection.java
  300. NonNullInitialization.java
  301. NonNullIteratorNext.java
  302. NullableArrays.java
  303. NullableConstructor.java
  304. NullnessFieldInvar.java
  305. ObjectArrayParam.java
  306. ObjectListParam.java
  307. ObjectsRequireNonNull.java
  308. ObjectsRequireNonNullElse.java
  309. OverrideANNA.java
  310. OverrideANNA2.java
  311. OverrideANNA3.java
  312. OverrideGenerics.java
  313. OverrideNNOE.java
  314. OverrideNNOE2.java
  315. PackageDecl.java
  316. ParameterExpression.java
  317. Polymorphism.java
  318. PolymorphismArrays.java
  319. PostconditionBug.java
  320. PreventClearProperty.java
  321. PrimitivesNullness.java
  322. PrivateMethodUnknownInit.java
  323. PureTest.java
  324. Raw2.java
  325. RawAndPrimitive.java
  326. RawField.java
  327. RawInt.java
  328. RawInt2.java
  329. RawMethodInvocation.java
  330. RawParameter.java
  331. RawSuper.java
  332. RawTypesAssignment.java
  333. RawTypesBounded.java
  334. RawTypesNullness.java
  335. RawTypesUses.java
  336. README
  337. ReadyReadLine.java
  338. ReceiverAnnotation.java
  339. ReferencesDefaults.java
  340. RefineArray.java
  341. RefineOverride.java
  342. RepeatEnsuresKeyFor.java
  343. RepeatEnsuresKeyForWithError.java
  344. RepeatEnsuresNonNull.java
  345. RepeatEnsuresNonNullWithError.java
  346. RequiresNonNullTest.java
  347. RequiresPrivateField.java
  348. SamFileValidator.java
  349. SAMLineParser.java
  350. ScopingConstruct.java
  351. SelfAssignment.java
  352. SelfDependentType.java
  353. SequenceAndIndices.java
  354. SetIteratorTest.java
  355. Simple2.java
  356. SortingCollection.java
  357. StaticInitialization.java
  358. StaticInitializer.java
  359. StaticInitializer2.java
  360. StaticInLoop.java
  361. Stats.java
  362. StringTernaryConcat.java
  363. SuperCall.java
  364. SuperConstructorInit.java
  365. SuppressDeprecation.java
  366. SuppressWarningsPartialKeys.java
  367. SuppressWarningsTest.java
  368. SwitchTest.java
  369. Synchronization.java
  370. TernaryNested.java
  371. TernaryNullness.java
  372. TestAssignment.java
  373. TestFromPullRequest880.java
  374. TestInfer.java
  375. TestPolyNull.java
  376. TestValOf.java
  377. ThisIsNN.java
  378. ThisNodeTest.java
  379. ThisQualified.java
  380. ThisTest.java
  381. ThreadLocalTest.java
  382. ThreadLocalTest2.java
  383. Throwing.java
  384. ToArrayDiagnostics.java
  385. ToArrayNullness.java
  386. TryCatch.java
  387. TryWithResources.java
  388. TryWithResourcesAnno.java
  389. TwoStaticInitBlocks.java
  390. TypeVarPrimitivesNullness.java
  391. UnannoPrimitives.java
  392. UnannoPrimitivesDefaults.java
  393. UnboxConditions.java
  394. Unboxing.java
  395. UnexpectedRaw.java
  396. UnusedNullness.java
  397. UnusedOnClass.java
  398. ValidType.java
  399. VarargsNullness.java
  400. VarInfoName.java
  401. VoidUse.java
  402. WeakHasherMapNonNull.java
  403. WeakHasherMapNullable.java
  404. WeakIdentityPair.java
  405. WeakRef.java
  406. Wellformed.java
  407. WhileTest.java
  408. Widening.java
  409. Wildcards.java
  410. WildcardSubtype.java
  411. WildcardSubtype2.java