1 /*
2  * Copyright (c) 2002, 2013, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.  Oracle designates this
8  * particular file as subject to the "Classpath" exception as provided
9  * by Oracle in the LICENSE file that accompanied this code.
10  *
11  * This code is distributed in the hope that it will be useful, but WITHOUT
12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14  * version 2 for more details (a copy is included in the LICENSE file that
15  * accompanied this code).
16  *
17  * You should have received a copy of the GNU General Public License version
18  * 2 along with this work; if not, write to the Free Software Foundation,
19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20  *
21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22  * or visit www.oracle.com if you need additional information or have any
23  * questions.
24  */
25 
26 package build.tools.generatenimbus;
27 
28 import javax.xml.stream.XMLStreamReader;
29 
30 class Border {
31     enum BorderType {
32         EMPTY,
33         PAINTER
34     }
35 
36     private BorderType type;
37 
38     private String painter;
39 
40     private int top;
41 
42     private int left;
43 
44     private int bottom;
45 
46     private int right;
47 
Border(XMLStreamReader reader)48     Border(XMLStreamReader reader) {
49         switch (reader.getAttributeValue(null, "type")) {
50             case "empty":
51                 type = BorderType.EMPTY;
52                 break;
53             case "painter":
54                 type =BorderType.PAINTER;
55                 break;
56         }
57         painter = reader.getAttributeValue(null, "painter");
58         top = Integer.parseInt(reader.getAttributeValue(null, "top"));
59         left = Integer.parseInt(reader.getAttributeValue(null, "left"));
60         bottom = Integer.parseInt(reader.getAttributeValue(null, "bottom"));
61         right = Integer.parseInt(reader.getAttributeValue(null, "right"));
62     }
63 
write()64     public String write() {
65         switch (type) {
66             case PAINTER:
67                 return String.format("new PainterBorder(\"%s\", new Insets(%d, %d, %d, %d))",
68                                      painter, top, left, bottom, right);
69             case EMPTY:
70                 return String.format("BorderFactory.createEmptyBorder(%d, %d, %d, %d)",
71                                      top, left, bottom, right);
72             default:
73                 return "### Look, here's an unknown border! $$$";
74         }
75     }
76 }
77