import java.util.HashSet;
import java.io.File;
-import edu.uci.eecs.specCompiler.grammerParser.ParseException;
-import edu.uci.eecs.specCompiler.grammerParser.SpecParser;
+import edu.uci.eecs.specCompiler.grammerParser.utilParser.UtilParser;
+import edu.uci.eecs.specCompiler.grammerParser.utilParser.ParseException;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
import edu.uci.eecs.specCompiler.specExtraction.ConditionalInterface;
import edu.uci.eecs.specCompiler.specExtraction.Construct;
import edu.uci.eecs.specCompiler.specExtraction.FunctionHeader;
import edu.uci.eecs.specCompiler.specExtraction.GlobalConstruct;
-import edu.uci.eecs.specCompiler.specExtraction.IDExtractor;
import edu.uci.eecs.specCompiler.specExtraction.InterfaceConstruct;
import edu.uci.eecs.specCompiler.specExtraction.InterfaceDefineConstruct;
-import edu.uci.eecs.specCompiler.specExtraction.ParserUtils;
import edu.uci.eecs.specCompiler.specExtraction.PotentialCPDefineConstruct;
import edu.uci.eecs.specCompiler.specExtraction.SequentialDefineSubConstruct;
-import edu.uci.eecs.specCompiler.specExtraction.SpecExtractor;
import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
public class CodeVariables {
}
headerLine = headerLine.substring(0, headerLine.indexOf(')') + 1);
try {
- FunctionHeader header = SpecParser.parseFuncHeader(headerLine);
+ FunctionHeader header = UtilParser.parseFuncHeader(headerLine);
if (templateLine != null) {
- ArrayList<VariableDeclaration> templateArgs = SpecParser
+ ArrayList<VariableDeclaration> templateArgs = UtilParser
.getTemplateArg(templateLine);
header.setTemplateList(templateArgs);
}
import java.util.HashSet;
import edu.uci.eecs.specCompiler.grammerParser.ParseException;
-import edu.uci.eecs.specCompiler.grammerParser.SpecParser;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
import edu.uci.eecs.specCompiler.specExtraction.ClassBeginConstruct;
import java.util.ArrayList;
import edu.uci.eecs.specCompiler.codeGenerator.Environment;
-import edu.uci.eecs.specCompiler.codeGenerator.SemanticsChecker;
-import edu.uci.eecs.specCompiler.grammerParser.ParseException;
-import edu.uci.eecs.specCompiler.grammerParser.SpecParser;
+import edu.uci.eecs.specCompiler.grammerParser.utilParser.ParseException;
+import edu.uci.eecs.specCompiler.grammerParser.utilParser.UtilParser;
public class ParserUtils {
public static String trimSpace(String line) {
public static String getTemplateStr(String templateLine) {
String templateStr = null;
+ ArrayList<VariableDeclaration> templateArgs;
try {
- ArrayList<VariableDeclaration> templateArgs = SpecParser.getTemplateArg(templateLine);
+ templateArgs = UtilParser.getTemplateArg(templateLine);
templateStr = "<" + templateArgs.get(0).name;
for (int i = 1; i < templateArgs.size(); i++) {
templateStr = templateStr + ", " + templateArgs.get(i).name;
} catch (ParseException e) {
e.printStackTrace();
}
+
return templateStr;
}