1751 lines
36 KiB
JSON
Generated
1751 lines
36 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"shapes": [
|
|
{
|
|
"id": "finally",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 213,
|
|
"y": 0
|
|
},
|
|
"width": 465,
|
|
"height": 904,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#E3E9FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "finally",
|
|
"fontSize": 28,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 77,
|
|
"labelHeight": 41,
|
|
"labelPosition": "INSIDE_TOP_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "a",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1076,
|
|
"y": 50
|
|
},
|
|
"width": 113,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "a",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 13,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "tree",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 862,
|
|
"y": 276
|
|
},
|
|
"width": 134,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "tree",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 34,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "and",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1152,
|
|
"y": 276
|
|
},
|
|
"width": 132,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "and",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 32,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "nodes",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1344,
|
|
"y": 276
|
|
},
|
|
"width": 147,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "nodes",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 47,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "some",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1547,
|
|
"y": 502
|
|
},
|
|
"width": 143,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "some",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 43,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "more",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1141,
|
|
"y": 502
|
|
},
|
|
"width": 141,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "more",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 41,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "many",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1342,
|
|
"y": 502
|
|
},
|
|
"width": 145,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "many",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 45,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "then",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1988,
|
|
"y": 50
|
|
},
|
|
"width": 138,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "then",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 38,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "here",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1959,
|
|
"y": 276
|
|
},
|
|
"width": 136,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "here",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 36,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "you",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1961,
|
|
"y": 502
|
|
},
|
|
"width": 132,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "you",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 32,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "have",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 2204,
|
|
"y": 50
|
|
},
|
|
"width": 138,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "have",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 38,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "hierarchy",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 2168,
|
|
"y": 276
|
|
},
|
|
"width": 173,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "hierarchy",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 73,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "another",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 0,
|
|
"y": 502
|
|
},
|
|
"width": 163,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "another",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 63,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "of",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 22,
|
|
"y": 728
|
|
},
|
|
"width": 120,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "of",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 20,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "nesting",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 1551,
|
|
"y": 276
|
|
},
|
|
"width": 158,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "nesting",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 58,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "trees",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 939,
|
|
"y": 502
|
|
},
|
|
"width": 142,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "trees",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 42,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "finally.a",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 281,
|
|
"y": 276
|
|
},
|
|
"width": 113,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "a",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 13,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "finally.tree",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 296,
|
|
"y": 502
|
|
},
|
|
"width": 134,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "tree",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 34,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "finally.inside",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 263,
|
|
"y": 50
|
|
},
|
|
"width": 148,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "inside",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 48,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "finally.hierarchy",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 277,
|
|
"y": 728
|
|
},
|
|
"width": 173,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "hierarchy",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 73,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
},
|
|
{
|
|
"id": "finally.root",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 490,
|
|
"y": 502
|
|
},
|
|
"width": 135,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "root",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 35,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 2
|
|
}
|
|
],
|
|
"connections": [
|
|
{
|
|
"id": "(a -> tree)[0]",
|
|
"src": "a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "tree",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 1075.75,
|
|
"y": 144.37346437346437
|
|
},
|
|
{
|
|
"x": 958.15,
|
|
"y": 209.67469287469288
|
|
},
|
|
{
|
|
"x": 928.75,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 928.75,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(a -> and)[0]",
|
|
"src": "a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "and",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 1180.1969026548672,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 1210.6393805309735,
|
|
"y": 216
|
|
},
|
|
{
|
|
"x": 1218.25,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 1218.25,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(a -> nodes)[0]",
|
|
"src": "a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "nodes",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 1188.75,
|
|
"y": 135.36252189141857
|
|
},
|
|
{
|
|
"x": 1371.95,
|
|
"y": 207.87250437828374
|
|
},
|
|
{
|
|
"x": 1417.75,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 1417.75,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(and -> some)[0]",
|
|
"src": "and",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "some",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 1218.25,
|
|
"y": 402
|
|
},
|
|
{
|
|
"x": 1218.25,
|
|
"y": 442
|
|
},
|
|
{
|
|
"x": 1284.05,
|
|
"y": 470.6
|
|
},
|
|
{
|
|
"x": 1547.25,
|
|
"y": 545
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(tree -> more)[0]",
|
|
"src": "tree",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "more",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 922.8960176991151,
|
|
"y": 402
|
|
},
|
|
{
|
|
"x": 919.179203539823,
|
|
"y": 442
|
|
},
|
|
{
|
|
"x": 962.85,
|
|
"y": 469.2
|
|
},
|
|
{
|
|
"x": 1141.25,
|
|
"y": 538
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(tree -> many)[0]",
|
|
"src": "tree",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "many",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 995.75,
|
|
"y": 384.2
|
|
},
|
|
{
|
|
"x": 1076.15,
|
|
"y": 438.44
|
|
},
|
|
{
|
|
"x": 1145.45,
|
|
"y": 469.4
|
|
},
|
|
{
|
|
"x": 1342.25,
|
|
"y": 539
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(then -> here)[0]",
|
|
"src": "then",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "here",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 2040.0530973451328,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 2029.6106194690265,
|
|
"y": 216
|
|
},
|
|
{
|
|
"x": 2027,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 2027,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(here -> you)[0]",
|
|
"src": "here",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "you",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 2027,
|
|
"y": 402
|
|
},
|
|
{
|
|
"x": 2027,
|
|
"y": 442
|
|
},
|
|
{
|
|
"x": 2027,
|
|
"y": 462
|
|
},
|
|
{
|
|
"x": 2027,
|
|
"y": 502
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(have -> hierarchy)[0]",
|
|
"src": "have",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "hierarchy",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 2273.25,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 2273.25,
|
|
"y": 216
|
|
},
|
|
{
|
|
"x": 2271.65,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 2265.25,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(then -> hierarchy)[0]",
|
|
"src": "then",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "hierarchy",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 2110.9977876106195,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 2145.599557522124,
|
|
"y": 216
|
|
},
|
|
{
|
|
"x": 2163.05,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 2198.25,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(finally -> another)[0]",
|
|
"src": "finally",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "another",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 213,
|
|
"y": 488
|
|
},
|
|
{
|
|
"x": 173,
|
|
"y": 511.2
|
|
},
|
|
{
|
|
"x": 203,
|
|
"y": 493.8
|
|
},
|
|
{
|
|
"x": 163,
|
|
"y": 517
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(another -> of)[0]",
|
|
"src": "another",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "of",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 81.5,
|
|
"y": 628
|
|
},
|
|
{
|
|
"x": 81.5,
|
|
"y": 668
|
|
},
|
|
{
|
|
"x": 81.5,
|
|
"y": 688
|
|
},
|
|
{
|
|
"x": 81.5,
|
|
"y": 728
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(nesting -> trees)[0]",
|
|
"src": "nesting",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "trees",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 1630.25,
|
|
"y": 402
|
|
},
|
|
{
|
|
"x": 1630.25,
|
|
"y": 442
|
|
},
|
|
{
|
|
"x": 1520.45,
|
|
"y": 472.01193548387096
|
|
},
|
|
{
|
|
"x": 1081.25,
|
|
"y": 552.0596774193548
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(finally -> trees)[0]",
|
|
"src": "finally",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "trees",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 679,
|
|
"y": 511
|
|
},
|
|
{
|
|
"x": 887,
|
|
"y": 544.6
|
|
},
|
|
{
|
|
"x": 731,
|
|
"y": 519.4
|
|
},
|
|
{
|
|
"x": 939,
|
|
"y": 553
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "finally.(a -> tree)[0]",
|
|
"src": "finally.a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "finally.tree",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 351.63495575221236,
|
|
"y": 402
|
|
},
|
|
{
|
|
"x": 360.92699115044246,
|
|
"y": 442
|
|
},
|
|
{
|
|
"x": 363.25,
|
|
"y": 462
|
|
},
|
|
{
|
|
"x": 363.25,
|
|
"y": 502
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "finally.(inside -> a)[0]",
|
|
"src": "finally.inside",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "finally.a",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 337,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 337,
|
|
"y": 216
|
|
},
|
|
{
|
|
"x": 337,
|
|
"y": 236
|
|
},
|
|
{
|
|
"x": 337,
|
|
"y": 276
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "finally.(tree -> hierarchy)[0]",
|
|
"src": "finally.tree",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "finally.hierarchy",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 363.25,
|
|
"y": 628
|
|
},
|
|
{
|
|
"x": 363.25,
|
|
"y": 668
|
|
},
|
|
{
|
|
"x": 363.25,
|
|
"y": 688
|
|
},
|
|
{
|
|
"x": 363.25,
|
|
"y": 728
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "finally.(a -> root)[0]",
|
|
"src": "finally.a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "finally.root",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 394.5,
|
|
"y": 367.92185730464325
|
|
},
|
|
{
|
|
"x": 525.1,
|
|
"y": 435.1843714609287
|
|
},
|
|
{
|
|
"x": 557.75,
|
|
"y": 462
|
|
},
|
|
{
|
|
"x": 557.75,
|
|
"y": 502
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
}
|
|
]
|
|
}
|