Ejemplo n.º 1
0
 /**
  * ** Encodes the specified DBRecordKyes into XML and writes it to ** a specified PrintStream
  * ** @param out The PrintStream ** @param dbrk The list of DBRecordKeys
  */
 public static void printXML(PrintStream out, DBRecordKey... dbrk) {
   if (out != null) {
     DBRecordKey.printXML(new PrintWriter(out), dbrk);
     out.flush();
   }
 }