1 package edu.uci.eecs.specCompiler.specExtraction;
5 public class InterfaceDefineConstruct extends Construct {
6 public final String name;
8 public InterfaceDefineConstruct(File file, int beginLineNum, String name) {
9 super(file, beginLineNum);
13 public String toString() {
14 return "@Interface_define: " + name;