Package org.checkerframework.checker.testchecker.ainfer
package org.checkerframework.checker.testchecker.ainfer
-
ClassesClassDescriptionAnnotatedTypeFactory to test whole-program inference using .jaif files.Checker for a simple type system to test whole-program inference.Visitor for a simple type system to test whole-program inference using .jaif files.