/*
 * Copyright (c) 2001-2013 Oracle and/or its affiliates. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 *   - Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *
 *   - Redistributions in binary form must reproduce the above copyright
 *     notice, this list of conditions and the following disclaimer in the
 *     documentation and/or other materials provided with the distribution.
 *
 *   - Neither the name of Oracle nor the names of its
 *     contributors may be used to endorse or promote products derived
 *     from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
 * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

package com.sun.msv.grammar.util;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

import com.sun.msv.grammar.ChoiceNameClass;
import com.sun.msv.grammar.DifferenceNameClass;
import com.sun.msv.grammar.NameClass;
import com.sun.msv.grammar.NamespaceNameClass;
import com.sun.msv.grammar.NotNameClass;
import com.sun.msv.grammar.SimpleNameClass;

public class NameClassSimplifierTest extends TestCase {
    
    public NameClassSimplifierTest( String name ) { super(name); }
    
    public static void main(java.lang.String[] args) {
        junit.textui.TestRunner.run(suite());
    }
    
    public static Test suite() {
        return new TestSuite(NameClassSimplifierTest.class);
    }
    
    public void testSimplifier1() throws Exception {
        assertSame(
            NameClass.ALL,
            NameClassSimplifier.simplify(
                new ChoiceNameClass(
                    NameClass.ALL,
                    new DifferenceNameClass(
                        new NamespaceNameClass("abc"),
                        new SimpleNameClass("abc","def")))));
    }
    
    public void testSimplifier2() throws Exception {
        NameClass nc = NameClassSimplifier.simplify(
            new DifferenceNameClass(
                new ChoiceNameClass(
                    NameClass.ALL,
                    new NamespaceNameClass("abc")
                ),
                new SimpleNameClass("abc","def")));
        
        assertTrue( nc instanceof NotNameClass );
        NotNameClass nnc = (NotNameClass)nc;
        assertTrue( nnc.child instanceof SimpleNameClass );
        SimpleNameClass snc = (SimpleNameClass)nnc.child;
        assertEquals( snc.namespaceURI, "abc" );
        assertEquals( snc.localName, "def");
    }
    
    public void testSimplifier3() throws Exception {
        NameClass nc = NameClassSimplifier.simplify(
            new DifferenceNameClass(
                 NameClass.ALL,
                new DifferenceNameClass(
                    new NamespaceNameClass("abc"),
                    new SimpleNameClass("abc","def"))));
        
        assertTrue( nc instanceof NotNameClass );
        NotNameClass nnc = (NotNameClass)nc;
        assertTrue( nnc.child instanceof DifferenceNameClass );
        DifferenceNameClass dnc = (DifferenceNameClass)nnc.child;
        assertTrue( dnc.nc1 instanceof NamespaceNameClass );
        NamespaceNameClass nc1 = (NamespaceNameClass)dnc.nc1;
        assertEquals( "abc",nc1.namespaceURI );
        assertTrue( dnc.nc2 instanceof SimpleNameClass );
        SimpleNameClass nc2 = (SimpleNameClass)dnc.nc2;
        assertEquals( "abc",nc2.namespaceURI );
        assertEquals( "def",nc2.localName );
    }
}
