Google Git
Sign in
third-party-mirror / typetools / checker-framework / refs/heads/main / . / checker / tests / index
tree: 5685f8512a136d8eb4f81c4cc22f8a9899d87326 [path history] [tgz]
  1. AndExample.java
  2. AnnotatedJDKTest.java
  3. ArrayAsList.java
  4. ArrayAssignmentSameLen.java
  5. ArrayAssignmentSameLenComplex.java
  6. ArrayConstructionPositiveLength.java
  7. ArrayCopy.java
  8. ArrayCreationChecks.java
  9. ArrayCreationParam.java
  10. ArrayCreationTest.java
  11. ArrayIntro.java
  12. ArrayIntroWithCast.java
  13. ArrayLength.java
  14. ArrayLength2.java
  15. ArrayLength3.java
  16. ArrayLengthEquality.java
  17. ArrayLengthLBC.java
  18. ArrayLenTest.java
  19. ArrayNull.java
  20. ArraysSort.java
  21. ArrayWrapper.java
  22. BasicSubsequence.java
  23. BasicSubsequence2.java
  24. BasicSubsequence3.java
  25. BigBinaryExpr.java
  26. BinarySearchTest.java
  27. BinomialTest.java
  28. BitSetLowerBound.java
  29. Boilerplate.java
  30. BottomValTest.java
  31. CastArray.java
  32. CharPrintedAsVariable.java
  33. CharSequenceTest.java
  34. CharToIntCast.java
  35. CheckAgainstNegativeOne.java
  36. CheckNotNull1.java
  37. CheckNotNull2.java
  38. CombineFacts.java
  39. CompareBySubtraction.java
  40. CompoundAssignmentCheck.java
  41. ComputeConst.java
  42. ConditionalIndex.java
  43. ConstantArrays.java
  44. ConstantOffsets.java
  45. ConstantsIndex.java
  46. CustomContractWithArgs.java
  47. DaikonCrash.java
  48. DefaultingForEach.java
  49. Dimension.java
  50. DivisionTest.java
  51. EndsWith.java
  52. EndsWith2.java
  53. EnumValues.java
  54. EqualToIndex.java
  55. EqualToTransfer.java
  56. ErrorMessageCheck.java
  57. Errors.java
  58. ExampleUsage.java
  59. GenericAssignment.java
  60. GreaterThanOrEqualTransfer.java
  61. GreaterThanTransfer.java
  62. GuavaPrimitives.java
  63. HexEncode.java
  64. Index115.java
  65. Index118.java
  66. Index118NoLoop.java
  67. Index132.java
  68. Index166.java
  69. Index167.java
  70. Index176.java
  71. IndexByChar.java
  72. IndexConditionalReport.java
  73. IndexForAverage.java
  74. IndexForTest.java
  75. IndexForTestLBC.java
  76. IndexForTwoArrays.java
  77. IndexForTwoArrays2.java
  78. IndexForVarargs.java
  79. IndexIntValVsConstant.java
  80. IndexOf.java
  81. IndexOrLowTests.java
  82. IndexSameLen.java
  83. IntroAdd.java
  84. IntroAnd.java
  85. IntroRules.java
  86. IntroShift.java
  87. IntroSub.java
  88. InvalidSubsequence.java
  89. Issue1411.java
  90. Issue194.java
  91. Issue1984.java
  92. Issue20.java
  93. Issue2029.java
  94. Issue2030.java
  95. Issue21.java
  96. Issue2334.java
  97. Issue2420.java
  98. Issue2452.java
  99. Issue2493.java
  100. Issue2494.java
  101. Issue2505.java
  102. Issue2613.java
  103. Issue2629.java
  104. Issue3207.java
  105. Issue3224.java
  106. Issue58Minimization.java
  107. Issue60.java
  108. IteratorVoid.java
  109. Kelloggm225.java
  110. Kelloggm228.java
  111. LBCSubtyping.java
  112. LengthOfArrayMinusOne.java
  113. LengthOfTest.java
  114. LengthTransfer.java
  115. LengthTransfer2.java
  116. LengthTransferForMinLen.java
  117. LessThanConstantAddition.java
  118. LessThanCustomCollection.java
  119. LessThanDec.java
  120. LessThanFloat.java
  121. LessThanFloatLiteral.java
  122. LessThanLen.java
  123. LessThanLenBug.java
  124. LessThanOrEqualTransfer.java
  125. LessThanTransferTest.java
  126. LessThanValue.java
  127. LessThanZeroArrayLength.java
  128. ListAdd.java
  129. ListAddAll.java
  130. ListAddInfiniteLoop.java
  131. ListGet.java
  132. ListIterator.java
  133. ListLowerBound.java
  134. ListRemove.java
  135. ListSet.java
  136. ListSupport.java
  137. ListSupportLBC.java
  138. ListSupportML.java
  139. LiteralArray.java
  140. LiteralString.java
  141. LongAndIntegerBitsMethods.java
  142. Loops.java
  143. LTLDivide.java
  144. LTLengthOfPostcondition.java
  145. LubIndex.java
  146. MethodOverrides.java
  147. MinLenFieldInvar.java
  148. MinLenFourShenanigans.java
  149. MinLenFromPositive.java
  150. MinLenIndexFor.java
  151. MinLenOneAndLength.java
  152. MinLenSameLenInteraction.java
  153. MinMax.java
  154. MinMaxIndex.java
  155. MLEqualTo.java
  156. Modulo.java
  157. NegativeArray.java
  158. NegativeIndex.java
  159. NonNegArrayLength.java
  160. NonnegativeChar.java
  161. NonNegativeCharValue.java
  162. NotEnoughOffsets.java
  163. NotEqualTransfer.java
  164. ObjectClone.java
  165. Offset97.java
  166. OffsetAnnotations.java
  167. OffsetExample.java
  168. OffsetsAndConstants.java
  169. OneLTL.java
  170. OneOrTwo.java
  171. OnlyCheckSubsequenceWhenAssigningToArray.java
  172. OuterThisJavaExpression.java
  173. ParserOffsetTest.java
  174. ParsingBug.java
  175. Pilot2HalfLength.java
  176. Pilot3ArrayCreation.java
  177. Pilot4Subtraction.java
  178. PlumeFail.java
  179. PlumeFailMin.java
  180. PlusPlusBug.java
  181. PolyCrash.java
  182. PolyLengthTest.java
  183. Polymorphic.java
  184. Polymorphic2.java
  185. Polymorphic3.java
  186. Polymorphic4.java
  187. PreAndPostDec.java
  188. PredecrementTest.java
  189. PrimitiveWrappers.java
  190. RandomTest.java
  191. RandomTestLBC.java
  192. RangeIndex.java
  193. Reassignment.java
  194. RefineEq.java
  195. RefineGT.java
  196. RefineGTE.java
  197. RefineLT.java
  198. RefineLTE.java
  199. RefineLTE2.java
  200. RefinementEq.java
  201. RefinementGT.java
  202. RefinementGTE.java
  203. RefinementLT.java
  204. RefinementLTE.java
  205. RefinementNEq.java
  206. RefineNeq.java
  207. RefineNeqLength.java
  208. RefineSubtrahend.java
  209. ReflectArray.java
  210. RegexMatcher.java
  211. RepeatLTLengthOf.java
  212. RepeatLTLengthOfWithError.java
  213. Return.java
  214. SameLenAssignmentTransfer.java
  215. SameLenEqualsRefinement.java
  216. SameLenFormalParameter2.java
  217. SameLenLUBStrangeness.java
  218. SameLenManyArrays.java
  219. SameLenNewArrayWithSameLength.java
  220. SameLenOnFormalParameter.java
  221. SameLenOnFormalParameterSimple.java
  222. SameLenSelf.java
  223. SameLenSimpleCase.java
  224. SameLenTripleThreat.java
  225. SameLenWithObjects.java
  226. SearchIndexTests.java
  227. ShiftRight.java
  228. ShiftRightAverage.java
  229. SimpleCollection.java
  230. SimpleTransferAdd.java
  231. SimpleTransferSub.java
  232. SizeVsLength.java
  233. SkipBufferedReader.java
  234. SLSubtyping.java
  235. SpecialTransfersForEquality.java
  236. Split.java
  237. StartsEndsWith.java
  238. StaticInitializer.java
  239. Stopwatch.java
  240. StringBuilderOffset.java
  241. StringIndexOf.java
  242. StringLength.java
  243. StringLenRefinement.java
  244. StringMethods.java
  245. StringOffsetTest.java
  246. StringSameLen.java
  247. StringTokenizerMinLen.java
  248. SubtractingNonNegatives.java
  249. SubtractionIndex.java
  250. SwitchDataflowRefinement.java
  251. SwitchTest.java
  252. TestAgainstLength.java
  253. ToArrayIndex.java
  254. TransferAdd.java
  255. TransferDivide.java
  256. TransferMod.java
  257. TransferSub.java
  258. TransferTimes.java
  259. TypeArrayLengthWithSameLen.java
  260. UBLiteralFlow.java
  261. UBPoly.java
  262. UBSubtyping.java
  263. UnaryOperationParsedIncorrectly.java
  264. UncheckedMinLen.java
  265. UpperBoundRefinement.java
  266. ValueCheckerProblem.java
  267. VarArgsIncompatible.java
  268. VarLteVar.java
  269. ViewpointAdaptTest.java
  270. VoidType.java
  271. ZeroMinLen.java