Files
KDDockWidgets/tests/fuzzer/testcases/failing/1.json
2020-01-24 20:02:26 +00:00

1038 lines
30 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 496,
"width": 260
},
"x": 213,
"y": 149
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 324,
"width": 183
},
"name": "DockWidget-207"
},
{
"geometry": {
"size": {
"height": 784,
"width": 342
},
"x": 42,
"y": 428
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 247,
"width": 247
},
"name": "DockWidget-208"
},
{
"geometry": {
"size": {
"height": 789,
"width": 566
},
"x": 294,
"y": 396
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 502,
"width": 345
},
"name": "DockWidget-209"
},
{
"geometry": {
"size": {
"height": 948,
"width": 440
},
"x": 461,
"y": 56
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 568,
"width": 246
},
"name": "DockWidget-210"
},
{
"geometry": {
"size": {
"height": 642,
"width": 529
},
"x": 172,
"y": 192
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 213,
"width": 268
},
"name": "DockWidget-211"
},
{
"geometry": {
"size": {
"height": 1089,
"width": 305
},
"x": 212,
"y": 8
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 567,
"width": 165
},
"name": "DockWidget-212"
},
{
"geometry": {
"size": {
"height": 632,
"width": 892
},
"x": 477,
"y": 51
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 329,
"width": 407
},
"name": "DockWidget-213"
},
{
"geometry": {
"size": {
"height": 653,
"width": 665
},
"x": 228,
"y": 458
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 440,
"width": 371
},
"name": "DockWidget-214"
},
{
"geometry": {
"size": {
"height": 612,
"width": 560
},
"x": 371,
"y": 63
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 534,
"width": 300
},
"name": "DockWidget-215"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1199,
"width": 305
},
"x": 180,
"y": 209
},
"mainWindowOption": 0,
"name": "MainWindow-40"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-211-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-211",
"location": 2,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Showing DockWidget-213-[hidden]",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-210 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-210",
"location": 3,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Closing DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-211 onto DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214",
"dockWidgetToAddName": "DockWidget-211"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-212 to top, relative to DockWidget-210",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 2,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-210"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-210 to left, relative to DockWidget-212",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-210",
"location": 1,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "Showing DockWidget-213-[hidden]",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 3
},
{
"comment": "Hidding DockWidget-211",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-207-[hidden] onto DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213",
"dockWidgetToAddName": "DockWidget-207"
},
"type": 5
},
{
"comment": "Hidding DockWidget-210",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-208-[hidden] to left, relative to DockWidget-212",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-208",
"location": 1,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "Closing DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212"
},
"type": 1
},
{
"comment": "Closing DockWidget-208",
"params": {
"dockWidgetName": "DockWidget-208"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-214 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-214",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Showing DockWidget-210-[hidden]",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-213-[hidden] to right, relative to DockWidget-210",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-213",
"location": 3,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-210"
},
"type": 4
},
{
"comment": "Closing DockWidget-207",
"params": {
"dockWidgetName": "DockWidget-207"
},
"type": 1
},
{
"comment": "Showing DockWidget-208-[hidden]",
"params": {
"dockWidgetName": "DockWidget-208"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-211-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-211",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 3,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-208 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-208",
"location": 2,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Hidding DockWidget-211",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 2
},
{
"comment": "Hidding DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 2
},
{
"comment": "Closing DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 1
},
{
"comment": "Closing DockWidget-210",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-213-[hidden] onto DockWidget-208",
"params": {
"dockWidgetName": "DockWidget-208",
"dockWidgetToAddName": "DockWidget-213"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-209-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Closing DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209"
},
"type": 1
},
{
"comment": "Showing DockWidget-210-[hidden]",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-215-[hidden] to left, relative to DockWidget-212",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 1,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "Hidding DockWidget-215",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-211-[hidden] onto DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212",
"dockWidgetToAddName": "DockWidget-211"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-211 to right, relative to DockWidget-212-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-211",
"location": 3,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "Showing DockWidget-207-[hidden]",
"params": {
"dockWidgetName": "DockWidget-207"
},
"type": 3
},
{
"comment": "Showing DockWidget-208-[hidden]",
"params": {
"dockWidgetName": "DockWidget-208"
},
"type": 3
},
{
"comment": "Closing DockWidget-210",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 1
},
{
"comment": "Showing DockWidget-215-[hidden]",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-210-[hidden] to right, relative to DockWidget-208",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-210",
"location": 3,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-208"
},
"type": 4
},
{
"comment": "Showing DockWidget-209-[hidden]",
"params": {
"dockWidgetName": "DockWidget-209"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-207 onto DockWidget-211",
"params": {
"dockWidgetName": "DockWidget-211",
"dockWidgetToAddName": "DockWidget-207"
},
"type": 5
},
{
"comment": "Showing DockWidget-211-[hidden]",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 3
},
{
"comment": "Hidding DockWidget-208",
"params": {
"dockWidgetName": "DockWidget-208"
},
"type": 2
},
{
"comment": "Hidding DockWidget-211",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 2
},
{
"comment": "Hidding DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-215 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212 to top, relative to DockWidget-210",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 2,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-210"
},
"type": 4
},
{
"comment": "Closing DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-209-[hidden] to left, relative to DockWidget-212",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 1,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "Showing DockWidget-211-[hidden]",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-208-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-208",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-213-[hidden] onto DockWidget-208",
"params": {
"dockWidgetName": "DockWidget-208",
"dockWidgetToAddName": "DockWidget-213"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-214-[hidden] onto DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209",
"dockWidgetToAddName": "DockWidget-214"
},
"type": 5
},
{
"comment": "Hidding DockWidget-215",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 2
},
{
"comment": "Closing DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 1
},
{
"comment": "Closing DockWidget-210",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-207-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-207",
"location": 2,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Hidding DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-212-[hidden] onto DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214",
"dockWidgetToAddName": "DockWidget-212"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-208 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-208",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-211 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-211",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-209-[hidden] to bottom, relative to DockWidget-212",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 4,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-212"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-209 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 3,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Showing DockWidget-213-[hidden]",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 3
},
{
"comment": "Closing DockWidget-207",
"params": {
"dockWidgetName": "DockWidget-207"
},
"type": 1
},
{
"comment": "Hidding DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-213 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-213",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Hidding DockWidget-208",
"params": {
"dockWidgetName": "DockWidget-208"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-215-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212 to right, relative to DockWidget-211",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 3,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-211"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-207-[hidden] onto DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209",
"dockWidgetToAddName": "DockWidget-207"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-215 to left, relative to DockWidget-209-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 1,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-209"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-213 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-213",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Closing DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-215 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 2,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-207 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-207",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-212-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-212",
"location": 3,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Hidding DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212"
},
"type": 2
},
{
"comment": "Closing DockWidget-211",
"params": {
"dockWidgetName": "DockWidget-211"
},
"type": 1
},
{
"comment": "Showing DockWidget-214-[hidden]",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 3
},
{
"comment": "Closing DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209"
},
"type": 1
},
{
"comment": "Hidding DockWidget-207",
"params": {
"dockWidgetName": "DockWidget-207"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-214 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-214",
"location": 4,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Closing DockWidget-215",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 1
},
{
"comment": "Hidding DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-214-[hidden] to top, relative to DockWidget-213",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-214",
"location": 2,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-213"
},
"type": 4
},
{
"comment": "Showing DockWidget-212-[hidden]",
"params": {
"dockWidgetName": "DockWidget-212"
},
"type": 3
},
{
"comment": "Closing DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 1
},
{
"comment": "Hidding DockWidget-213",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 2
},
{
"comment": "Showing DockWidget-215-[hidden]",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-215 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-215",
"location": 2,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-214-[hidden] onto DockWidget-212",
"params": {
"dockWidgetName": "DockWidget-212",
"dockWidgetToAddName": "DockWidget-214"
},
"type": 5
},
{
"comment": "Hidding DockWidget-214",
"params": {
"dockWidgetName": "DockWidget-214"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-209-[hidden] to right, relative to DockWidget-215",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 3,
"mainWindowName": "MainWindow-40",
"relativeToName": "DockWidget-215"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-209 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Hidding DockWidget-215",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 2
},
{
"comment": "Hidding DockWidget-209",
"params": {
"dockWidgetName": "DockWidget-209"
},
"type": 2
},
{
"comment": "Showing DockWidget-213-[hidden]",
"params": {
"dockWidgetName": "DockWidget-213"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-209-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-209",
"location": 1,
"mainWindowName": "MainWindow-40"
},
"type": 4
},
{
"comment": "Showing DockWidget-210-[hidden]",
"params": {
"dockWidgetName": "DockWidget-210"
},
"type": 3
},
{
"comment": "Showing DockWidget-215-[hidden]",
"params": {
"dockWidgetName": "DockWidget-215"
},
"type": 3
}
]
}