Added public interface to TypeAnalysis