Package hampi.grammars

Examples of hampi.grammars.Grammar

33
34
35
36
37
38
39
40
41
42
43
import junit.framework.TestCase;

public class CYKTests extends TestCase{
  public void test1() throws Exception{
    String grammarFile = "tests/resources/test_cyk1.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    List<ParseTree> parse = p.parse("s1 s2".split(" "), "S");
    assertTrue(!parse.isEmpty());
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
52
    assertTrue(!parse.isEmpty());
  }

  public void test2() throws Exception{
    String grammarFile = "tests/resources/test_cyk1.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    List<ParseTree> parse = p.parse("s1 s2 s1".split(" "), "S");
    assertTrue(parse.isEmpty());
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
    assertTrue(parse.isEmpty());
  }

  public void test3() throws Exception{
    String grammarFile = "tests/resources/test_cyk2.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    String s = "b a a b a";
    List<ParseTree> parse = p.parse(s.split(" "), "S");
    System.out.println(s);
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
    assertTrue(!parse.isEmpty());
  }

  public void test4() throws Exception{
    String grammarFile = "tests/resources/test_cyk2.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    String s = "b a b a";
    List<ParseTree> parse = p.parse(s.split(" "), "S");
    assertTrue(parse.toString(), parse.isEmpty());
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
    assertTrue(parse.toString(), parse.isEmpty());
  }

  public void test5() throws Exception{
    String grammarFile = "tests/resources/test_cyk3.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    String s = "a b b d a b";
    List<ParseTree> parse = p.parse(s.split(" "), "S");
    assertTrue(!parse.isEmpty());
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
    assertTrue(!parse.isEmpty());
  }

  public void test6() throws Exception{
    String grammarFile = "tests/resources/test_cyk3.txt";
    Grammar g = new Parser(grammarFile).parse();
    System.out.println(g);
    CYKParser p = new CYKParser(g);
    String s = "b a d";
    List<ParseTree> parse = p.parse(s.split(" "), "S");
    assertTrue(parse.toString(), parse.isEmpty());
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
    assertTrue(parse.toString(), parse.isEmpty());
  }

  public void testEcmascript1() throws Exception{
    String grammarFile = "tests/resources/ecmascript.txt";
    Grammar g = new Parser(grammarFile).parse();
    assertTrue(!g.isCNF());

    List<Grammar> steps = new ArrayList<Grammar>();
    final String startSymbol = "FunctionDeclaration";
    Grammar gCNF = new CNFConverter().convertToCNF(g, startSymbol, steps);

    CYKParser p = new CYKParser(gCNF);
    String s = "function <IDENTIFIER_NAME> ( ) { break ; }";
    List<ParseTree> parse = p.parse(s.split(" "), startSymbol);
    assertTrue("cannot parse: " + s, !parse.isEmpty());
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
    assertTrue("cannot parse: " + s, !parse.isEmpty());
  }

  public void testEcmascript2() throws Exception{
    String grammarFile = "tests/resources/test_cyk_ecmascript.txt";
    Grammar g = new Parser(grammarFile).parse();
    assertTrue(!g.isCNF());

    List<Grammar> steps = new ArrayList<Grammar>();
    final String startSymbol = "FunctionDeclaration";
    Grammar gCNF = new CNFConverter().convertToCNF(g, startSymbol, steps);

    CYKParser p = new CYKParser(gCNF);
    String s = "function <IDENTIFIER_NAME> ( ) { break ; }";
    List<ParseTree> parse = p.parse(s.split(" "), startSymbol);
    assertTrue("cannot parse: " + s, !parse.isEmpty());
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
    assertTrue("cannot parse: " + s, !parse.isEmpty());
  }

  public void testEcmascript3() throws Exception{
    String grammarFile = "tests/resources/test_cyk_ecmascript1.txt";
    Grammar g = new Parser(grammarFile).parse();
    assertTrue(!g.isCNF());

    List<Grammar> steps = new ArrayList<Grammar>();
    final String startSymbol = "FunctionDeclaration";
    Grammar gCNF = new CNFConverter().convertToCNF(g, startSymbol, steps);

    CYKParser p = new CYKParser(gCNF);
    String s = "break ; ";
    List<ParseTree> parse = p.parse(s.split(" "), startSymbol);
    assertTrue("cannot parse: " + s, !parse.isEmpty());
View Full Code Here
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
    assertTrue("cannot parse: " + s, !parse.isEmpty());
  }

  public void testEcmascript4() throws Exception{
    String grammarFile = "tests/resources/ecmascript.txt";
    Grammar g = new Parser(grammarFile).parse();
    assertTrue(!g.isCNF());

    List<Grammar> steps = new ArrayList<Grammar>();
    final String startSymbol = "FunctionDeclaration";
    Grammar gCNF = new CNFConverter().convertToCNF(g, startSymbol, steps);

    CYKParser p = new CYKParser(gCNF);
    String s = "function <IDENTIFIER_NAME> ( ) { -- <HEX_INTEGER_LITERAL> >= - <STRING_LITERAL> typeof true , false }";
    List<ParseTree> parse = p.parse(s.split(" "), startSymbol);
    for (ParseTree parseTree : parse){
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.