benchmarks/annotation/constraint.java

   1 package iotcode.annotation;
   2
   3 import java.lang.annotation.*;
   4
   5 /** @constraint annotation
   6  *  This annotation is for the runtime system to instrument IoTSet and IoTRelation
   7  *
   8  * @author      Rahmadi Trimananda <rahmadi.trimananda @ uci.edu>
   9  * @version     1.0
  10  * @since       2015-12-01
  11  */
  12 @Retention(RetentionPolicy.RUNTIME)
  13 public @interface constraint {
  14 }