Package hampi.grammars.apps

Examples of hampi.grammars.apps.GrammarStringBounder

106
107
108
109
110
111
112
113
114
115
116
117
    assertNotNull(boundedRegexp);
  }

  public void testTinySQL() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "tiny_SQL.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "SelectStmt", 26, false);
    //"SELECT" is one terminal and 6 characters
    assertNotNull(boundedRegexp);
    //    System.out.println(boundedRegexp);
    assertNotNull(boundedRegexp);
  }
View Full Code Here
128
129
130
131
132
133
134
135
136
  }

  //stack overflow because of production T = T;
  public void testUselessProductionCycle1() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "testUselessProductionCycle1.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", 1, false);
    assertNotNull(boundedRegexp);
  }
View Full Code Here
135
136
137
138
139
140
141
142
143
    assertNotNull(boundedRegexp);
  }

  public void testUselessProductionCycle2() throws Exception{
    Grammar g = new Parser(GrammarTests.DIR + "testUselessProductionCycle2.txt").parse();
    GrammarStringBounder gsb = new GrammarStringBounder();
    Regexp boundedRegexp = gsb.getBoundedRegexp(g, "S", 3, false);
    assertNotNull(boundedRegexp);
  }
View Full Code Here
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
    }
  }

  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());
    Constraint rc = h.regexpConstraint(h.varExpr("v"), true, boundedRegexp);
    Regexp threeOpens = h.concatRegexp(h.constRegexp("((("), h.starRegexp(h.orRegexp(h.constRegexp("("), h.constRegexp(")"))));
View Full Code Here
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
    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();
    h.setSolver(stp());
    Constraint rc = h.regexpConstraint(h.varExpr("v"), true, boundedRegexp);
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
View Full Code Here
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
  }

  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();
    h.setSolver(stp());
    Constraint rc = h.regexpConstraint(h.varExpr("v"), true, boundedRegexp);
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
View Full Code Here
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
    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();
    h.setSolver(stp());
    Constraint rc = h.regexpConstraint(h.varExpr("v"), true, boundedRegexp);
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
36
37
    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();
    h.setSolver(stp());
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
57
58
    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();
    h.setSolver(stp());
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
    Expression query = h.concatExpr(h.constExpr("UPDATE c SET w='"), h.varExpr("v"), h.constExpr("'"));
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
    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();
    h.setSolver(stp());
    Regexp sigmaStar = h.starRegexp(h.orRegexp(h.orRegexp(charRegexp(alpha, h))));
    Expression query = h.concatExpr(h.constExpr("UPDATE c SET w='"), h.varExpr("v"), h.constExpr("'"));
View Full Code Here
TOP

Related Classes of hampi.grammars.apps.GrammarStringBounder

  • hampi.Hampi
  • hampi.parser.HConstraintPreparer
  • hampi.tests.gramgren.BoundingTests
  • 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.