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

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4
   5 public class InterfaceDefineConstruct extends Construct {
   6         public final String name;
   7
   8         public InterfaceDefineConstruct(File file, int beginLineNum, String name) {
   9                 super(file, beginLineNum);
  10                 this.name = name;
  11         }
  12
  13         public String toString() {
  14                 return "@Interface_define: " + name;
  15         }
  16 }