241 lines
13 KiB
Clojure
241 lines
13 KiB
Clojure
{:highlights [{:id #uuid "65e1a0e4-c305-4e17-bff0-6fc9d1ce8359",
|
||
:page 11,
|
||
:position {:bounding {:x1 222.96563696861267,
|
||
:y1 961.3406677246094,
|
||
:x2 795.6902463436127,
|
||
:y2 999.8719177246094,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 733.9379270076752,
|
||
:y1 961.3406677246094,
|
||
:x2 795.6902463436127,
|
||
:y2 979.9406433105469,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}
|
||
{:x1 222.96563696861267,
|
||
:y1 981.2718811035156,
|
||
:x2 791.1801145076752,
|
||
:y2 999.8719177246094,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 11},
|
||
:content {:text "function signatures of the printer and the parser that are derived from a BIT template"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a0fc-42f5-4042-826b-22c72e9c31a0",
|
||
:page 12,
|
||
:position {:bounding {:x1 271.62188696861267,
|
||
:y1 209.859375,
|
||
:x2 461.4873960018158,
|
||
:y2 228.4593505859375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 271.62188696861267,
|
||
:y1 209.859375,
|
||
:x2 461.4873960018158,
|
||
:y2 228.4593505859375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "S denotes the string type "},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a0ff-a52a-448c-b57f-97996f2c8922",
|
||
:page 12,
|
||
:position {:bounding {:x1 495.7125241756439,
|
||
:y1 209.859375,
|
||
:x2 670.4055173397064,
|
||
:y2 228.4593505859375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 495.7125241756439,
|
||
:y1 209.859375,
|
||
:x2 670.4055173397064,
|
||
:y2 228.4593505859375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "V is a certain value typ"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a11f-e438-4b94-a86e-b7567b37a088",
|
||
:page 12,
|
||
:position {:bounding {:x1 222.96563696861267,
|
||
:y1 289.4624938964844,
|
||
:x2 795.7371213436127,
|
||
:y2 327.9937438964844,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 730.1525876522064,
|
||
:y1 289.4624938964844,
|
||
:x2 795.7371213436127,
|
||
:y2 308.0625305175781,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}
|
||
{:x1 222.96563696861267,
|
||
:y1 309.3937683105469,
|
||
:x2 528.2596433162689,
|
||
:y2 327.9937438964844,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "including incremental printing, incremental parsing,"},
|
||
:properties {:color "yellow"}}
|
||
{:id #uuid "65e1a16a-195a-4269-a0a5-5343e8131321",
|
||
:page 12,
|
||
:position {:bounding {:x1 393.36746191978455,
|
||
:y1 383.9718933105469,
|
||
:x2 593.5996701717377,
|
||
:y2 402.5718688964844,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 393.36746191978455,
|
||
:y1 383.9718933105469,
|
||
:x2 593.5996701717377,
|
||
:y2 402.5718688964844,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "rewriting an existing string"},
|
||
:properties {:color "yellow"}}
|
||
{:id #uuid "65e1a1b3-8096-41d1-a175-3313d8b99751",
|
||
:page 12,
|
||
:position {:bounding {:x1 227.50746130943298,
|
||
:y1 692.4562835693359,
|
||
:x2 435.96865820884705,
|
||
:y2 711.0562591552734,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 227.50746130943298,
|
||
:y1 692.4562835693359,
|
||
:x2 435.96865820884705,
|
||
:y2 711.0562591552734,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "ncPrint does not use a mode"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a212-d01f-4cdb-a058-424fdde2ea10",
|
||
:page 12,
|
||
:position {:bounding {:x1 330.1995542049408,
|
||
:y1 850.0594358444214,
|
||
:x2 458.27297949790955,
|
||
:y2 868.6594114303589,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 330.1995542049408,
|
||
:y1 850.0594358444214,
|
||
:x2 458.27297949790955,
|
||
:y2 868.6594114303589,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "Accumulative BX"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a25a-f313-47f7-94e7-269d49153c3e",
|
||
:page 12,
|
||
:position {:bounding {:x1 774.5812985897064,
|
||
:y1 928.471923828125,
|
||
:x2 795.7902219295502,
|
||
:y2 947.0718994140625,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 774.5812985897064,
|
||
:y1 928.471923828125,
|
||
:x2 795.7902219295502,
|
||
:y2 947.0718994140625,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "(1)"},
|
||
:properties {:color "red"}}
|
||
{:id #uuid "65e1a32f-77b0-4509-b7a4-22527e368155",
|
||
:page 12,
|
||
:position {:bounding {:x1 538.6979367733002,
|
||
:y1 1064.7000732421875,
|
||
:x2 735.5624997615814,
|
||
:y2 1085.1469116210938,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 733.3781735897064,
|
||
:y1 1064.7000732421875,
|
||
:x2 735.5624997615814,
|
||
:y2 1077.9000244140625,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}
|
||
{:x1 538.6979367733002,
|
||
:y1 1066.5469360351562,
|
||
:x2 732.6187741756439,
|
||
:y2 1085.1469116210938,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 12},
|
||
:content {:text "pdate the model m into m′"},
|
||
:properties {:color "yellow"}}
|
||
{:id #uuid "65e1a35e-1ff9-4f3a-8003-c4b4c08e1d50",
|
||
:page 13,
|
||
:position {:bounding {:x1 222.96563696861267,
|
||
:y1 209.859375,
|
||
:x2 312.95156836509705,
|
||
:y2 228.45941162109375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 222.96563696861267,
|
||
:y1 209.859375,
|
||
:x2 312.95156836509705,
|
||
:y2 228.45941162109375,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 13},
|
||
:content {:text "Special Case"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a3d8-ac28-4ff9-972e-4de53d273654",
|
||
:page 16,
|
||
:position {:bounding {:x1 247.85626196861267,
|
||
:y1 502.50941467285156,
|
||
:x2 790.9616696834564,
|
||
:y2 521.1093902587891,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 247.85626196861267,
|
||
:y1 502.50941467285156,
|
||
:x2 790.9616696834564,
|
||
:y2 521.1093902587891,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 16},
|
||
:content {:text "We assume every expression e is equipped with a bidirectional semantics"},
|
||
:properties {:color "yellow"}}
|
||
{:id #uuid "65e1a3dc-d1d5-42af-ad26-0b9ccf04adeb",
|
||
:page 16,
|
||
:position {:bounding {:x1 405.8625180721283,
|
||
:y1 522.4406280517578,
|
||
:x2 475.6374204158783,
|
||
:y2 541.0406646728516,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 405.8625180721283,
|
||
:y1 522.4406280517578,
|
||
:x2 475.6374204158783,
|
||
:y2 541.0406646728516,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 16},
|
||
:content {:text "e as a BX"},
|
||
:properties {:color "green"}}
|
||
{:id #uuid "65e1a5ef-fd36-41d2-a12d-6de436c1ca0d",
|
||
:page 17,
|
||
:position {:bounding {:x1 275.53228735923767,
|
||
:y1 462.24375915527344,
|
||
:x2 347.7656247615814,
|
||
:y2 480.8437957763672,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998},
|
||
:rects ({:x1 275.53228735923767,
|
||
:y1 462.24375915527344,
|
||
:x2 347.7656247615814,
|
||
:y2 480.8437957763672,
|
||
:width 1019.9999999999999,
|
||
:height 1319.9999999999998}),
|
||
:page 17},
|
||
:content {:text " pattern ρ"},
|
||
:properties {:color "yellow"}}],
|
||
:extra {:page 12}}
|