Eclipse Integration for Checker Framework

by Asumu Takikawa for PLSE at UW

Overview My goal is to make pluggable type systems an ease to use for any Java developer. In order to do this, I propose to integrate the Checker framework into Eclipse so that it can automatically run type checks, detect problems in usage of types, and suggest corrections while possibly also inferring types.