--- /dev/null
+package edu.uci.eecs.specCompiler.specExtraction;
+
+import java.util.ArrayList;
+
+import edu.uci.eecs.specCompiler.codeGenerator.InterfaceWrongFormatException;
+
+public class ParserUtils {
+ public static String trimSpace(String line) {
+ int i, j;
+ char ch;
+ for (i = 0; i < line.length(); i++) {
+ ch = line.charAt(i);
+ if (ch != ' ' && ch != '\t')
+ break;
+ }
+ for (j = line.length() - 1; j >= 0; j--) {
+ ch = line.charAt(j);
+ if (ch != ' ' && ch != '\t')
+ break;
+ }
+ if (i > j)
+ return "";
+ else
+ return line.substring(i, j + 1);
+ }
+}