1756 lines
36 KiB
JSON
Generated
1756 lines
36 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"fontFamily": "SourceSansPro",
|
|
"shapes": [
|
|
{
|
|
"id": "finally",
|
|
"type": "",
|
|
"pos": {
|
|
"x": 153,
|
|
"y": 0
|
|
},
|
|
"width": 352,
|
|
"height": 664,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#E3E9FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 806,
|
|
"y": 50
|
|
},
|
|
"width": 53,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 652,
|
|
"y": 216
|
|
},
|
|
"width": 74,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 859,
|
|
"y": 216
|
|
},
|
|
"width": 72,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 991,
|
|
"y": 216
|
|
},
|
|
"width": 87,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1134,
|
|
"y": 382
|
|
},
|
|
"width": 83,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 848,
|
|
"y": 382
|
|
},
|
|
"width": 81,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 989,
|
|
"y": 382
|
|
},
|
|
"width": 85,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1461,
|
|
"y": 50
|
|
},
|
|
"width": 78,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1426,
|
|
"y": 216
|
|
},
|
|
"width": 76,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1428,
|
|
"y": 382
|
|
},
|
|
"width": 72,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1611,
|
|
"y": 50
|
|
},
|
|
"width": 78,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1582,
|
|
"y": 216
|
|
},
|
|
"width": 113,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 382
|
|
},
|
|
"width": 103,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 548
|
|
},
|
|
"width": 60,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 1138,
|
|
"y": 216
|
|
},
|
|
"width": 98,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 706,
|
|
"y": 382
|
|
},
|
|
"width": 82,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 221,
|
|
"y": 216
|
|
},
|
|
"width": 53,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 243,
|
|
"y": 382
|
|
},
|
|
"width": 74,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 203,
|
|
"y": 50
|
|
},
|
|
"width": 88,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 224,
|
|
"y": 548
|
|
},
|
|
"width": 113,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 377,
|
|
"y": 382
|
|
},
|
|
"width": 75,
|
|
"height": 66,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#EDF0FD",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"double-border": 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": 805.75,
|
|
"y": 98.32752613240419
|
|
},
|
|
{
|
|
"x": 712.15,
|
|
"y": 152.46550522648084
|
|
},
|
|
{
|
|
"x": 688.75,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 688.75,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 857.1987951807229,
|
|
"y": 116
|
|
},
|
|
{
|
|
"x": 887.4397590361446,
|
|
"y": 156
|
|
},
|
|
{
|
|
"x": 895,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 895,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 858.75,
|
|
"y": 93.87515451174289
|
|
},
|
|
{
|
|
"x": 999.35,
|
|
"y": 151.57503090234857
|
|
},
|
|
{
|
|
"x": 1034.5,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 1034.5,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 895,
|
|
"y": 282
|
|
},
|
|
{
|
|
"x": 895,
|
|
"y": 322
|
|
},
|
|
{
|
|
"x": 942.8,
|
|
"y": 346.2
|
|
},
|
|
{
|
|
"x": 1134,
|
|
"y": 403
|
|
}
|
|
],
|
|
"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": 687.2590361445783,
|
|
"y": 282
|
|
},
|
|
{
|
|
"x": 685.4518072289156,
|
|
"y": 322
|
|
},
|
|
{
|
|
"x": 717.6,
|
|
"y": 345.2
|
|
},
|
|
{
|
|
"x": 848,
|
|
"y": 398
|
|
}
|
|
],
|
|
"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": 725.75,
|
|
"y": 275.8796498905908
|
|
},
|
|
{
|
|
"x": 787.55,
|
|
"y": 320.77592997811814
|
|
},
|
|
{
|
|
"x": 840.2,
|
|
"y": 345.6
|
|
},
|
|
{
|
|
"x": 989,
|
|
"y": 400
|
|
}
|
|
],
|
|
"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": 1485.5873493975903,
|
|
"y": 116
|
|
},
|
|
{
|
|
"x": 1468.117469879518,
|
|
"y": 156
|
|
},
|
|
{
|
|
"x": 1463.75,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 1463.75,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 1463.75,
|
|
"y": 282
|
|
},
|
|
{
|
|
"x": 1463.75,
|
|
"y": 322
|
|
},
|
|
{
|
|
"x": 1463.75,
|
|
"y": 342
|
|
},
|
|
{
|
|
"x": 1463.75,
|
|
"y": 382
|
|
}
|
|
],
|
|
"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": 1650,
|
|
"y": 116
|
|
},
|
|
{
|
|
"x": 1650,
|
|
"y": 156
|
|
},
|
|
{
|
|
"x": 1648.6,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 1643,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 1524.253012048193,
|
|
"y": 116
|
|
},
|
|
{
|
|
"x": 1553.6506024096386,
|
|
"y": 156
|
|
},
|
|
{
|
|
"x": 1570.2,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 1607,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 153,
|
|
"y": 358
|
|
},
|
|
{
|
|
"x": 103,
|
|
"y": 386
|
|
}
|
|
],
|
|
"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": 51.5,
|
|
"y": 448
|
|
},
|
|
{
|
|
"x": 51.5,
|
|
"y": 488
|
|
},
|
|
{
|
|
"x": 51.5,
|
|
"y": 508
|
|
},
|
|
{
|
|
"x": 51.5,
|
|
"y": 548
|
|
}
|
|
],
|
|
"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": 1187,
|
|
"y": 282
|
|
},
|
|
{
|
|
"x": 1187,
|
|
"y": 322
|
|
},
|
|
{
|
|
"x": 1107.2,
|
|
"y": 347
|
|
},
|
|
{
|
|
"x": 788,
|
|
"y": 407
|
|
}
|
|
],
|
|
"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": 505,
|
|
"y": 375
|
|
},
|
|
{
|
|
"x": 706,
|
|
"y": 408
|
|
}
|
|
],
|
|
"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": 260.12048192771084,
|
|
"y": 282
|
|
},
|
|
{
|
|
"x": 276.0240963855422,
|
|
"y": 322
|
|
},
|
|
{
|
|
"x": 280,
|
|
"y": 342
|
|
},
|
|
{
|
|
"x": 280,
|
|
"y": 382
|
|
}
|
|
],
|
|
"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": 247,
|
|
"y": 116
|
|
},
|
|
{
|
|
"x": 247,
|
|
"y": 156
|
|
},
|
|
{
|
|
"x": 247,
|
|
"y": 176
|
|
},
|
|
{
|
|
"x": 247,
|
|
"y": 216
|
|
}
|
|
],
|
|
"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": 280,
|
|
"y": 448
|
|
},
|
|
{
|
|
"x": 280,
|
|
"y": 488
|
|
},
|
|
{
|
|
"x": 280,
|
|
"y": 508
|
|
},
|
|
{
|
|
"x": 280,
|
|
"y": 548
|
|
}
|
|
],
|
|
"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": 274.5,
|
|
"y": 262.1313432835821
|
|
},
|
|
{
|
|
"x": 386.5,
|
|
"y": 318.0262686567164
|
|
},
|
|
{
|
|
"x": 414.5,
|
|
"y": 342
|
|
},
|
|
{
|
|
"x": 414.5,
|
|
"y": 382
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
}
|
|
]
|
|
}
|