@Test
public void testGeneratedPlus() throws Exception {

    {// A+
        URIElement URIElement2 = new URIElement(true);
        URIElement URIElement0 = new URIElement();
        URIElement URIElement1 = new URIElement();
        URIElement0.add('A', URIElement1);
        URIElement1.add(SKIP, URIElement0);
        URIElement1.add(SKIP, URIElement2);
        assertFalse(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."));
    }
    {// [A]+
        URIElement URIElement3 = new URIElement(true);
        URIElement URIElement0 = new URIElement();
        URIElement URIElement1 = new URIElement();
        URIElement URIElement2 = new URIElement();
        URIElement0.add(SKIP, URIElement1);
        URIElement1.add('A', URIElement2);
        URIElement2.add(SKIP, URIElement1);
        URIElement2.add(SKIP, URIElement3);
        assertFalse(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."));
    }
}