import java.util.ArrayList;
import java.util.Comparator;
+import com.sun.xml.internal.ws.wsdl.parser.ParserUtil;
+
+import edu.uci.eecs.specCompiler.specExtraction.ParserUtils;
+
public class CodeAddition {
public static Comparator<CodeAddition> lineNumComparator = new Comparator<CodeAddition>() {
public int compare(CodeAddition addition1, CodeAddition addition2) {
this.lineNum = lineNum;
this.newCode = newCode;
}
+
+ public String toString() {
+ return "Line: " + lineNum + "\n" + ParserUtils.array2Str(newCode);
+ }
}