| 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> |
|---|