Method padPr

src/main/java/gate/util/Out.java:269–274

Print padding followed by String s.

(String s, int padding)

  /** Print padding followed by String s. */
  public static void padPr(String s, int padding) {
      for(int i=0; i<padding; i++)
                       out.print(padChar);
      out.print(s);
      out.flush();
  } // padPr(String,int)

} // Out