1. 26 9月, 2017 2 次提交
  2. 22 9月, 2017 1 次提交
  3. 14 9月, 2017 1 次提交
  4. 31 8月, 2017 1 次提交
  5. 29 8月, 2017 2 次提交
  6. 15 8月, 2017 1 次提交
  7. 11 8月, 2017 2 次提交
  8. 03 7月, 2017 4 次提交
  9. 20 4月, 2017 1 次提交
  10. 12 10月, 2016 1 次提交
  11. 17 3月, 2016 1 次提交
    • D
      Create tests for TYPE_USE nullability annotations · a644dd3a
      Denis Zharkov 提交于
      - tests and declarations for checkerframework has been moved,
      because they only Java 8 targeted
      - tests for eclipse annotations has been just copied,
      because there are two jars: one for Java 8 and other for earlier versions
      a644dd3a
  12. 15 2月, 2016 1 次提交
  13. 28 1月, 2016 1 次提交
    • D
      Introduce not null type parameter capability · 11a96ee8
      Denis Zharkov 提交于
      Java nullability annotations may generate types that currently are not denotable in Kotlin:
      class Java {
        void <F> foo(@NotNull F f) {}
      }
      
      Type of given value parameter should be not nullable under any substitution:
      String/String?/String! because of annotation contract.
      
      NB: Currently there is no full analogues for such types in pure kotlin
      11a96ee8
  14. 15 1月, 2016 1 次提交