Method testInit

src/test/java/pascal/taie/util/IndexerTest.java:34–44

()

public class IndexerTest {

    @Test
    void testInit() {
        Indexer<String> i = new SimpleIndexer<>(List.of("aaa", "xxx", "yyy"));
        assertEquals(0, i.getIndex("aaa"));
        assertEquals(0, i.getIndex("aaa"));
        assertEquals(1, i.getIndex("xxx"));
        assertEquals(2, i.getIndex("yyy"));
        assertEquals("aaa", i.getObject(0));
        assertEquals("xxx", i.getObject(1));
        assertEquals("yyy", i.getObject(2));
    }

    @Test
    void testGet() {