@@ -0,0 +1,1599 @@
+/* This file is part of SableCC ( http://sablecc.org ).%0A *%0A * See the NOTICE file distributed with this work for copyright information.%0A *%0A * Licensed under the Apache License, Version 2.0 (the %22License%22);%0A * you may not use this file except in compliance with the License.%0A * You may obtain a copy of the License at%0A *%0A *     http://www.apache.org/licenses/LICENSE-2.0%0A *%0A * Unless required by applicable law or agreed to in writing, software%0A * distributed under the License is distributed on an %22AS IS%22 BASIS,%0A * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.%0A * See the License for the specific language governing permissions and%0A * limitations under the License.%0A */%0A%0Apackage org.sablecc.sablecc.automaton;%0A%0Aimport static org.junit.Assert.fail;%0A%0Aimport org.junit.Before;%0Aimport org.junit.Test;%0Aimport org.sablecc.sablecc.alphabet.Realms;%0Aimport org.sablecc.sablecc.exception.InternalException;%0A%0Apublic class MinimalDfaTest %7B%0A%0A    MinimalDfa%3CInteger%3E minimalDfa;%0A%0A    Dfa%3CInteger%3E dfa;%0A%0A    @Before%0A    public void setUp()%0A            throws Exception %7B%0A%0A        this.dfa = new Dfa%3CInteger%3E(new Nfa%3CInteger%3E(Realms.getInteger()%0A                .createInterval(10)).oneOrMore());%0A        this.minimalDfa = new MinimalDfa%3CInteger%3E(this.dfa);%0A    %7D%0A%0A    @Test%0A    public void testMinimalDfa() %7B%0A%0A        // Case with null Dfa%0A        Dfa%3CInteger%3E nullDfa = null;%0A        try %7B%0A            this.minimalDfa = new MinimalDfa%3CInteger%3E(nullDfa);%0A            fail(%22dfa may not be null%22);%0A        %7D%0A        catch (InternalException e) %7B%0A            // Expected%0A        %7D%0A    %7D%0A%7D%0A

Add JUnit tests.