public void dumpInstruction(TabbedPrintWriter writer)
			throws java.io.IOException {
		if (label != null) {
			writer.untab();
			writer.println(label + ":");
			writer.tab();
		}
		writer.print("switch (");
		instr.dumpExpression(writer.EXPL_PAREN, writer);
		writer.print(")");
		writer.openBrace();
		for (int i = 0; i < caseBlocks.length; i++)
			caseBlocks[i].dumpSource(writer);
		writer.closeBrace();
	}