class VdmSymbolTable implements ISymbolTable {

	@Override
	public String getFLOOR()
	{
		return "floor";
	}

}

class VdmSymbolTableTest {

	 VdmSymbolTable table;

	@Test
	public void testGetFLOOR()
	{

		String actual = table.getFLOOR();
		String expected = "floor";

		assertEquals(expected, actual);
	}

}