temporal

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / SpecInfoScanner.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SpecInfoScanner.java b/src/edu/uci/eecs/specCompiler/specExtraction/SpecInfoScanner.java
new file mode 100644 (file)
index 0000000..093ab44
--- /dev/null
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecInfoScanner.java
@@ -0,0 +1,67 @@
+package edu.uci.eecs.specCompiler.specExtraction;
+
+import java.util.HashMap;
+import java.io.File;
+import java.io.FileNotFoundException;
+import java.io.FileReader;
+import java.io.IOException;
+import java.io.LineNumberReader;
+
+import java.util.regex.Pattern;
+import java.util.regex.Matcher;
+
+/**
+ * <p>
+ * This class will scan all the input files, extract all the "special comments"
+ * (specifications). It should include information: 1. Beginning and end line of
+ * the specs; 2. The next two lines of code if it is interface constrcut.
+ * </p>
+ * 
+ * @author peizhaoo
+ * 
+ */
+public class SpecInfoScanner {
+       public final HashMap<File, Construct> constructs;
+
+       public SpecInfoScanner() {
+               constructs = new HashMap<File, Construct>();
+       }
+
+       /**
+        * <p>
+        * Scan
+        * </p>
+        * 
+        * @param file
+        */
+       private void scanFile(File file) {
+               try {
+                       FileReader fr = new FileReader(file);
+                       LineNumberReader lnr = new LineNumberReader(fr);
+                       String line = null;
+                       // Info to keep when parsing the Spec
+                       // 0 for default, 1 for potential sepc, 2 for in spec
+                       int state = 0;
+                       Pattern pBegin = Pattern.compile("^[\\s|\\t]*/**"), pEnd = Pattern
+                                       .compile("*/$");
+                       while ((line = lnr.readLine()) != null) {
+                               Matcher m1 = pBegin.matcher(line);
+                               if (m1.matches())
+                                       state = 1; // Go to 'potential spec' state
+                               if (state == 1) {
+                                       
+                               }
+                       }
+               } catch (FileNotFoundException e) {
+                       e.printStackTrace();
+               } catch (IOException e) {
+                       e.printStackTrace();
+               }
+       }
+
+       public void scanFiles(File[] files) {
+               for (int i = 0; i < files.length; i++) {
+                       scanFile(files[i]);
+               }
+       }
+}