Package hampi.grammars.parser

Examples of hampi.grammars.parser.Parser

44
45
46
47
48
49
50
51
52
53
54
    assertEquals(g, g1);
    assertTrue(g != g1);
  }

  public void testCopy2() throws Exception{
    Grammar g = new Parser(DIR + "ecmascript.txt").parse();
    Grammar g1 = g.makeCopy();
    assertEquals(g.toString(), g1.toString());
    assertEquals(g, g1);
    assertTrue(g != g1);
  }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
  public void testNonCNF17() throws Exception{
    checkNonCNF("expr.txt", "expr");
  }

  public void testNonCNF18() throws Exception{
    Grammar g = new Parser(DIR + "test_cnf1.txt").parse();
    assertTrue(!g.isCNF());

    List<Grammar> steps = new ArrayList<Grammar>();
    Grammar gCNF = new CNFConverter().convertToCNF(g, "S", steps);
View Full Code Here
156
157
158
159
160
161
162
163
164
165
    Grammar gCNF = checkNonCNF("test_cyk_ecmascript1.txt", "FunctionDeclaration");
    System.out.println(gCNF);
  }

  public void testReplace1() throws Exception{
    Grammar g = new Parser(DIR + "test_replace1.txt").parse();
    GrammarElementReplacer ger = new GrammarElementReplacer(g.getNonterminal("X"), g.getNonterminal("S"));
    g.accept(ger);
    compareIgnoreNewlines(g.toString(), DIR + "test_replace1_expected.txt");
  }
View Full Code Here
164
165
166
167
168
169
170
171
172
173
174
    compareIgnoreNewlines(g.toString(), DIR + "test_replace1_expected.txt");
  }

  //----------------------------------------------------------------------
  private Grammar checkNonCNF(String string, String start) throws IOException{
    Grammar g = new Parser(DIR + string).parse();
    assertTrue(!g.isCNF());

    Grammar gCNF = new CNFConverter().convertToCNF(g, start);
    assertTrue("not in CNF:\n" + gCNF, gCNF.isCNF());
    return gCNF;
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
    assertTrue("not in CNF:\n" + gCNF, gCNF.isCNF());
    return gCNF;
  }

  private void checkCNF(String string, String start) throws IOException{
    Grammar g = new Parser(DIR + string).parse();
    assertTrue(g.isCNF());

    Grammar gCNF = new CNFConverter().convertToCNF(g, start);
    assertEquals(g, gCNF);
    assertTrue(gCNF.isCNF());
View Full Code Here
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
      assertTrue(sol.isValidFor(c));
    }
  }

  public void testGrammarBound1() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "test_generate_parent.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "expr", 16, false);

    Hampi h = new Hampi();
    h.setSolver(stp());
View Full Code Here
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
    assertTrue(solve.isValidFor(c));
    System.out.println(solve);
  }

  public void testGrammarBound2() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "test_arithm.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 24;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
    System.out.println(solve);

  }

  public void testGrammarBound3() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "test_arithm.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 11;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
    assertTrue(solve.isValidFor(c));
    System.out.println(solve);
  }

  public void testGrammarBound4() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "test_arithm.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 9;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
    }
    return result;
  }

  public void testGrammarBound5() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    int bound = 21;
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "UpdateStmt", bound, false);
    Set<Character> alpha = boundedRegexp.getUsedCharacters();
    Hampi h = new Hampi();
View Full Code Here
TOP

Related Classes of hampi.grammars.parser.Parser

  • hampi.tests.gramgren.BoundingTests
  • hampi.tests.gramgren.CYKTests
  • hampi.tests.gramgren.EpsilonRemoverTests
  • hampi.tests.gramgren.GrammarTests
  • hampi.tests.SolverBenchmarks
  • hampi.tests.SolverTests
  • hampi.grammars.apps.GramgenException
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.