import java.util.ArrayList;
+import edu.uci.eecs.specCompiler.codeGenerator.SemanticsChecker;
import edu.uci.eecs.specCompiler.grammerParser.ParseException;
import edu.uci.eecs.specCompiler.grammerParser.SpecParser;
else
return line.substring(i, j + 1);
}
-
+
public static String array2Str(ArrayList code) {
StringBuilder sb = new StringBuilder();
for (int i = 0; i < code.size(); i++) {
}
return sb.toString();
}
+
+ public static String getClassName(String classDefineLine) {
+ IDExtractor extractor = new IDExtractor(classDefineLine,
+ classDefineLine.length() - 1);
+ return extractor.getPrevID();
+ }
+
+ public static String getTemplateStr(String templateLine) {
+ String templateStr = null;
+ try {
+ ArrayList<String> args = SpecParser.getTemplateArg(templateLine);
+ templateStr = "<" + args.get(1);
+ for (int i = 1; i < args.size() / 2; i++) {
+ templateStr = templateStr + ", " + args.get(i * 2 + 1);
+ }
+ templateStr = templateStr + ">";
+ } catch (ParseException e) {
+ e.printStackTrace();
+ }
+ return templateStr;
+ }
}