3 import org.checkerframework.common.basetype.BaseTypeChecker;
5 /** Class IoTJavaChecker is a class that extends
8 * @author Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
9 * @author Bin Xu <xub3 @ uci.edu>
13 public final class IoTJavaChecker extends BaseTypeChecker {