42 lines
2.2 KiB
Clojure
42 lines
2.2 KiB
Clojure
{:highlights [{:id #uuid "65676611-291e-4ef1-b5bc-8d4f6caf0325",
|
|
:page 225,
|
|
:position {:bounding {:x1 92.1171875,
|
|
:y1 545.140625,
|
|
:x2 470.6230773925781,
|
|
:y2 568.6640625,
|
|
:width 549,
|
|
:height 776.442540938993},
|
|
:rects ({:x1 92.1171875,
|
|
:y1 545.140625,
|
|
:x2 470.6230773925781,
|
|
:y2 555.640625,
|
|
:width 549,
|
|
:height 776.442540938993}
|
|
{:x1 92.1171875,
|
|
:y1 556.1640625,
|
|
:x2 286.3757629394531,
|
|
:y2 568.6640625,
|
|
:width 549,
|
|
:height 776.442540938993}),
|
|
:page 225},
|
|
:content {:text "The predefined module CONFIGURATION in the file prelude.maude provides basic sorts and constructors for modeling object-based systems"},
|
|
:properties {:color "green"}}
|
|
{:id #uuid "6567666b-df63-40c5-92c6-a00c0afcd2e5",
|
|
:page 166,
|
|
:position {:bounding {:x1 203.57289123535156,
|
|
:y1 149.125,
|
|
:x2 537.9022216796875,
|
|
:y2 173.125,
|
|
:width 895.0000000000001,
|
|
:height 1265.7851987985407},
|
|
:rects ({:x1 203.57289123535156,
|
|
:y1 149.125,
|
|
:x2 537.9022216796875,
|
|
:y2 173.125,
|
|
:width 895.0000000000001,
|
|
:height 1265.7851987985407}),
|
|
:page 166},
|
|
:content {:text "Random numbers and counters"},
|
|
:properties {:color "green"}}],
|
|
:extra {:page 227}}
|