Searched refs:toCSV (Results 1 – 2 of 2) sorted by relevance
453 private static String toCSV(String value) { in toCSV() method in TextStyle482 System.out.println(toCSV("Name") + toCSV("Family") + toCSV("parent") in dumpHdr()483 + toCSV("Font") + toCSV("Size") in dumpHdr()484 + toCSV("Bold") + toCSV("Italic") + toCSV("Underline") in dumpHdr()485 + toCSV("Strikethru") + toCSV("Superscript") + toLastCSV("Subscript")); in dumpHdr()496 attributes += toCSV(((bitVal & values) != 0) ? "yes" : "no"); in dumpCSV()497 } else attributes += toCSV(null); // unspecified in dumpCSV()499 System.out.println(toCSV(name) + toCSV(family) + toCSV(parent) in dumpCSV()500 + toCSV(fontName) + toCSV("" + sizeInPoints) + attributes + toLastCSV(null)); in dumpCSV()
437 private static String toCSV(String value) { in toCSV() method in ParaStyle466 System.out.println(toCSV("Name") + toCSV("Family") + toCSV("parent") in dumpHdr()467 + toCSV("left mgn") + toCSV("right mgn") in dumpHdr()468 + toCSV("top mgn") + toCSV("bottom mgn") + toCSV("txt indent") in dumpHdr()469 + toCSV("line height") + toLastCSV("txt align")); in dumpHdr()481 attributes += toCSV("" + value[index]); in dumpCSV()484 attributes += toCSV(null); // unspecified in dumpCSV()486 System.out.println(toCSV(name) + toCSV(family) + toCSV(parent) in dumpCSV()
Completed in 23 milliseconds