KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > sablecc > sablecc > automaton > MinimalDfaTest


1 /* This file is part of SableCC ( http://sablecc.org ).
2  *
3  * Copyright 2007 Raymond Audet <raymond.audet@gmail.com>
4  *
5  * Licensed under the Apache License, Version 2.0 (the "License");
6  * you may not use this file except in compliance with the License.
7  * You may obtain a copy of the License at
8  *
9  * http://www.apache.org/licenses/LICENSE-2.0
10  *
11  * Unless required by applicable law or agreed to in writing, software
12  * distributed under the License is distributed on an "AS IS" BASIS,
13  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14  * See the License for the specific language governing permissions and
15  * limitations under the License.
16  */

17
18 package org.sablecc.sablecc.automaton;
19
20 import static org.junit.Assert.fail;
21
22 import org.junit.Before;
23 import org.junit.Test;
24 import org.sablecc.sablecc.alphabet.Realms;
25 import org.sablecc.sablecc.exception.InternalException;
26
27 public class MinimalDfaTest {
28
29     MinimalDfa<Integer JavaDoc> minimalDfa;
30
31     Dfa<Integer JavaDoc> dfa;
32
33     @Before
34     public void setUp()
35             throws Exception JavaDoc {
36
37         this.dfa = new Dfa<Integer JavaDoc>(new Nfa<Integer JavaDoc>(Realms.getInteger()
38                 .createInterval(10)).oneOrMore());
39         this.minimalDfa = new MinimalDfa<Integer JavaDoc>(this.dfa);
40     }
41
42     @Test
43     public void testMinimalDfa() {
44
45         // Case with null Dfa
46
Dfa<Integer JavaDoc> nullDfa = null;
47         try {
48             this.minimalDfa = new MinimalDfa<Integer JavaDoc>(nullDfa);
49             fail("dfa may not be null");
50         }
51         catch (InternalException e) {
52             // Expected
53
}
54     }
55 }
56
Popular Tags