checker/iotchecker/IoTJavaChecker.java

   1 package iotchecker;
   2
   3 import org.checkerframework.common.basetype.BaseTypeChecker;
   4
   5 /** Class IoTJavaChecker is a class that extends
   6  *  BaseTypeChecker.
   7  *
   8  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
   9  * @author      Bin Xu <xub3 @ uci.edu>
  10  * @version     1.0
  11  * @since       2016-03-25
  12  */
  13 public final class IoTJavaChecker extends BaseTypeChecker {
  14 }