add createInferenceATF in BaseInferrableChecker

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

add createInferenceATF in BaseInferrableChecker #32

Closed Jianchu closed 8 years ago

Jianchu commented 8 years ago

Added a method createInferenceATF in BaseInferrableChecker, real checker overrides it and return a type system specific InferenceAnnotatedTypeFactory.