edits

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
index 9d1fa911cdf6624983790922dfb5ed83be4d6544..439a60fa44eebfc280a2e16d22f46dae9dab74bc 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
@@ -18,8 +18,9 @@ import edu.uci.eecs.specCompiler.grammerParser.TokenMgrError;
  * <p>
  * This class represents the specification extractor of the specification. The
  * main function of this class is to read C/C++11 source files and extract the
- * corresponding specification out, and remember its location, including the
- * file name and the line number, to help the code generation process.
+ * corresponding specifications, and record corresponding information such as
+ * location, e.g., the file name and the line number, to help the code
+ * generation process.
  * </p>
  * 
  * @author peizhaoo
@@ -31,7 +32,7 @@ public class SpecExtractor {
        public SpecExtractor() {
                srcFilesInfo = new HashMap<File, SourceFileInfo>();
        }
-       
+
        public ArrayList<Construct> getConstructs() {
                ArrayList<Construct> constructs = new ArrayList<Construct>();
                for (File f : srcFilesInfo.keySet()) {
@@ -39,7 +40,7 @@ public class SpecExtractor {
                }
                return constructs;
        }
-       
+
        /**
         * <p>
         * Given a list of files, it scans each file and add found SpecConstrcut to
@@ -72,5 +73,4 @@ public class SpecExtractor {
                }
        }
 
-       
 }