svf-lib 1.0.1007 → 1.0.1008

package/SVF-osx/include/CFL/CFLAlias.h

@@ -73,6 +73,7 @@ public:
             graph = cflGraphBuilder.buildBigraph(consCG);
             cflChecker.check(generalGrammar, graph);
             grammar = normalizer.normalize(generalGrammar);
+            cflChecker.check(grammar, graph);
             delete consCG;
             delete generalGrammar;
             grammar->dump();
@@ -83,6 +84,7 @@ public:
             graph = cflGraphBuilder.buildFromDot(Options::InputFilename, generalGrammar);
             cflChecker.check(generalGrammar, graph);
             grammar = normalizer.normalize(generalGrammar);
+            cflChecker.check(grammar, graph);
             delete generalGrammar;
         }
         solver = new CFLSolver(graph, grammar);

package/SVF-osx/include/CFL/CFLGrammar.h

@@ -145,21 +145,21 @@ public:
         return it!=secondRHS2Prods.end();
     }
 
-    const Productions getProdsFromSingleRHS(Symbol sym) const
+    const Productions& getProdsFromSingleRHS(Symbol sym) const
     {
         auto it = singleRHS2Prods.find(sym);
         assert(it!=singleRHS2Prods.end() && "production (X -> sym) not found for sym!!");
         return it->second;
     }
 
-    const Productions getProdsFromFirstRHS(Symbol sym) const
+    const Productions& getProdsFromFirstRHS(Symbol sym) const
     {
         auto it = firstRHS2Prods.find(sym);
         assert(it!=firstRHS2Prods.end() && "production (X -> sym Y ) not found for sym!!");
         return it->second;
     }
 
-    const Productions getProdsFromSecondRHS(Symbol sym) const
+    const Productions& getProdsFromSecondRHS(Symbol sym) const
     {
         auto it = secondRHS2Prods.find(sym);
         assert(it!=secondRHS2Prods.end() && "production (X -> Y sym) not found for sym!!");
@@ -167,17 +167,17 @@ public:
     }
 
 
-    const Symbol getLHSSymbol(const Production& prod)
+    const Symbol& getLHSSymbol(const Production& prod)
     {
         return prod.at(0);
     }
 
-    const Symbol getFirstRHSSymbol(const Production& prod)
+    const Symbol& getFirstRHSSymbol(const Production& prod)
     {
         return prod.at(1);
     }
 
-    const Symbol getSecondRHSSymbol(const Production& prod)
+    const Symbol& getSecondRHSSymbol(const Production& prod)
     {
         return prod.at(2);
     }

package/SVF-osx/include/CFL/GrammarBuilder.h

@@ -52,16 +52,16 @@ class GrammarBuilder
 {
 private:
     /// Load whole file content to string
-    inline std::string loadFileString() const;
+    const inline std::string loadFileString() const;
 
     /// Parse start symbol and production from file string
-    inline std::string parseProduction() const;
+    const inline std::string parseProduction() const;
 
     /// Parse whole production string to production vector
-    inline std::vector<std::string> loadWordProductions();
+    const inline std::vector<std::string> loadWordProductions() const;
 
     /// Strip frond and tail space
-    inline std::string stripSpace(std::string s) const;
+    const inline std::string stripSpace(std::string s) const;
 
 public:
     std::string fileName;
@@ -72,9 +72,9 @@ public:
         grammar = new GrammarBase();
     };
 
-    GrammarBase* build();
+    GrammarBase* build() const;
 
-    GrammarBase* build(Map<std::string, SVF::CFLGraph::Symbol> &preMap);
+    GrammarBase* build(Map<std::string, SVF::CFLGraph::Symbol> &preMap) const;
 };
 
 } // SVF

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1007",
+  "version": "1.0.1008",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {