package tau.ex1;
import org.junit.Test;
import junit.framework.TestCase;

public class tests extends TestCase {

    @Test
    /* Node Coverage */
    public void testNodeCoverage() {
        int[] tc1 = {1,-1,-1};
        int res = (Count.count(tc1));
        assertEquals("Node Coverage Test failed: Expected 1, got " + res, 1, res);
    }

    @Test
    /* Edge Coverage */
    public void testEdgeCoverage() {
        int[] tc1 = {1,-1,-1};
        int res = (Count.count(tc1));
        assertEquals("Edge Coverage Test failed: Expected 1, got " + res, 1, res);
        int [] tc2 = {};
        res = (Count.count(tc2));
        assertEquals("Edge Coverage Test failed: Expected 0, got " + res, 0, res);
    }

    @Test
    /* All-Defs */
    public void testAllDefs() {
        int[] tc1 = {1,-1,-1};
        int res = (Count.count(tc1));
        assertEquals("All Defs Test failed: Expected 1, got " + res, 1, res);
        int[] tc3 = {1};
        int res = (Count.count(tc3));
        assertEquals("All Defs Test failed: Expected 1, got " + res, 1, res);

    }

    @Test
    /* All-Uses  */
    public void testAllUses() {
        int[] tc1 = {1,-1,-1};
        int res = (Count.count(tc1));
        assertEquals("All Uses Test failed: Expected 1, got " + res, 1, res);
        int [] tc2 = {};
        res = (Count.count(tc2));
        assertEquals("All Uses Test failed: Expected 0, got " + res, 0, res);
        int [] tc4 = {-1,1,1};
        res = (Count.count(tc4));
        assertEquals("All Uses Test failed: Expected 2, got " + res, 2, res);
    }

    @Test
    /* Prime Paths */
    public void testPrimePaths() {
        int[] tc1 = {1,-1,-1};
        int res = (Count.count(tc1));
        assertEquals("Prime Paths Test failed: Expected 1, got " + res, 1, res);
        int [] tc2 = {};
        res = (Count.count(tc2));
        assertEquals("Prime Paths Test failed: Expected 0, got " + res, 0, res);
        int[] tc3 = {1};
        int res = (Count.count(tc3));
        assertEquals("Prime Paths Test failed: Expected 1, got " + res, 1, res);
        int [] tc4 = {-1,1,1};
        res = (Count.count(tc4));
        assertEquals("Prime Paths Test failed: Expected 2, got " + res, 2, res);
        int [] tc5 = {-1};
        res = (Count.count(tc5));
        assertEquals("Prime Paths Test failed: Expected 0, got " + res, 0, res);

    }
}