Examples of javassist.bytecode.analysis.ControlFlow.postDominatorTree()

javassist.bytecode.analysis.ControlFlow.postDominatorTree()

Constructs a post dominator tree. This method returns an array of the tree nodes. Note that the tree has multiple roots. The parent of the root nodes is null.

The order of the elements is the same as that of the elements in the Block array returned by the basicBlocks method. If a Block object is at the i-th position in the Block array, then the Node object referring to that Block object is at the i-th position in the array returned by this method. For every array element node, its index in the array is equivalent to node.block().index(). @return an array of the tree nodes, or null if the method is abstract. @see Node#block() @see Block#index()

        assertEquals(0, dom[1].parent().block().position());
        assertEquals(0, dom[2].parent().block().position());
        assertEquals(0, dom[3].parent().block().position());
        assertEquals(0, dom[4].parent().block().position());


        Node[] pdom = cf.postDominatorTree();
        assertEquals(19, pdom[0].parent().block().position());
        assertEquals(19, pdom[1].parent().block().position());
        assertEquals(19, pdom[2].parent().block().position());
        assertEquals(19, pdom[3].parent().block().position());
        assertNull(pdom[4].parent());

        assertNull(dom[0].parent());
        assertEquals(0, dom[1].parent().block().position());
        assertEquals(7, dom[2].parent().block().position());
        assertEquals(0, dom[3].parent().block().position());


        Node[] pdom = cf.postDominatorTree();
        assertNull(pdom[0].parent());
        assertNull(pdom[1].parent());
        assertNull(pdom[2].parent());
        assertNull(pdom[3].parent());
    }


        Node[] dom = cf.dominatorTree();
        for (int i = 0; i < dom.length; i++)
            System.out.println(i + ": " + dom[i]);


        Node[] pdom = cf.postDominatorTree();
        for (int i = 0; i < pdom.length; i++)
            System.out.println(i + ": " + pdom[i]);
    }


    public int dummy(int n, int[] array) {

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.