private void dumpCondition(Object conditionData, String coverage) { increaseIndentation(); StringBuffer buffer = new StringBuffer("<condition"); if (conditionData instanceof JumpData) { JumpData jumpData = (JumpData) conditionData; buffer.append(" number=\"").append(jumpData.getConditionNumber()) .append("\""); buffer.append(" type=\"").append("jump").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } else { SwitchData switchData = (SwitchData) conditionData; buffer.append(" number=\"").append(switchData.getSwitchNumber()) .append("\""); buffer.append(" type=\"").append("switch").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } buffer.append("/>"); println(buffer.toString()); decreaseIndentation(); }
private void dumpCondition(Object conditionData, String coverage) { increaseIndentation(); StringBuffer buffer = new StringBuffer("<condition"); if (conditionData instanceof JumpData) { JumpData jumpData = (JumpData) conditionData; buffer.append(" number=\"").append(jumpData.getConditionNumber()) .append("\""); buffer.append(" type=\"").append("jump").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } else { SwitchData switchData = (SwitchData) conditionData; buffer.append(" number=\"").append(switchData.getSwitchNumber()) .append("\""); buffer.append(" type=\"").append("switch").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } buffer.append("/>"); println(buffer.toString()); decreaseIndentation(); }
private void dumpCondition(Object conditionData, String coverage) { increaseIndentation(); StringBuffer buffer = new StringBuffer("<condition"); if (conditionData instanceof JumpData) { JumpData jumpData = (JumpData) conditionData; buffer.append(" number=\"").append(jumpData.getConditionNumber()).append("\""); buffer.append(" type=\"").append("jump").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } else { SwitchData switchData = (SwitchData) conditionData; buffer.append(" number=\"").append(switchData.getSwitchNumber()).append("\""); buffer.append(" type=\"").append("switch").append("\""); buffer.append(" coverage=\"").append(coverage).append("\""); } buffer.append("/>"); println(buffer.toString()); decreaseIndentation(); }