IdManagerTest.java

/* -*- tab-width: 4 -*-
 *
 * Electric(tm) VLSI Design System
 *
 * File: IdManagerTest.java
 * Written by: Dmitry Nadezhin, Sun Microsystems.
 *
 * Copyright (c) 2005, Oracle and/or its affiliates. All rights reserved.
 *
 * Electric(tm) is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 3 of the License, or
 * (at your option) any later version.
 *
 * Electric(tm) is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Electric(tm); see the file COPYING.  If not, write to
 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
 * Boston, Mass 02111-1307, USA.
 */
package com.sun.electric.database.id;

import com.sun.electric.database.CellBackup;
import com.sun.electric.database.LibraryBackup;
import com.sun.electric.database.Snapshot;
import com.sun.electric.database.text.CellName;

import static org.junit.Assert.*;
import org.junit.After;
import org.junit.Before;
import org.junit.Test;

/**
 * Unit tests of IdManager
 */
public class IdManagerTest {

    private IdManager idManager;
    private Snapshot initialSnapshot;
    private LibId libId0;
    private LibId libId1;
    private CellId cellId0;
    private CellId cellId1;

    @Before
    public void setUp() throws Exception {
        idManager = new IdManager();
        initialSnapshot = idManager.getInitialSnapshot();
        libId0 = idManager.newLibId("libId0");
        libId1 = idManager.newLibId("libId1");
        CellName cellName0 = CellName.parseName("cell0;1{sch}");
        CellName cellName1 = CellName.parseName("cell1;1{sch}");
        cellId0 = libId1.newCellId(cellName0);
        cellId1 = libId0.newCellId(cellName1);
    }

    @After
    public void tearDown() throws Exception {
        idManager = null;
        initialSnapshot = null;
        libId0 = libId1 = null;
        cellId0 = cellId1 = null;
    }

    public static junit.framework.Test suite() {
        return new junit.framework.JUnit4TestAdapter(IdManagerTest.class);
    }

    /**
     * Test of newLibId method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testNewLibId() {
        System.out.println("newLibId");

        assertLibId(0, libId0);
        assertLibId(1, libId1);
        LibId libId2 = idManager.newLibId("libId2");
        assertLibId(2, libId2);
        assertSame(libId1, idManager.newLibId("libId1"));
    }

    /**
     * Test of getLibId method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testGetLibId() {
        System.out.println("getLibId");

        assertSame(libId1, idManager.getLibId(1));
        LibId libId2 = idManager.newLibId("libId2");
        LibId libId3 = idManager.newLibId("libId3");
        LibId libId4 = idManager.newLibId("libId4");
        LibId libId5 = idManager.newLibId("libId5");
        assertSame(libId1, idManager.getLibId(1));
        assertSame(libId4, idManager.getLibId(4));
        assertSame(libId5, idManager.getLibId(5));
    }

    private void assertLibId(int libIndex, LibId libId) {
        assertSame(idManager, libId.idManager);
        assertEquals(libIndex, libId.libIndex);
    }

    /**
     * Test of newCellId method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testNewCellId() {
        System.out.println("newCellId");

        assertCellId(0, cellId0);
        assertCellId(1, cellId1);
        CellName cellName2 = CellName.parseName("cell2;1{sch}");
        CellId cellId2 = libId1.newCellId(cellName2);
        assertCellId(2, cellId2);
    }

    /**
     * Test of getCellId method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testGetCellId() {
        System.out.println("getCellId");

        assertSame(cellId1, idManager.getCellId(1));
        CellName cellName2 = CellName.parseName("cell2;1{sch}");
        CellName cellName3 = CellName.parseName("cell3;1{sch}");
        CellName cellName4 = CellName.parseName("cell4;1{sch}");
        CellName cellName5 = CellName.parseName("cell5;1{sch}");
        CellId cellId2 = libId1.newCellId(cellName2);
        CellId cellId3 = libId1.newCellId(cellName3);
        CellId cellId4 = libId1.newCellId(cellName4);
        CellId cellId5 = libId1.newCellId(cellName5);
        assertSame(cellId1, idManager.getCellId(1));
        assertSame(cellId4, idManager.getCellId(4));
        assertSame(cellId5, idManager.getCellId(5));
    }

    private void assertCellId(int cellIndex, CellId cellId) {
        assertSame(idManager, cellId.getIdManager());
        assertEquals(cellIndex, cellId.cellIndex);
    }

    /**
     * Test of getInitialSnapshot method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testGetInitialSnapshot() {
        System.out.println("getInitialSnapshot");

        assertSame(idManager, initialSnapshot.idManager);
        assertEquals(0, initialSnapshot.snapshotId);
        assertSame(CellBackup.EMPTY_LIST, initialSnapshot.cellBackups);
        assertSame(LibraryBackup.EMPTY_LIST, initialSnapshot.libBackups);

        assertSame(initialSnapshot, idManager.getInitialSnapshot());
    }

    /**
     * Test of newSnapshotId method, of class com.sun.electric.database.IdManager.
     */
    @Test
    public void testNewSnapshotId() {
        System.out.println("newSnapshotId");
        assertEquals(1, idManager.newSnapshotId());
        assertEquals(2, idManager.newSnapshotId());
//        long startTime = System.currentTimeMillis();
//        int snapshotId = -1;
//        for (int i = 0; i < 10000000; i++)
//            snapshotId = idManager.newSnapshotId();
//        long stopTime = System.currentTimeMillis();
//        System.out.println(snapshotId + " ids in " + (stopTime - startTime) + " msec");
    }
}