Searched refs:widthOrder (Results 1 – 2 of 2) sorted by relevance
372 String[] widthOrder = new String[] { "abbreviated", "narrow", "wide" }; in writeMetaData() local374 + String.join(" ", widths) + "\"]", String.join(" ", widthOrder)); in writeMetaData()
1242 static MapComparator<String> widthOrder = new MapComparator<String>().add( field in DtdData1404 comp = widthOrder; in getAttributeValueComparator()