Files
KDDockWidgets/tests/fuzzer/testcases/14.json
2020-01-21 22:05:03 +00:00

600 lines
17 KiB
JSON

{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 732,
"width": 504
},
"x": 386,
"y": 208
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 539,
"width": 267
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 986,
"width": 633
},
"x": 334,
"y": 215
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 414,
"width": 352
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 447,
"width": 474
},
"x": 387,
"y": 414
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 182,
"width": 394
},
"name": "DockWidget-3"
},
{
"geometry": {
"size": {
"height": 403,
"width": 579
},
"x": 468,
"y": 374
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 165,
"width": 168
},
"name": "DockWidget-4"
},
{
"geometry": {
"size": {
"height": 689,
"width": 784
},
"x": 252,
"y": 482
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 178,
"width": 500
},
"name": "DockWidget-5"
},
{
"geometry": {
"size": {
"height": 724,
"width": 701
},
"x": 368,
"y": 225
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 155,
"width": 276
},
"name": "DockWidget-6"
},
{
"geometry": {
"size": {
"height": 410,
"width": 627
},
"x": 223,
"y": 121
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 335,
"width": 524
},
"name": "DockWidget-7"
},
{
"geometry": {
"size": {
"height": 734,
"width": 984
},
"x": 17,
"y": 390
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 196,
"width": 480
},
"name": "DockWidget-8"
},
{
"geometry": {
"size": {
"height": 455,
"width": 589
},
"x": 47,
"y": 134
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 225,
"width": 290
},
"name": "DockWidget-9"
},
{
"geometry": {
"size": {
"height": 847,
"width": 739
},
"x": 155,
"y": 331
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 504,
"width": 184
},
"name": "DockWidget-10"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1350,
"width": 288
},
"x": 336,
"y": 411
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "Closing DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-6-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-6",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Hidding DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-8",
"params": {
"dockWidgetName": "DockWidget-8",
"dockWidgetToAddName": "DockWidget-3"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-8-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-8",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-5-[hidden] to top, relative to DockWidget-6",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 2,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-6"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-2 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Hidding DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 2
},
{
"comment": "Closing DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10",
"dockWidgetToAddName": "DockWidget-1"
},
"type": 5
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-9-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-7-[hidden] to left, relative to DockWidget-8",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-7",
"location": 1,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-8"
},
"type": 4
},
{
"comment": "Closing DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9"
},
"type": 1
},
{
"comment": "Hidding DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 2
},
{
"comment": "Closing DockWidget-6",
"params": {
"dockWidgetName": "DockWidget-6"
},
"type": 1
},
{
"comment": "Hidding DockWidget-8",
"params": {
"dockWidgetName": "DockWidget-8"
},
"type": 2
},
{
"comment": "Showing DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 3
},
{
"comment": "Hidding DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-5 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-1",
"dockWidgetToAddName": "DockWidget-5"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1",
"dockWidgetToAddName": "DockWidget-7"
},
"type": 5
},
{
"comment": "Showing DockWidget-3-[hidden]",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-2-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-2",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4",
"location": 3,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-2"
},
"type": 4
},
{
"comment": "Showing DockWidget-6-[hidden]",
"params": {
"dockWidgetName": "DockWidget-6"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7",
"dockWidgetToAddName": "DockWidget-3"
},
"type": 5
},
{
"comment": "Closing DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-8-[hidden] to top, relative to DockWidget-2",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-8",
"location": 2,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-2"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-8",
"params": {
"dockWidgetName": "DockWidget-8",
"dockWidgetToAddName": "DockWidget-7"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-9-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-9",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2",
"dockWidgetToAddName": "DockWidget-3"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-6 to left, relative to DockWidget-8-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-6",
"location": 1,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-8"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-8-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-8",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5",
"dockWidgetToAddName": "DockWidget-8"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-2-[hidden]",
"params": {
"dockWidgetName": "DockWidget-2",
"dockWidgetToAddName": "DockWidget-8"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-9",
"params": {
"dockWidgetName": "DockWidget-9",
"dockWidgetToAddName": "DockWidget-5"
},
"type": 5
},
{
"comment": "Closing DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 1
},
{
"comment": "Hidding DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4",
"dockWidgetToAddName": "DockWidget-1"
},
"type": 5
},
{
"comment": "Showing DockWidget-3-[hidden]",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 3
},
{
"comment": "Closing DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 1
},
{
"comment": "AddDockWidgetAsTab DockWidget-10-[hidden] onto DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5",
"dockWidgetToAddName": "DockWidget-10"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-5-[hidden] to right, relative to DockWidget-9-[hidden]",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 3,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-9"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-5 to right, relative to DockWidget-6",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 3,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-6"
},
"type": 4
},
{
"comment": "Closing DockWidget-10",
"params": {
"dockWidgetName": "DockWidget-10"
},
"type": 1
},
{
"comment": "Showing DockWidget-2-[hidden]",
"params": {
"dockWidgetName": "DockWidget-2"
},
"type": 3
},
{
"comment": "Hidding DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2"
},
"type": 2
},
{
"comment": "Showing DockWidget-7-[hidden]",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 3
}
]
}