public void dumpSource(TabbedPrintWriter writer) throws java.io.IOException {
		if (predecessors.size() != 0) {
			writer.untab();
			writer.println(getLabel() + ":");
			writer.tab();
		}

		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_INOUT) != 0) {
			writer.println("in: " + in);
		}

		block.dumpSource(writer);

		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_INOUT) != 0) {

			Iterator iter = successors.entrySet().iterator();
			while (iter.hasNext()) {
				Map.Entry entry = (Map.Entry) iter.next();
				FlowBlock dest = (FlowBlock) entry.getKey();
				SuccessorInfo info = (SuccessorInfo) entry.getValue();
				writer.println("successor: " + dest.getLabel() + "  gen : "
						+ info.gen + "  kill: " + info.kill);
			}
		}

		if (nextByAddr != null)
			nextByAddr.dumpSource(writer);
	}