DRedCompleteGraphTestCase.java

/*******************************************************************************
 * Copyright (c) 2010-2012, Tamas Szabo, Istvan Rath and Daniel Varro
 * 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:
 *   Tamas Szabo - initial API and implementation
 *******************************************************************************/

package org.eclipse.incquery.runtime.base.itc.dred;

import static org.junit.Assert.assertEquals;

import org.eclipse.incquery.runtime.base.itc.alg.dred.DRedAlg;
import org.eclipse.incquery.runtime.base.itc.alg.misc.dfs.DFSAlg;
import org.eclipse.incquery.runtime.base.itc.graphimpl.Graph;
import org.junit.Test;

public class DRedCompleteGraphTestCase {

	@Test
	public void testResult() {        		
		int nodeCount = 10;
		Graph<Integer> g = new Graph<Integer>();
		DFSAlg<Integer> dfsa = new DFSAlg<Integer>(g);
		DRedAlg<Integer> da = new DRedAlg<Integer>(g);

		for (int i = 0; i < nodeCount; i++) {
			g.insertNode(i);
		}

		for (int i = 0; i < nodeCount; i++) {
			for (int j = 0; j < nodeCount; j++) {
				if (i != j) {
					g.insertEdge(i, j);
					assertEquals(da.getTcRelation(), dfsa.getTcRelation());
				}
			}
		}

		for (int i = 0; i < nodeCount; i++) {
			for (int j = 0; j < nodeCount; j++) {
				if (i != j) {
					g.deleteEdge(i, j);
					assertEquals(da.getTcRelation(), dfsa.getTcRelation());
				}
			}
		}

	}
}