Add InferrableAnnotatedTypeFactory. Adapt to ImplicitFor CF changes. - Githubissues

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Add InferrableAnnotatedTypeFactory. Adapt to ImplicitFor CF changes. #19

Closed wmdietl closed 8 years ago

wmdietl commented 8 years ago

This addresses comments from https://github.com/typetools/checker-framework-inference/pull/15 and in addition adapt CFI to CF changes.