Class VarargsMethods
java.lang.Object
org.checkerframework.framework.testchecker.lib.VarargsMethods
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
VarargsMethods
public VarargsMethods()
-
-
Method Details
-
test0
-
test1
-
test2
-