public override String toPPString() { StringBuilder buf = new StringBuilder(); buf.Append("?" + varName + " (" + leftrow + ")("); buf.Append(leftIndex); if (function != null) { buf.Append(") " + function.Name + " (0)("); } else { buf.Append(") " + ConversionUtils.getPPOperator(operator_Renamed) + " (0)("); } buf.Append(rightIndex); buf.Append(") ?" + rightVariable); return(buf.ToString()); }
/// <summary> Method returns the pretty printer formatted string of the node's /// condition. For now, the method just replaces the operator. It might /// be nice to replace the slot id with the slot name. /// </summary> /// <returns> /// /// </returns> public override String toPPString() { return("node-" + nodeID + "> slot(" + slot.Name + ") " + ConversionUtils.getPPOperator(operator_Renamed) + " " + ConversionUtils.formatSlot(slot.Value) + " - useCount=" + useCount); }
/// <summary> Method returns the string format of the node's condition. later on /// this should be cleaned up. /// </summary> public override String ToString() { return("slot(" + slot.Id + ") " + ConversionUtils.getPPOperator(operator_Renamed) + " " + slot.Value.ToString() + " - useCount=" + useCount); }