public final void visitTableSwitchInsn(final int min, final int max,
			final Label dflt, final Label[] labels) {
		AttributesImpl attrs = new AttributesImpl();
		attrs.addAttribute("", "min", "min", "", Integer.toString(min));
		attrs.addAttribute("", "max", "max", "", Integer.toString(max));
		attrs.addAttribute("", "dflt", "dflt", "", getLabel(dflt));
		String o = AbstractVisitor.OPCODES[Opcodes.TABLESWITCH];
		addStart(o, attrs);
		for (int i = 0; i < labels.length; i++) {
			AttributesImpl att2 = new AttributesImpl();
			att2.addAttribute("", "name", "name", "", getLabel(labels[i]));
			addElement("label", att2);
		}
		addEnd(o);
	}