Method testDominator

src/test/java/pascal/taie/util/graph/GraphTest.java:122–142

()

    }

    @Test
    void testDominator() {
        Graph<Integer> g = readGraph("src/test/resources/util/graph-dominator.txt");
        DominatorFinder<Integer> domFinder = new DominatorFinder<>(g);
        assertTrue(domFinder.isDominatedBy(2, 1));
        assertFalse(domFinder.isDominatedBy(1, 2));

        assertEquals(domFinder.getDominatorsOf(1), Set.of(1));
        assertEquals(domFinder.getDominatorsOf(3), Set.of(1, 3));
        assertEquals(domFinder.getDominatorsOf(5), Set.of(1, 3, 4, 5));
        assertEquals(domFinder.getDominatorsOf(7), Set.of(1, 3, 4, 7));
        assertEquals(domFinder.getDominatorsOf(9), Set.of(1, 3, 4, 7, 8, 9));

        assertEquals(domFinder.getNodesDominatedBy(1),
                Set.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 10));
        assertEquals(domFinder.getNodesDominatedBy(3),
                Set.of(3, 4, 5, 6, 7, 8, 9, 10));
        assertEquals(domFinder.getNodesDominatedBy(5), Set.of(5));
        assertEquals(domFinder.getNodesDominatedBy(7), Set.of(7, 8, 9, 10));
        assertEquals(domFinder.getNodesDominatedBy(9), Set.of(9));
    }

    private static SimpleGraph<Integer> readGraph(String filePath) {
        SimpleGraph<Integer> graph = new SimpleGraph<>();