jena-arq/src/test/java/org/apache/jena/common/TestIsoMatcher.java

/**
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.apache.jena.common;

import java.util.ArrayList ;
import java.util.List ;

import org.apache.jena.atlas.junit.BaseTest ;
import org.apache.jena.atlas.lib.tuple.Tuple ;
import org.apache.jena.atlas.lib.tuple.TupleFactory ;
import org.apache.jena.graph.Graph ;
import org.apache.jena.graph.Node ;
import org.apache.jena.sparql.core.DatasetGraph ;
import org.apache.jena.sparql.sse.Item ;
import org.apache.jena.sparql.sse.SSE ;
import org.apache.jena.sparql.sse.builders.BuilderNode ;
import org.apache.jena.sparql.util.IsoMatcher ;
import org.junit.Test ;

public class TestIsoMatcher extends BaseTest
{
    @Test public void iso_00() { testGraph("",
                                           "",
                                           true) ; }


    @Test public void iso_01() { testGraph("(<x> <p> 1)",
                                           "(<x> <p> 1)",
                                           true) ; }

    @Test public void iso_02() { testGraph("(<x> <p> 1)",
                                           "(<x> <p> 2)",
                                           false) ; }

    @Test public void iso_03() { testGraph("(<x> <p> 1) (<x> <p> 2)",
                                           "(<x> <p> 2)",
                                           false) ; }

    @Test public void iso_04() { testGraph("(<x> <p> _:a)",
                                           "(<x> <p> 2)",
                                           false) ; }

    @Test public void iso_05() { testGraph("(<x> <p> _:a)",
                                           "(<x> <p> _:b)",
                                           true) ; }

    @Test public void iso_06() { testGraph("(_:a <p> _:a)",
                                           "(_:b <p> _:b)",
                                           true)  ; }

    @Test public void iso_07() { testGraph("(_:a1 <p> _:a2)",
                                           "(_:bb <p> _:bb)",
                                           false)  ; }

    @Test public void iso_10() { testGraph("(_:a _:a _:a)",
                                           "(_:b _:b _:b)",
                                           true)  ; }

    @Test public void iso_11() { testGraph("(_:a _:a _:a)",
                                           "(_:z _:b _:b)",
                                           false)  ; }

    @Test public void iso_12() { testGraph("(_:a _:a _:a)",
                                           "(_:b _:z _:b)",
                                           false)  ; }

    @Test public void iso_13() { testGraph("(_:a _:a _:a)",
                                           "(_:b _:b _:z)",
                                           false)  ; }

    @Test public void iso_14() { testGraph("(_:a _:a _:b)",
                                           "(_:b _:b _:z)",
                                           true)  ; }

    @Test public void iso_15() { testGraph("(_:a _:x _:a)",
                                           "(_:b _:z _:b)",
                                           true)  ; }

    @Test public void iso_16() { testGraph("(_:x _:a _:a)",
                                           "(_:z _:b _:b)",
                                           true)  ; }

    @Test public void iso_20() { testGraph("(<x> <p> _:a) (<z> <p> _:a)",
                                           "(<x> <p> _:b) (<z> <p> _:b)",
                                           true)  ; }

    @Test public void iso_21() { testGraph("(<x> <p> _:a1) (<z> <p> _:a2)",
                                           "(<x> <p> _:b) (<z> <p> _:b)",
                                           false)  ; }

    @Test public void iso_22() { testGraph("(_:a <p> _:a) (<s> <q> _:a)",
                                           "(_:b <p> _:b) (<s> <q> _:b)",
                                           true)  ; }

    @Test public void iso_23() { testGraph("(_:a <p> _:a) (<s> <q> _:a)",
                                           "(_:b <p> _:b) (<s> <q> _:c)",
                                           false)  ; }

    @Test public void iso_24() { testGraph("(_:a <p> _:a) (<s> <q> _:a) (_:b <q> _:b)",
                                           "(_:b <p> _:b) (<s> <q> _:b) (_:b <q> _:b)",
                                           false)  ; }

    @Test public void iso_50() { testDSG("(graph (_:a <p> _:a)) (graph <g> (<s> <q> _:a))" ,
                                         "(graph (_:a <p> _:a)) (graph <g> (<s> <q> _:a))" ,
                                         true)  ; }

    // Graphs separately isomorphic.
    @Test public void iso_51() { testDSG("(graph (_:a <p> _:a)) (graph <g> (<s> <q> _:a))" ,
                                         "(graph (_:a <p> _:a)) (graph <g> (<s> <q> _:b))" ,
                                         false)  ; }
    
    // List based tests
    @Test public void iso_61() { 
        String[] x1 = {} ;
        String[] x2 = {} ;
        test(x1, x2, true) ;
        }

    @Test public void iso_62() { 
        String[] x1 = {"(<x> <p> 1)"} ;
        String[] x2 = {} ;
        test(x1, x2, false) ;
        }

    @Test public void iso_63() { 
        String[] x1 = {"(_:x <p> 1)"} ;
        String[] x2 = {"(_:y <p> 1)"} ;
        test(x1, x2, true) ;
        }
    
    @Test public void iso_64() { 
        String[] x1 = {"(_:x <p> 1)", "(_:x <p> 1)"} ;
        String[] x2 = {"(_:y <p> 1)", "(_:x <p> 1)"} ;
        test(x1, x2, true) ;
        }

    @Test public void iso_65() { 
        String[] x1 = {"(_:x <p> 1)","(_:y <p> 1)"} ;
        String[] x2 = {"(_:y <p> 1)","(_:x <p> 1)"} ;
        test(x1, x2, true) ;
        }

    // Backtracking. _:a -> _y needs unwinding.
    @Test public void iso_66() { 
        String[] x1 = {"(_:a <p> 1)","(_:b <p> 1)","(_:a <p> 2)"} ;
        String[] x2 = {"(_:y <p> 1)","(_:z <p> 1)","(_:z <p> 2)"} ;
        test(x1, x2, true) ;
        }

    private void test(String[] x1, String[] x2, boolean iso)
    {
        List<Tuple<Node>> t1 = tuples(x1) ;
        List<Tuple<Node>> t2 = tuples(x2) ;
        test$(t1, t2, iso) ;
    }
        
    private void test$(List<Tuple<Node>> t1, List<Tuple<Node>> t2, boolean iso)
    {
        boolean b = IsoMatcher.isomorphic(t1, t2) ;
        if ( b != iso ) {
            System.out.println("====") ;
            System.out.println(t1) ;
            System.out.println("----") ;
            System.out.println(t2) ;
            System.out.println("Expected: "+iso+" ; got: "+b) ;
        }
        assertEquals(iso, b) ;
    }


    private static Node[] T = new Node[0] ;
    private List<Tuple<Node>> tuples(String[] strings)
    {
        List<Tuple<Node>> tuples = new ArrayList<>() ;
        for ( String s : strings)
        {
            Item item = SSE.parse(s) ;
            List<Node> list = BuilderNode.buildNodeList(item) ;
            Tuple<Node> tuple = TupleFactory.tuple(list.toArray(T)) ;
            tuples.add(tuple) ;
        }
        return tuples ;
    }

    private void testGraph(String s1, String s2, boolean iso) {
        testGraph$(s1, s2, iso) ;
        testGraph$(s2, s1, iso) ;
    }
    
    private void testGraph$(String s1, String s2, boolean iso) {
        s1 = "(graph "+s1+")" ;
        s2 = "(graph "+s2+")" ;
        
        Graph g1 = SSE.parseGraph(s1) ;
        Graph g2 = SSE.parseGraph(s2) ;
        boolean b = IsoMatcher.isomorphic(g1, g2) ;
            
        if ( b != iso ) {
            System.out.println("====") ;
            SSE.write(g1) ;
            System.out.println("----") ;
            SSE.write(g2) ;
            System.out.println("Expected: "+iso+" ; got: "+b) ;
        }
        assertEquals(iso, b) ;
        // Check with the other code.
        assertEquals(b, g1.isIsomorphicWith(g2)) ;
    }
    
    private void testDSG(String s1, String s2, boolean iso) {
        testDSG$(s1, s2, iso) ;
        testDSG$(s2, s1, iso) ;
    }

    private void testQuads(String s1, String s2, boolean iso) {
        //XXX
//        testDSG$(s1, s2, iso) ;
//        testDSG$(s2, s1, iso) ;
    }

    private void testDSG$(String s1, String s2, boolean iso) {
        s1 = "(dataset "+s1+")" ;
        s2 = "(dataset "+s2+")" ;
        
        DatasetGraph dsg1 = SSE.parseDatasetGraph(s1) ;
        DatasetGraph dsg2 = SSE.parseDatasetGraph(s2) ;
        boolean b = IsoMatcher.isomorphic(dsg1, dsg2) ;
        if ( b != iso ) {
            System.out.println("====") ;
            SSE.write(dsg1) ;
            System.out.println("----") ;
            SSE.write(dsg2) ;
            System.out.println("Expected: "+iso+" ; got: "+b) ;
        }
        assertEquals(iso, b) ;
    }
    

}