Google Git
Sign in
third-party-mirror / typetools / checker-framework / refs/heads/main / . / framework / tests / all-systems
tree: 123f29821fe57b134d59e0222b2a274b930d2c1f [path history] [tgz]
  1. java8/
  2. java8inference/
  3. Annotations.java
  4. AnonymousClasses.java
  5. AnonymousFieldAccess.java
  6. AnoymousAndInnerClass.java
  7. Arrays.java
  8. AssertWithSideEffect.java
  9. AssignmentContext.java
  10. AsSuperCrashes.java
  11. BigBinaryTrees.java
  12. BigString.java
  13. Catch.java
  14. CompoundAssignments.java
  15. ConditionalExpressions.java
  16. CrazyEnum.java
  17. DeepEquals.java
  18. Enums.java
  19. EqualityTests.java
  20. FieldAccessTest.java
  21. FieldWithInit.java
  22. ForEach.java
  23. GenericCrazyBounds.java
  24. GenericExtendsTypeVars.java
  25. GenericNull.java
  26. GenericsBounds.java
  27. GenericsBounds2.java
  28. GenericsCasts.java
  29. GenericsEnclosing.java
  30. GenericTest11full.java
  31. GenericTest12.java
  32. GenericTest12b.java
  33. GenericTest13.java
  34. GetClassTest.java
  35. InferAndIntersection.java
  36. InferAndWildcards.java
  37. InferNullType.java
  38. InferTypeArgs.java
  39. InferTypeArgs2.java
  40. InferTypeArgs3.java
  41. InferTypeArgsConditionalExpression.java
  42. InitializationVisitor.java
  43. InstanceOf.java
  44. IntersectionTypes.java
  45. IsSubarrayEq.java
  46. Issue1003.java
  47. Issue1006.java
  48. Issue1039.java
  49. Issue1043.java
  50. Issue1049.java
  51. Issue1102.java
  52. Issue1111.java
  53. Issue116Graph.java
  54. Issue1274.java
  55. Issue1431.java
  56. Issue1442.java
  57. Issue1506.java
  58. Issue1520.java
  59. Issue1526.java
  60. Issue1543.java
  61. Issue1546.java
  62. Issue1586.java
  63. Issue1587.java
  64. Issue1587b.java
  65. Issue1690.java
  66. Issue1696.java
  67. Issue1697.java
  68. Issue1698.java
  69. Issue1708.java
  70. Issue1709.java
  71. Issue1738.java
  72. Issue1749.java
  73. Issue1809.java
  74. Issue1865.java
  75. Issue1867.java
  76. Issue1920.java
  77. Issue1948.java
  78. Issue1991.java
  79. Issue1991Full.java
  80. Issue1992.java
  81. Issue2048.java
  82. Issue2082.java
  83. Issue2088.java
  84. Issue2190.java
  85. Issue2195.java
  86. Issue2196.java
  87. Issue2198.java
  88. Issue2199.java
  89. Issue2234.java
  90. Issue2302.java
  91. Issue2370.java
  92. Issue2371.java
  93. Issue2446.java
  94. Issue2480.java
  95. Issue263.java
  96. Issue2678.java
  97. Issue2717.java
  98. Issue2739.java
  99. Issue2779.java
  100. Issue2781.java
  101. Issue301.java
  102. Issue3021.java
  103. Issue3055.java
  104. Issue3120.java
  105. Issue3128.java
  106. Issue3232.java
  107. Issue3277.java
  108. Issue3295.java
  109. Issue3302.java
  110. Issue3377.java
  111. Issue3569.java
  112. Issue3570.java
  113. Issue3598.java
  114. Issue3826.java
  115. Issue392.java
  116. Issue3929.java
  117. Issue393.java
  118. Issue395.java
  119. Issue396.java
  120. Issue3994.java
  121. Issue4083.java
  122. Issue4115.java
  123. Issue437.java
  124. Issue438.java
  125. Issue4384.java
  126. Issue457.java
  127. Issue478.java
  128. Issue577.java
  129. Issue671.java
  130. Issue689.java
  131. Issue691.java
  132. Issue692.java
  133. Issue696.java
  134. Issue717.java
  135. Issue738.java
  136. Issue759.java
  137. Issue807.java
  138. Issue808.java
  139. Issue810.java
  140. Issue887.java
  141. Issue888.java
  142. Issue913.java
  143. Issue953.java
  144. Issue953b.java
  145. Issue988.java
  146. LubRawTypes.java
  147. MethodTypeVars.java
  148. MissingBoundAnnotations.java
  149. MultipleUnions.java
  150. Options.java
  151. PolyCollectorTypeVars.java
  152. PrintArray.java
  153. RawTypeAssignment.java
  154. RawTypes.java
  155. README
  156. ResourceVariables.java
  157. SimpleLog.java
  158. StateMatch.java
  159. SuperThis.java
  160. Ternary.java
  161. Throw.java
  162. TypeVarAndArrayRefinement.java
  163. TypeVarAndArrayRefinementSmall.java
  164. TypeVarInstanceOf.java
  165. TypeVarPrimitives.java
  166. TypeVars.java
  167. TypeVarVarargs.java
  168. UnionCrash.java
  169. Unions.java
  170. UnionTypes.java
  171. VarKeyword.java
  172. Viz.java
  173. WildcardBounds.java
  174. WildcardCharPrimitive.java
  175. WildcardCon.java
  176. WildCardCrash.java
  177. WildcardForEach.java
  178. WildcardIterable.java
  179. WildcardSuper.java
  180. WildcardSuper2.java