tweak
[cdsspec-compiler.git] / 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 }