package inf101.gameOfLife.spilldeler.brikker;

import static junit.framework.Assert.*;

/**
 * Aksiom for brikker. Henter type fra brikken, og kontrollerer om erType()-
 * metodene returnerer korrekt resultat.
 * 
 * @author Yngve Ådlandsvik
 *
 */
public class IBrikkeAksiomer
{
	/**
	 * Resultat fra hentType() svarer til erType()-metodene.
	 */
	static public void sjekkType(IBrikke b)
	{
		if (b.hentType().equals(IBrikke.BrikkeType.TOM))
		{
			assertTrue(b.erTom());
			assertFalse(b.erSirkel());
			assertFalse(b.erKryss());
		}
		else if (b.hentType().equals(IBrikke.BrikkeType.SIRKEL))
		{
			assertFalse(b.erTom());
			assertTrue(b.erSirkel());
			assertFalse(b.erKryss());
		}
		else if (b.hentType().equals(IBrikke.BrikkeType.KRYSS))
		{
			assertFalse(b.erTom());
			assertFalse(b.erSirkel());
			assertTrue(b.erKryss());
		}
		else
		{
			fail();
		}
	}
}