org.eclipse.photran.core.vpg.tests/src/org/eclipse/photran/internal/core/analysis/dependence/GCDTestTest.java

/*******************************************************************************
 * Copyright (c) 2009 University of Illinois at Urbana-Champaign and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *    UIUC - Initial API and implementation
 *******************************************************************************/
package org.eclipse.photran.internal.core.analysis.dependence;

import junit.framework.TestCase;

import org.eclipse.photran.internal.core.analysis.dependence.GCDTest;

/**
 * 
 * @author Jeff Overbey
 */
public class GCDTestTest extends TestCase
{
    /**
     * DO I = 1, N
     *     A(I + 1) = A(I) + B(I)     ! S1
     * ENDDO
     */
    public void testPage38()
    {
        assertTrue(test(
            1,
            //          Constant term
            //          |  Coefficient of I
            //          |  |
            //          V  V
            new int[] { 1, 1 },
            new int[] { 0, 1 }));
    }
    
    /**
     * DO I = 1, N
     *     A(I + 2) = A(I) + B(I)     ! S1
     * ENDDO
     */
    public void testPage39()
    {
        assertTrue(test(
            1,
            //          Constant term
            //          |  Coefficient of I
            //          |  |
            //          V  V
            new int[] { 2, 1 },
            new int[] { 0, 1 }));
    }
    
    /**
     * DO I = 1, N
     *     A(2*I) = A(2*I + 1)
     * ENDDO
     */
    public void testFalse()
    {
        assertFalse(test(
            1,
            //          Constant term
            //          |  Coefficient of I
            //          |  |
            //          V  V
            new int[] { 0, 2 },
            new int[] { 1, 2 }));
    }
    
    private boolean test(int n, int[] a, int[] b)
    {
        return new GCDTest().test(n, null, null, a, b, null);
    }
}