Lines Matching refs:Destination
525 } else if (category == Destination.class) {
530 return new Destination((new File("out.ps")).toURI());
533 return new Destination(new URI("file:out.ps"));
1025 catList.add(Destination.class);
1231 * Destination is part of attributes.
1237 (attributes.get(Destination.class) != null) &&
1288 } else if (attr.getCategory() == Destination.class) {
1292 URI uri = ((Destination)attr).getURI();
1389 } else if (category == Destination.class) {
1391 return new Destination((new File("out.ps")).toURI());
1394 return new Destination(new URI("file:out.ps"));