Package hampi.grammars

Examples of hampi.grammars.Grammar

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
175
    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
184
    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
45
46
47
48
49
50
51
52
53
54
55
    assertTrue(solve.isSatisfiable());
    System.out.println(solve);
  }

  public void testGrammarBound6() 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
65
66
67
68
69
70
71
72
73
74
75
    assertTrue(solve.isSatisfiable());
    System.out.println(solve);
  }

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

Related Classes of hampi.grammars.Grammar

  • hampi.tests.gramgren.BoundingTests
  • hampi.tests.gramgren.CYKTests
  • hampi.tests.gramgren.GrammarTests
  • hampi.tests.SolverBenchmarks
  • hampi.tests.SolverTests
    • 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.