package inf101.gameOfLife.spilldeler;

import static junit.framework.Assert.*;

import inf101.gameOfLife.spilldeler.brikker.*;

/**
 * @author Yngve Ådlandsvik
 *
 */
public class IBrettAksiomer
{
	static public void aksiomBrettSum(IBrett b)
	{
		int antallRuter = b.storrelse() * b.storrelse();
		
		int antallTomme = b.antall(new TomBrikke());
		int antallSirkler = b.antall(new SirkelBrikke());
		int antallKryss = b.antall(new KryssBrikke());
		
		assertEquals(antallRuter, antallTomme + antallSirkler + antallKryss);
	}
	
	static public void aksiomBrikkeInsert(IBrett b, IBrikke br, IPosisjon pos)
	{
		b.settBrikke(pos, br);
		assertEquals(br, b.hentBrikke(pos));
	}
}