1 | <?xml version="1.0" encoding="UTF-8" ?> |
---|
2 | <sessions> |
---|
3 | |
---|
4 | <!-- assert that this component hierarchy is reused for the next event --> |
---|
5 | <event id="1004"> |
---|
6 | <source> |
---|
7 | <param name="toString" value="org.tigris.toolbar.toolbutton.ModalButton[,16,1,28x28,alignmentX=0.0,alignmentY=0.5,border=javax.swing.border.CompoundBorder@db5b3f,flags=296,maximumSize=,minimumSize=,preferredSize=,defaultIcon=New,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=14,bottom=2,right=14],paintBorder=true,paintFocus=true,pressedIcon=,rolloverEnabled=true,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=null,defaultCapable=false]" /> |
---|
8 | <component> |
---|
9 | <param name="title" value="null.layeredPane" /> |
---|
10 | <param name="class" value="javax.swing.JLayeredPane" /> |
---|
11 | <param name="icon" value="null" /> |
---|
12 | <param name="index" value="1" /> |
---|
13 | <param name="hash" value="7a4076" /> |
---|
14 | </component> |
---|
15 | <component> |
---|
16 | <param name="title" value="null.contentPane" /> |
---|
17 | <param name="class" value="javax.swing.JPanel" /> |
---|
18 | <param name="icon" value="null" /> |
---|
19 | <param name="index" value="0" /> |
---|
20 | <param name="hash" value="1cfa965" /> |
---|
21 | </component> |
---|
22 | <component> |
---|
23 | <param name="title" value="Pos(0,0)" /> |
---|
24 | <param name="class" value="javax.swing.JPanel" /> |
---|
25 | <param name="icon" value="null" /> |
---|
26 | <param name="index" value="0" /> |
---|
27 | <param name="hash" value="eff545" /> |
---|
28 | </component> |
---|
29 | <component> |
---|
30 | <param name="title" value="File Toolbar" /> |
---|
31 | <param name="class" value="org.tigris.toolbar.ToolBar" /> |
---|
32 | <param name="icon" value="null" /> |
---|
33 | <param name="index" value="0" /> |
---|
34 | <param name="hash" value="1ce9085" /> |
---|
35 | </component> |
---|
36 | </source> |
---|
37 | </event> |
---|
38 | <event id="501"> |
---|
39 | <param name="X" value="8" /> |
---|
40 | <param name="Y" value="12" /> |
---|
41 | <param name="Button" value="1" /> |
---|
42 | <param name="Modifiers" value="16" /> |
---|
43 | <source> |
---|
44 | <param name="toString" value="org.tigris.toolbar.toolbutton.ModalButton[,96,1,28x28,alignmentX=0.0,alignmentY=0.5,border=javax.swing.border.CompoundBorder@db5b3f,flags=424,maximumSize=,minimumSize=,preferredSize=,defaultIcon=Class,disabledIcon=,disabledSelectedIcon=,margin=javax.swing.plaf.InsetsUIResource[top=2,left=14,bottom=2,right=14],paintBorder=true,paintFocus=true,pressedIcon=,rolloverEnabled=true,rolloverIcon=,rolloverSelectedIcon=,selectedIcon=,text=null,defaultCapable=false]" /> |
---|
45 | </source> |
---|
46 | </event> |
---|
47 | |
---|
48 | |
---|
49 | <!-- assert that this event gets the same component hierarchy as the next event, as it has the same |
---|
50 | to string value --> |
---|
51 | <event id="501"> |
---|
52 | <param name="X" value="87" /> |
---|
53 | <param name="Y" value="63" /> |
---|
54 | <param name="Button" value="1" /> |
---|
55 | <param name="Modifiers" value="16" /> |
---|
56 | <source> |
---|
57 | <param name="toString" value="org.tigris.gef.graph.presentation.JGraphInternalPane[,0,0,6000x6000,alignmentX=0.0,alignmentY=0.0,border=,flags=296,maximumSize=,minimumSize=,preferredSize=java.awt.Dimension[width=6000,height=6000]]" /> |
---|
58 | </source> |
---|
59 | </event> |
---|
60 | <event id="502"> |
---|
61 | <param name="X" value="87" /> |
---|
62 | <param name="Y" value="63" /> |
---|
63 | <param name="Button" value="1" /> |
---|
64 | <param name="Modifiers" value="16" /> |
---|
65 | <source> |
---|
66 | <param name="toString" value="org.tigris.gef.graph.presentation.JGraphInternalPane[,0,0,6000x6000,alignmentX=0.0,alignmentY=0.0,border=,flags=296,maximumSize=,minimumSize=,preferredSize=java.awt.Dimension[width=6000,height=6000]]" /> |
---|
67 | <component> |
---|
68 | <param name="title" value="Pos(2,2)" /> |
---|
69 | <param name="class" value="org.argouml.uml.diagram.ui.DnDJGraph" /> |
---|
70 | <param name="icon" value="null" /> |
---|
71 | <param name="index" value="0" /> |
---|
72 | <param name="hash" value="2a51e960" /> |
---|
73 | </component> |
---|
74 | <component> |
---|
75 | <param name="title" value="Pos(0,0)" /> |
---|
76 | <param name="class" value="javax.swing.JScrollPane" /> |
---|
77 | <param name="icon" value="null" /> |
---|
78 | <param name="index" value="0" /> |
---|
79 | <param name="hash" value="4391f0" /> |
---|
80 | </component> |
---|
81 | <component> |
---|
82 | <param name="title" value="Pos(0,0)" /> |
---|
83 | <param name="class" value="javax.swing.JViewport" /> |
---|
84 | <param name="icon" value="null" /> |
---|
85 | <param name="index" value="0" /> |
---|
86 | <param name="hash" value="12f8a84" /> |
---|
87 | </component> |
---|
88 | <component> |
---|
89 | <param name="title" value="Pos(0,0)" /> |
---|
90 | <param name="class" value="org.tigris.gef.graph.presentation.JGraphInternalPane" /> |
---|
91 | <param name="icon" value="null" /> |
---|
92 | <param name="index" value="0" /> |
---|
93 | <param name="hash" value="2250d5" /> |
---|
94 | </component> |
---|
95 | </source> |
---|
96 | </event> |
---|
97 | |
---|
98 | <!-- the following events shall get the same component hierarchy as the previous event plus a |
---|
99 | generated terminal node for the toString parameter specification --> |
---|
100 | <event id="1004"> |
---|
101 | <source> |
---|
102 | <param name="toString" value="org.tigris.gef.presentation.FigTextEditor[,499,156,68x27,invalid,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=0.0,alignmentY=0.0,border=javax.swing.border.LineBorder@6a60d5,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],disabledTextColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=3,left=3,bottom=3,right=3],selectedTextColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],selectionColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],kit=javax.swing.text.StyledEditorKit@11aa58b,typeHandlers={text/plain=javax.swing.text.StyledEditorKit@11aa58b}]" /> |
---|
103 | </source> |
---|
104 | </event> |
---|
105 | <event id="402"> |
---|
106 | <param name="KeyCode" value="16" /> |
---|
107 | <param name="Modifiers" value="0" /> |
---|
108 | <source> |
---|
109 | <param name="toString" value="org.tigris.gef.presentation.FigTextEditor[,499,156,68x27,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=0.0,alignmentY=0.0,border=javax.swing.border.LineBorder@6a60d5,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],disabledTextColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=3,left=3,bottom=3,right=3],selectedTextColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],selectionColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],kit=javax.swing.text.StyledEditorKit@11aa58b,typeHandlers={text/plain=javax.swing.text.StyledEditorKit@11aa58b}]" /> |
---|
110 | </source> |
---|
111 | </event> |
---|
112 | <event id="402"> |
---|
113 | <param name="KeyCode" value="65" /> |
---|
114 | <param name="Modifiers" value="0" /> |
---|
115 | <source> |
---|
116 | <param name="toString" value="org.tigris.gef.presentation.FigTextEditor[,499,156,68x27,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=0.0,alignmentY=0.0,border=javax.swing.border.LineBorder@6a60d5,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],disabledTextColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=3,left=3,bottom=3,right=3],selectedTextColor=sun.swing.PrintColorUIResource[r=51,g=51,b=51],selectionColor=javax.swing.plaf.ColorUIResource[r=184,g=207,b=229],kit=javax.swing.text.StyledEditorKit@11aa58b,typeHandlers={text/plain=javax.swing.text.StyledEditorKit@11aa58b}]" /> |
---|
117 | </source> |
---|
118 | </event> |
---|
119 | |
---|
120 | <!-- the following events shall not get the same components because the components are different |
---|
121 | (see hierarchy) but their toString parameter is the same --> |
---|
122 | <event id="1004"> |
---|
123 | <source> |
---|
124 | <param name="toString" value="org.tigris.gef.graph.presentation.JGraphInternalPane[,0,0,6000x6000,invalid,alignmentX=0.0,alignmentY=0.0,border=,flags=296,maximumSize=,minimumSize=,preferredSize=java.awt.Dimension[width=6000,height=6000]]" /> |
---|
125 | <component> |
---|
126 | <param name="title" value="Pos(2,2)" /> |
---|
127 | <param name="class" value="org.argouml.uml.diagram.ui.DnDJGraph" /> |
---|
128 | <param name="icon" value="null" /> |
---|
129 | <param name="index" value="0" /> |
---|
130 | <param name="hash" value="2a51e960" /> |
---|
131 | </component> |
---|
132 | <component> |
---|
133 | <param name="title" value="Pos(0,0)" /> |
---|
134 | <param name="class" value="javax.swing.JScrollPane" /> |
---|
135 | <param name="icon" value="null" /> |
---|
136 | <param name="index" value="0" /> |
---|
137 | <param name="hash" value="4391f0" /> |
---|
138 | </component> |
---|
139 | <component> |
---|
140 | <param name="title" value="Pos(0,0)" /> |
---|
141 | <param name="class" value="org.tigris.gef.graph.presentation.JGraphInternalPane" /> |
---|
142 | <param name="icon" value="null" /> |
---|
143 | <param name="index" value="0" /> |
---|
144 | <param name="hash" value="2250d5" /> |
---|
145 | </component> |
---|
146 | </source> |
---|
147 | </event> |
---|
148 | <event id="402"> |
---|
149 | <param name="KeyCode" value="10" /> |
---|
150 | <param name="Modifiers" value="0" /> |
---|
151 | <source> |
---|
152 | <param name="toString" value="org.tigris.gef.graph.presentation.JGraphInternalPane[,0,0,6000x6000,invalid,alignmentX=0.0,alignmentY=0.0,border=,flags=296,maximumSize=,minimumSize=,preferredSize=java.awt.Dimension[width=6000,height=6000]]" /> |
---|
153 | <component> |
---|
154 | <param name="title" value="Pos(0,0)" /> |
---|
155 | <param name="class" value="javax.swing.JScrollPane" /> |
---|
156 | <param name="icon" value="null" /> |
---|
157 | <param name="index" value="0" /> |
---|
158 | <param name="hash" value="4391f0" /> |
---|
159 | </component> |
---|
160 | <component> |
---|
161 | <param name="title" value="Pos(0,0)" /> |
---|
162 | <param name="class" value="javax.swing.JViewport" /> |
---|
163 | <param name="icon" value="null" /> |
---|
164 | <param name="index" value="0" /> |
---|
165 | <param name="hash" value="12f8a84" /> |
---|
166 | </component> |
---|
167 | <component> |
---|
168 | <param name="title" value="Pos(0,0)" /> |
---|
169 | <param name="class" value="org.tigris.gef.graph.presentation.JGraphInternalPane" /> |
---|
170 | <param name="icon" value="null" /> |
---|
171 | <param name="index" value="0" /> |
---|
172 | <param name="hash" value="2250d5" /> |
---|
173 | </component> |
---|
174 | </source> |
---|
175 | </event> |
---|
176 | |
---|
177 | </sessions> |
---|