Esempio n. 1
0
        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());
        }
Esempio n. 2
0
 /// <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);
 }
Esempio n. 3
0
 /// <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);
 }