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         private String funcDecl;
   8
   9         public InterfaceDefineConstruct(File file, int beginLineNum, String name) {
  10                 super(file, beginLineNum);
  11                 this.name = name;
  12         }
  13
  14         public String toString() {
  15                 return "@Interface_define: " + name;
  16         }
  17 }