@Test
public void testGeneratedKleeneStar() throws Exception {

    {// A*
        URIElement URIElement2 = new URIElement(true);
        URIElement URIElement0 = new URIElement();
        URIElement URIElement1 = new URIElement();
        URIElement0.add('A', URIElement1);
        URIElement0.add(SKIP, URIElement1);
        URIElement1.add('A', URIElement1);
        URIElement1.add(SKIP, URIElement2);
        assertTrue(new URIVerifier(URIElement0).verify(""));
        assertTrue(new URIVerifier(URIElement0).verify("A"));
        assertTrue(new URIVerifier(URIElement0).verify("AA"));
        assertTrue(new URIVerifier(URIElement0).verify("AAA"));
        assertTrue(new URIVerifier(URIElement0).verify("AAAA"));
        assertFalse(new URIVerifier(URIElement0).verify("AAAA."));
    }
}