Class TypecheckResult

java.lang.Object
org.checkerframework.framework.test.TypecheckResult

public class TypecheckResult extends Object
Represents the test results from typechecking one or more Java files using the given TestConfiguration.