search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

refactor JaifBuilder #37

Closed CharlesZ-Chen closed 8 years ago

CharlesZ-Chen commented 8 years ago
  1. using ASTPath instead of string comparisionto determine the kind of a annotation location.
  2. change isInsertMethodBody() to isInsertMainModOfLocalVar().
  3. let checker decide whether to insert annotaions in main modifier of local variable.