import java.io.IOException;
import java.util.ArrayList;
import java.util.HashMap;
+import java.util.Iterator;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.ClassEndConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.ConditionalInterface;
import edu.uci.eecs.specCompiler.specExtraction.Construct;
+import edu.uci.eecs.specCompiler.specExtraction.EntryPointConstruct;
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.PotentialCPDefineConstruct;
import edu.uci.eecs.specCompiler.specExtraction.SequentialDefineSubConstruct;
-import edu.uci.eecs.specCompiler.specExtraction.SpecConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.SourceFileInfo;
import edu.uci.eecs.specCompiler.specExtraction.SpecExtractor;
-import edu.uci.eecs.specCompiler.specExtraction.SpecNotMatchException;
/**
* <p>
private File[] srcFiles;
- private HashMap<File, ArrayList<String>> contents;
+ private HashMap<File, SourceFileInfo> srcFilesInfo;
private HashMap<File, ArrayList<CodeAddition>> codeAdditions;
public CodeGenerator(File[] srcFiles) {
this.srcFiles = srcFiles;
- this.contents = new HashMap<File, ArrayList<String>>();
- readSrcFiles();
- this.codeAdditions = new HashMap<File, ArrayList<CodeAddition>>();
-
_extractor = new SpecExtractor();
+ _extractor.extract(srcFiles);
- try {
- _extractor.extract(srcFiles);
- } catch (SpecNotMatchException e1) {
- e1.printStackTrace();
- }
+ this.srcFilesInfo = _extractor.srcFilesInfo;
+
+ this.codeAdditions = new HashMap<File, ArrayList<CodeAddition>>();
- _semantics = new SemanticsChecker(_extractor.getConstructs());
+ _semantics = new SemanticsChecker(_extractor);
try {
_semantics.check();
System.out.println(_semantics);
}
}
- private ArrayList<String> readSrcFile(File f) throws IOException {
- BufferedReader bf = new BufferedReader(new FileReader(f));
- ArrayList<String> content = new ArrayList<String>();
- String curLine;
- while ((curLine = bf.readLine()) != null) {
- content.add(curLine);
- }
- return content;
- }
-
- private void readSrcFiles() {
- for (int i = 0; i < srcFiles.length; i++) {
- File f = srcFiles[i];
- if (!contents.containsKey(f)) {
- try {
- contents.put(f, readSrcFile(f));
- } catch (IOException e) {
- e.printStackTrace();
- }
- }
- }
- }
-
/**
* <p>
* Generate all the global code, including the "@DefineVar" in each
* "@Interface" define
* </p>
*/
- private void globalConstruct2Code(SpecConstruct inst) {
- int lineNum = inst.endLineNum + 1;
- GlobalConstruct construct = (GlobalConstruct) inst.construct;
- ArrayList<String> newCode = new ArrayList<String>();
-
- // Generate the inner class definition
- newCode.add("class Sequential {\n");
- newCode.add("public:\n");
-
- // Generate the code in global construct first
- SequentialDefineSubConstruct globalCode = construct.code;
- breakCodeLines(newCode, globalCode.declareVar);
- breakCodeLines(newCode, globalCode.defineFunc);
-
- // Generate code from the DefineVar, __COND_SAT__ and __ID__
-
-
- // Generate the end of the inner class definition
- newCode.add("};\n");
-// printCode(newCode);
-
- CodeAddition addition = new CodeAddition(lineNum, newCode);
- if (!codeAdditions.containsKey(inst.file)) {
- codeAdditions.put(inst.file, new ArrayList<CodeAddition>());
+ private void globalConstruct2Code(GlobalConstruct construct) {
+ ArrayList<String> newCode = CodeVariables.generateGlobalVarDeclaration(
+ _semantics, construct);
+ // Add it to the codeAdditions
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
- codeAdditions.get(inst.file).add(addition);
- }
-
- private void breakCodeLines(ArrayList<String> newCode, String code) {
- int begin = 0, end = 0;
- while (end < code.length()) {
- if (code.charAt(end) == '\n') {
- String line = code.substring(begin, end);
- newCode.add(line);
- begin = end + 1;
- }
- end++;
+ CodeAddition addition = new CodeAddition(construct.beginLineNum,
+ newCode);
+ codeAdditions.get(construct.file).add(addition);
+ newCode = CodeVariables.generateStaticVarDefine(_semantics, construct);
+ if (newCode.size() > 0) {
+ addition = new CodeAddition(_semantics.getClassEndConstruct().beginLineNum, newCode);
+ codeAdditions.get(construct.file).add(addition);
}
}
-
- private void printCode(ArrayList<String> code) {
- for (int i = 0; i < code.size(); i++) {
- System.out.println(code.get(i));
+
+ // Mainly rename and wrap the interface
+ private void interface2Code(InterfaceConstruct construct)
+ throws InterfaceWrongFormatException {
+ ArrayList<String> newCode = CodeVariables.generateInterfaceWrapper(
+ _semantics, construct);
+ int lineNum = construct.beginLineNum;
+ // Add it to the codeAdditions
+ CodeAddition addition = new CodeAddition(lineNum, newCode);
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
+ codeAdditions.get(construct.file).add(addition);
}
- private void interface2Code(SpecConstruct inst) {
- int lineNum = inst.endLineNum + 1;
- GlobalConstruct construct = (GlobalConstruct) inst.construct;
- ArrayList<String> newCode = new ArrayList<String>();
-
-
+ private void potentialCPDefine2Code(PotentialCPDefineConstruct construct) {
+ int lineNum = construct.beginLineNum;
+ ArrayList<String> newCode = CodeVariables.generatePotentialCPDefine(
+ _semantics, construct);
+
CodeAddition addition = new CodeAddition(lineNum, newCode);
- if (!codeAdditions.containsKey(inst.file)) {
- codeAdditions.put(inst.file, new ArrayList<CodeAddition>());
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
- codeAdditions.get(inst.file).add(addition);
+ codeAdditions.get(construct.file).add(addition);
}
- private void potentialCP2Code(SpecConstruct inst) {
- int lineNum = inst.endLineNum + 1;
- GlobalConstruct construct = (GlobalConstruct) inst.construct;
- ArrayList<String> newCode = new ArrayList<String>();
-
-
+ private void CPDefine2Code(CPDefineConstruct construct) {
+ int lineNum = construct.beginLineNum;
+ ArrayList<String> newCode = CodeVariables.generateCPDefine(_semantics, construct);
+
CodeAddition addition = new CodeAddition(lineNum, newCode);
- if (!codeAdditions.containsKey(inst.file)) {
- codeAdditions.put(inst.file, new ArrayList<CodeAddition>());
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
- codeAdditions.get(inst.file).add(addition);
+ codeAdditions.get(construct.file).add(addition);
}
- private void CPDefine2Code(SpecConstruct inst) {
- int lineNum = inst.endLineNum + 1;
- GlobalConstruct construct = (GlobalConstruct) inst.construct;
- ArrayList<String> newCode = new ArrayList<String>();
-
-
+ private void CPDefineCheck2Code(CPDefineCheckConstruct construct) {
+ int lineNum = construct.beginLineNum;
+ ArrayList<String> newCode = CodeVariables.generateCPDefineCheck(_semantics, construct);
+
CodeAddition addition = new CodeAddition(lineNum, newCode);
- if (!codeAdditions.containsKey(inst.file)) {
- codeAdditions.put(inst.file, new ArrayList<CodeAddition>());
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
- codeAdditions.get(inst.file).add(addition);
+ codeAdditions.get(construct.file).add(addition);
}
-
- private void CPDefineCheck2Code(SpecConstruct inst) {
- int lineNum = inst.endLineNum + 1;
- GlobalConstruct construct = (GlobalConstruct) inst.construct;
+
+ private void EntryPoint2Code(EntryPointConstruct construct) {
+ int lineNum = construct.beginLineNum;
ArrayList<String> newCode = new ArrayList<String>();
-
-
+ newCode.add(")
+
CodeAddition addition = new CodeAddition(lineNum, newCode);
- if (!codeAdditions.containsKey(inst.file)) {
- codeAdditions.put(inst.file, new ArrayList<CodeAddition>());
+ if (!codeAdditions.containsKey(construct.file)) {
+ codeAdditions.put(construct.file, new ArrayList<CodeAddition>());
}
- codeAdditions.get(inst.file).add(addition);
+ codeAdditions.get(construct.file).add(addition);
}
+
public void generateCode() {
for (int i = 0; i < _semantics.constructs.size(); i++) {
- SpecConstruct inst = _semantics.constructs.get(i);
- Construct construct = inst.construct;
+ Construct construct = _semantics.constructs.get(i);
if (construct instanceof GlobalConstruct) {
- globalConstruct2Code(inst);
+ globalConstruct2Code((GlobalConstruct) construct);
} else if (construct instanceof InterfaceConstruct) {
- interface2Code(inst);
+ try {
+ interface2Code((InterfaceConstruct) construct);
+ } catch (InterfaceWrongFormatException e) {
+ e.printStackTrace();
+ }
} else if (construct instanceof PotentialCPDefineConstruct) {
- potentialCP2Code(inst);
+ // potentialCP2Code(inst);
} else if (construct instanceof CPDefineConstruct) {
- CPDefine2Code(inst);
+ // CPDefine2Code(inst);
} else if (construct instanceof CPDefineCheckConstruct) {
- CPDefineCheck2Code(inst);
+ // CPDefineCheck2Code(inst);
}
}
}
File[] srcFiles = {
// new File(homeDir + "/benchmark/linuxrwlocks/linuxrwlocks.c"),
new File(homeDir
- + "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
- // new File(homeDir + "/benchmark/ms-queue/my_queue.c")
- };
+ + "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"), };
+ // new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+ // new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
CodeGenerator gen = new CodeGenerator(srcFiles);
gen.generateCode();
}
projects / cdsspec-compiler.git / blobdiff