rendered paste bodypackage 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)); }}