src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 public class InterfaceDefineConstruct extends Construct {
   4         public final String name;
   5         private String funcDecl;
   6
   7         public InterfaceDefineConstruct(String name) {
   8                 this.name = name;
   9         }
  10
  11         public String toString() {
  12                 return "@Interface_define: " + name;
  13         }
  14 }