package edu.uci.eecs.specCompiler.specExtraction;
+import java.io.File;
import java.util.ArrayList;
import java.util.HashMap;
public final HashMap<String, String> hbConditions;
public final String idCode;
public final String check;
- public final String action;
- public final String postAction;
+ public final ArrayList<String> action;
+ public final ArrayList<String> postAction;
public final String postCheck;
- public InterfaceConstruct(String name, ArrayList<String> commitPointSet,
- String condition, HashMap<String, String> hbConditions, String idCode,
- String check, String action, String postAction, String postCheck) {
+ public InterfaceConstruct(File file, int beginLineNum, String name,
+ ArrayList<String> commitPointSet, String condition,
+ HashMap<String, String> hbConditions, String idCode, String check,
+ ArrayList<String> action, ArrayList<String> postAction, String postCheck) {
+ super(file, beginLineNum);
this.name = name;
this.commitPointSet = commitPointSet;
this.condition = condition;
this.postAction = postAction;
this.postCheck = postCheck;
}
-
+
public String toString() {
StringBuilder sb = new StringBuilder("InterfaceConstruct:\n");
sb.append("@Interface: " + name + "\n");
sb.append("@ID: ");
sb.append(idCode + "\n");
sb.append("@Check: " + check + "\n");
- sb.append("@Action:\n");
- sb.append(action + "\n");
+ sb.append(ParserUtils.array2Str(action));
sb.append("@Post_action:\n");
- sb.append(postAction + "\n");
+ sb.append(ParserUtils.array2Str(postAction));
sb.append("@Post_check: " + postCheck + "\n");
-
+
return sb.toString();
}
}