{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r1095668974", "type": "rectangle", "x": 20, "y": 46, "width": 430, "height": 320, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 491064884, "versionNonce": 909515265, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "r1362654630", "type": "rectangle", "x": 470, "y": 46, "width": 430, "height": 320, "angle": 0, "strokeColor": "#e8e1d3", "backgroundColor": "#fbfaf6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1637847683, "versionNonce": 391879287, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "r1566035569", "type": "rectangle", "x": 50, "y": 90, "width": 210, "height": 80, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 496727106, "versionNonce": 718135093, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t226963868", "type": "text", "x": 60, "y": 98, "width": 146.3, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1207152596, "versionNonce": 1290046524, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "class Data (public)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "class Data (public)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t764323989", "type": "text", "x": 60, "y": 118, "width": 54.45, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1278124890, "versionNonce": 200598462, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "data_ : T", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "data_ : T", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1286662829", "type": "text", "x": 60, "y": 133, "width": 40, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 476932735, "versionNonce": 1209507832, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "mutex_", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "mutex_", "lineHeight": 1.25, "baseline": 11 }, { "id": "r532125747", "type": "rectangle", "x": 280, "y": 96, "width": 150, "height": 50, "angle": 0, "strokeColor": "#b9b2a4", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 460214971, "versionNonce": 1843724651, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t674015054", "type": "text", "x": 290, "y": 104, "width": 115.50000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1313597383, "versionNonce": 860752323, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "// protected by", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "// protected by", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1230141165", "type": "text", "x": 290, "y": 124, "width": 40, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 642160222, "versionNonce": 469858572, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "mutex_", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "mutex_", "lineHeight": 1.25, "baseline": 11 }, { "id": "r239565411", "type": "rectangle", "x": 50, "y": 230, "width": 120, "height": 48, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1913430787, "versionNonce": 772662844, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1169658376", "type": "text", "x": 60, "y": 238, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1393302756, "versionNonce": 1612718523, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Caller A", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Caller A", "lineHeight": 1.25, "baseline": 14 }, { "id": "r1383607119", "type": "rectangle", "x": 190, "y": 230, "width": 120, "height": 48, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1733102843, "versionNonce": 1725707218, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t943612215", "type": "text", "x": 200, "y": 238, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 64533621, "versionNonce": 1725547990, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Caller B", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Caller B", "lineHeight": 1.25, "baseline": 14 }, { "id": "r491913635", "type": "rectangle", "x": 330, "y": 230, "width": 120, "height": 48, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1577080476, "versionNonce": 567965724, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t688128020", "type": "text", "x": 340, "y": 238, "width": 61.60000000000001, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 903212440, "versionNonce": 1024701010, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Caller C", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Caller C", "lineHeight": 1.25, "baseline": 14 }, { "id": "r479840807", "type": "rectangle", "x": 500, "y": 90, "width": 190, "height": 76, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "#ffffff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 127791863, "versionNonce": 12555073, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1970591382", "type": "text", "x": 510, "y": 98, "width": 146.3, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1514741131, "versionNonce": 608713103, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Monitor (sealed)", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Monitor (sealed)", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1686124777", "type": "text", "x": 510, "y": 118, "width": 121.00000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 136906523, "versionNonce": 1732521750, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "value_ : T (private)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "value_ : T (private)", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1016293472", "type": "text", "x": 510, "y": 133, "width": 96.80000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 813898131, "versionNonce": 229299344, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "mutex_ (private)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "mutex_ (private)", "lineHeight": 1.25, "baseline": 11 }, { "id": "r291419970", "type": "rectangle", "x": 500, "y": 196, "width": 190, "height": 42, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "#faf0e6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1788522187, "versionNonce": 1333353131, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1372193257", "type": "text", "x": 510, "y": 204, "width": 123.20000000000002, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 467430190, "versionNonce": 1975449378, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock() -> Handle", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock() -> Handle", "lineHeight": 1.25, "baseline": 14 }, { "id": "t960545033", "type": "text", "x": 510, "y": 224, "width": 102.85000000000001, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1774256764, "versionNonce": 1424348297, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "only public entry", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "only public entry", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1045512840", "type": "rectangle", "x": 500, "y": 268, "width": 190, "height": 42, "angle": 0, "strokeColor": "#4a73b8", "backgroundColor": "#e8f0fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1570965027, "versionNonce": 1022416710, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t519754648", "type": "text", "x": 510, "y": 276, "width": 46.2, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 670668128, "versionNonce": 1823037777, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Caller", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Caller", "lineHeight": 1.25, "baseline": 14 }, { "id": "r824621338", "type": "rectangle", "x": 730, "y": 196, "width": 160, "height": 42, "angle": 0, "strokeColor": "#a06030", "backgroundColor": "#faf0e6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1766315107, "versionNonce": 361354423, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t474756908", "type": "text", "x": 740, "y": 204, "width": 46.2, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 398544948, "versionNonce": 134849012, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Handle", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Handle", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1557969442", "type": "text", "x": 740, "y": 224, "width": 78.65, "height": 13.75, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 979501830, "versionNonce": 1857631139, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "{ lock + T& }", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "{ lock + T& }", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1481655368", "type": "arrow", "x": 110, "y": 230, "width": 0, "height": 60, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 509167040, "versionNonce": 1267106719, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -60 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1144658068", "type": "text", "x": 110.0, "y": 186.0, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1697815788, "versionNonce": 692358073, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "lock(mutex_)", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "lock(mutex_)", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1834426430", "type": "arrow", "x": 250, "y": 230, "width": 0, "height": 60, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1083477252, "versionNonce": 1216852473, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -60 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1366234518", "type": "text", "x": 250.0, "y": 186.0, "width": 78.65, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 35977403, "versionNonce": 1864004336, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "bypasses lock", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "bypasses lock", "lineHeight": 1.25, "baseline": 11 }, { "id": "a771621305", "type": "arrow", "x": 390, "y": 230, "width": 130, "height": 80, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 535630584, "versionNonce": 140839341, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -130, -80 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1321591796", "type": "text", "x": 325.0, "y": 176.0, "width": 78.65, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1925273693, "versionNonce": 985144935, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "bypasses lock", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "bypasses lock", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1670101926", "type": "arrow", "x": 595, "y": 166, "width": 0, "height": 30, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1951209418, "versionNonce": 898543891, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 30 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a1013579059", "type": "arrow", "x": 595, "y": 268, "width": 0, "height": 30, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 740749933, "versionNonce": 1739977160, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -30 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t382403447", "type": "text", "x": 595.0, "y": 239.0, "width": 40, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1523806978, "versionNonce": 83984189, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "call", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "call", "lineHeight": 1.25, "baseline": 11 }, { "id": "a564688378", "type": "arrow", "x": 690, "y": 217, "width": 40, "height": 0, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 928875170, "versionNonce": 891465684, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 40, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1602325055", "type": "text", "x": 710.0, "y": 203.0, "width": 42.35, "height": 13.75, "angle": 0, "strokeColor": "#2d2d2d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 286776368, "versionNonce": 284435006, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "returns", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "returns", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1441330606", "type": "text", "x": 460, "y": 14, "width": 500.50000000000006, "height": 17.5, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1802101449, "versionNonce": 1386845196, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Enforcement vs. Convention: Monitor vs. Comment-Guarded Access", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Enforcement vs. Convention: Monitor vs. Comment-Guarded Access", "lineHeight": 1.25, "baseline": 14 }, { "id": "t421350400", "type": "text", "x": 35, "y": 62, "width": 214.50000000000003, "height": 16.25, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1973562473, "versionNonce": 799055363, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Comment-guarded (not enforced)", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Comment-guarded (not enforced)", "lineHeight": 1.25, "baseline": 13 }, { "id": "t1924665116", "type": "text", "x": 485, "y": 62, "width": 243.10000000000002, "height": 16.25, "angle": 0, "strokeColor": "#5a8870", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 477828489, "versionNonce": 226999694, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Monitor (structurally enforced)", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Monitor (structurally enforced)", "lineHeight": 1.25, "baseline": 13 }, { "id": "t296020018", "type": "text", "x": 235, "y": 290, "width": 157.3, "height": 13.75, "angle": 0, "strokeColor": "#c0392b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1281701264, "versionNonce": 1104405482, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "both bypasses compile fine", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "both bypasses compile fine", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1270967096", "type": "text", "x": 810, "y": 250, "width": 138.60000000000002, "height": 13.125, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1073269033, "versionNonce": 973556452, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "no path to value_ except", "fontSize": 10.5, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "no path to value_ except", "lineHeight": 1.25, "baseline": 10.5 }, { "id": "t1423732588", "type": "text", "x": 810, "y": 264, "width": 92.4, "height": 13.125, "angle": 0, "strokeColor": "#6b6b6b", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1489021430, "versionNonce": 1364019905, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "through the lock", "fontSize": 10.5, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "through the lock", "lineHeight": 1.25, "baseline": 10.5 }, { "id": "t545586841", "type": "text", "x": 460, "y": 394, "width": 475.20000000000005, "height": 15.0, "angle": 0, "strokeColor": "#1a1a1a", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 835206297, "versionNonce": 1763225836, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "the compiler enforces the wrapper's rule; it cannot enforce the comment.", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the compiler enforces the wrapper's rule; it cannot enforce the comment.", "lineHeight": 1.25, "baseline": 12 } ], "appState": { "viewBackgroundColor": "#fdfbf7", "gridSize": null }, "files": {} }