|
5
|
1 <?xml version="1.0" encoding="UTF-8"?>
|
|
|
2 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
|
|
|
3 <plist version="1.0">
|
|
|
4 <dict>
|
|
|
5 <key>ActiveLayerIndex</key>
|
|
|
6 <integer>0</integer>
|
|
|
7 <key>ApplicationVersion</key>
|
|
|
8 <array>
|
|
|
9 <string>com.omnigroup.OmniGraffle</string>
|
|
|
10 <string>139.16.0.171715</string>
|
|
|
11 </array>
|
|
|
12 <key>AutoAdjust</key>
|
|
|
13 <true/>
|
|
|
14 <key>BackgroundGraphic</key>
|
|
|
15 <dict>
|
|
|
16 <key>Bounds</key>
|
|
|
17 <string>{{0, 0}, {559, 783}}</string>
|
|
|
18 <key>Class</key>
|
|
|
19 <string>SolidGraphic</string>
|
|
|
20 <key>ID</key>
|
|
|
21 <integer>2</integer>
|
|
|
22 <key>Style</key>
|
|
|
23 <dict>
|
|
|
24 <key>shadow</key>
|
|
|
25 <dict>
|
|
|
26 <key>Draws</key>
|
|
|
27 <string>NO</string>
|
|
|
28 </dict>
|
|
|
29 <key>stroke</key>
|
|
|
30 <dict>
|
|
|
31 <key>Draws</key>
|
|
|
32 <string>NO</string>
|
|
|
33 </dict>
|
|
|
34 </dict>
|
|
|
35 </dict>
|
|
|
36 <key>BaseZoom</key>
|
|
|
37 <integer>0</integer>
|
|
|
38 <key>CanvasOrigin</key>
|
|
|
39 <string>{0, 0}</string>
|
|
|
40 <key>ColumnAlign</key>
|
|
|
41 <integer>1</integer>
|
|
|
42 <key>ColumnSpacing</key>
|
|
|
43 <real>36</real>
|
|
|
44 <key>CreationDate</key>
|
|
|
45 <string>2013-02-07 14:35:45 +0000</string>
|
|
|
46 <key>Creator</key>
|
|
|
47 <string>shoshi</string>
|
|
|
48 <key>DisplayScale</key>
|
|
|
49 <string>1 0/72 in = 1 0/72 in</string>
|
|
|
50 <key>GraphDocumentVersion</key>
|
|
|
51 <integer>8</integer>
|
|
|
52 <key>GraphicsList</key>
|
|
|
53 <array>
|
|
|
54 <dict>
|
|
|
55 <key>Class</key>
|
|
|
56 <string>LineGraphic</string>
|
|
|
57 <key>Head</key>
|
|
|
58 <dict>
|
|
|
59 <key>ID</key>
|
|
|
60 <integer>34</integer>
|
|
|
61 </dict>
|
|
|
62 <key>ID</key>
|
|
|
63 <integer>96</integer>
|
|
|
64 <key>Points</key>
|
|
|
65 <array>
|
|
|
66 <string>{279.5, 57.651654628772874}</string>
|
|
|
67 <string>{279.5, 89}</string>
|
|
|
68 </array>
|
|
|
69 <key>Style</key>
|
|
|
70 <dict>
|
|
|
71 <key>stroke</key>
|
|
|
72 <dict>
|
|
|
73 <key>HeadArrow</key>
|
|
|
74 <string>Arrow</string>
|
|
|
75 <key>Legacy</key>
|
|
|
76 <true/>
|
|
|
77 <key>TailArrow</key>
|
|
|
78 <string>0</string>
|
|
|
79 </dict>
|
|
|
80 </dict>
|
|
|
81 <key>Tail</key>
|
|
|
82 <dict>
|
|
|
83 <key>ID</key>
|
|
|
84 <integer>92</integer>
|
|
|
85 </dict>
|
|
|
86 </dict>
|
|
|
87 <dict>
|
|
|
88 <key>Bounds</key>
|
|
|
89 <string>{{317, 30.293048858642578}, {110, 30}}</string>
|
|
|
90 <key>Class</key>
|
|
|
91 <string>ShapedGraphic</string>
|
|
|
92 <key>FontInfo</key>
|
|
|
93 <dict>
|
|
|
94 <key>Font</key>
|
|
|
95 <string>Helvetica</string>
|
|
|
96 <key>Size</key>
|
|
|
97 <real>10</real>
|
|
|
98 </dict>
|
|
|
99 <key>ID</key>
|
|
|
100 <integer>94</integer>
|
|
|
101 <key>Shape</key>
|
|
|
102 <string>Rectangle</string>
|
|
|
103 <key>Style</key>
|
|
|
104 <dict>
|
|
|
105 <key>fill</key>
|
|
|
106 <dict>
|
|
|
107 <key>Draws</key>
|
|
|
108 <string>NO</string>
|
|
|
109 </dict>
|
|
|
110 <key>shadow</key>
|
|
|
111 <dict>
|
|
|
112 <key>Draws</key>
|
|
|
113 <string>NO</string>
|
|
|
114 </dict>
|
|
|
115 <key>stroke</key>
|
|
|
116 <dict>
|
|
|
117 <key>Draws</key>
|
|
|
118 <string>NO</string>
|
|
|
119 </dict>
|
|
|
120 </dict>
|
|
|
121 <key>Text</key>
|
|
|
122 <dict>
|
|
|
123 <key>Pad</key>
|
|
|
124 <integer>0</integer>
|
|
|
125 <key>Text</key>
|
|
|
126 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
|
|
|
127 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|
|
128 {\colortbl;\red255\green255\blue255;}
|
|
|
129 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|
|
130
|
|
|
131 \f0\fs18 \cf0 <<inteface>>\
|
|
|
132 TreeEditor<DefaultTreeEditor>}</string>
|
|
|
133 <key>VerticalPad</key>
|
|
|
134 <integer>0</integer>
|
|
|
135 </dict>
|
|
|
136 <key>Wrap</key>
|
|
|
137 <string>NO</string>
|
|
|
138 </dict>
|
|
|
139 <dict>
|
|
|
140 <key>Bounds</key>
|
|
|
141 <string>{{268.23281860351562, 33.434448174654563}, {22.534351145038151, 23.717200515753952}}</string>
|
|
|
142 <key>Class</key>
|
|
|
143 <string>ShapedGraphic</string>
|
|
|
144 <key>FontInfo</key>
|
|
|
145 <dict>
|
|
|
146 <key>Font</key>
|
|
|
147 <string>Helvetica</string>
|
|
|
148 <key>Size</key>
|
|
|
149 <real>10</real>
|
|
|
150 </dict>
|
|
|
151 <key>ID</key>
|
|
|
152 <integer>92</integer>
|
|
|
153 <key>Shape</key>
|
|
|
154 <string>Circle</string>
|
|
|
155 <key>Style</key>
|
|
|
156 <dict>
|
|
|
157 <key>shadow</key>
|
|
|
158 <dict>
|
|
|
159 <key>Draws</key>
|
|
|
160 <string>NO</string>
|
|
|
161 </dict>
|
|
|
162 </dict>
|
|
|
163 <key>Text</key>
|
|
|
164 <dict>
|
|
|
165 <key>VerticalPad</key>
|
|
|
166 <integer>0</integer>
|
|
|
167 </dict>
|
|
|
168 </dict>
|
|
|
169 <dict>
|
|
|
170 <key>Class</key>
|
|
|
171 <string>TableGroup</string>
|
|
|
172 <key>Graphics</key>
|
|
|
173 <array>
|
|
|
174 <dict>
|
|
|
175 <key>Bounds</key>
|
|
|
176 <string>{{49.5, 89}, {460, 17}}</string>
|
|
|
177 <key>Class</key>
|
|
|
178 <string>ShapedGraphic</string>
|
|
|
179 <key>FitText</key>
|
|
|
180 <string>Vertical</string>
|
|
|
181 <key>Flow</key>
|
|
|
182 <string>Resize</string>
|
|
|
183 <key>FontInfo</key>
|
|
|
184 <dict>
|
|
|
185 <key>Font</key>
|
|
|
186 <string>HiraKakuProN-W6</string>
|
|
|
187 <key>Size</key>
|
|
|
188 <real>12</real>
|
|
|
189 </dict>
|
|
|
190 <key>ID</key>
|
|
|
191 <integer>34</integer>
|
|
|
192 <key>Magnets</key>
|
|
|
193 <array>
|
|
|
194 <string>{0, 1}</string>
|
|
|
195 <string>{0, -1}</string>
|
|
|
196 <string>{1, 0}</string>
|
|
|
197 <string>{-1, 0}</string>
|
|
|
198 </array>
|
|
|
199 <key>Shape</key>
|
|
|
200 <string>Rectangle</string>
|
|
|
201 <key>Style</key>
|
|
|
202 <dict>
|
|
|
203 <key>fill</key>
|
|
|
204 <dict>
|
|
|
205 <key>GradientCenter</key>
|
|
|
206 <string>{-0.29411799999999999, -0.264706}</string>
|
|
|
207 </dict>
|
|
|
208 <key>shadow</key>
|
|
|
209 <dict>
|
|
|
210 <key>Draws</key>
|
|
|
211 <string>NO</string>
|
|
|
212 </dict>
|
|
|
213 </dict>
|
|
|
214 <key>Text</key>
|
|
|
215 <dict>
|
|
|
216 <key>Text</key>
|
|
|
217 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
|
|
|
218 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
|
|
|
219 {\colortbl;\red255\green255\blue255;}
|
|
|
220 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc
|
|
|
221
|
|
|
222 \f0\b\fs22 \cf0 DefaultTreeEditor}</string>
|
|
|
223 <key>VerticalPad</key>
|
|
|
224 <integer>0</integer>
|
|
|
225 </dict>
|
|
|
226 <key>TextPlacement</key>
|
|
|
227 <integer>0</integer>
|
|
|
228 </dict>
|
|
|
229 <dict>
|
|
|
230 <key>Bounds</key>
|
|
|
231 <string>{{49.5, 106}, {460, 34}}</string>
|
|
|
232 <key>Class</key>
|
|
|
233 <string>ShapedGraphic</string>
|
|
|
234 <key>FitText</key>
|
|
|
235 <string>Vertical</string>
|
|
|
236 <key>Flow</key>
|
|
|
237 <string>Resize</string>
|
|
|
238 <key>FontInfo</key>
|
|
|
239 <dict>
|
|
|
240 <key>Font</key>
|
|
|
241 <string>HiraKakuProN-W6</string>
|
|
|
242 <key>Size</key>
|
|
|
243 <real>12</real>
|
|
|
244 </dict>
|
|
|
245 <key>ID</key>
|
|
|
246 <integer>35</integer>
|
|
|
247 <key>Shape</key>
|
|
|
248 <string>Rectangle</string>
|
|
|
249 <key>Style</key>
|
|
|
250 <dict>
|
|
|
251 <key>fill</key>
|
|
|
252 <dict>
|
|
|
253 <key>GradientCenter</key>
|
|
|
254 <string>{-0.29411799999999999, -0.264706}</string>
|
|
|
255 </dict>
|
|
|
256 <key>shadow</key>
|
|
|
257 <dict>
|
|
|
258 <key>Draws</key>
|
|
|
259 <string>NO</string>
|
|
|
260 </dict>
|
|
|
261 </dict>
|
|
|
262 <key>Text</key>
|
|
|
263 <dict>
|
|
|
264 <key>Align</key>
|
|
|
265 <integer>0</integer>
|
|
|
266 <key>Text</key>
|
|
|
267 <string>{\rtf1\ansi\ansicpg932\cocoartf1187\cocoasubrtf340
|
|
|
268 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset128 HiraKakuProN-W3;}
|
|
|
269 {\colortbl;\red255\green255\blue255;}
|
|
|
270 \deftab720
|
|
|
271 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardeftab720\ri-380
|
|
|
272
|
|
|
273 \f0\fs22 \cf0 \expnd0\expndtw0\kerning0
|
|
|
274 + DefaultTreeEditor(T root,Traverser traverser)\
|
|
|
275 + Either<Error,T> edit(NodePath p,NodeEditor editor)}</string>
|
|
|
276 <key>VerticalPad</key>
|
|
|
277 <integer>0</integer>
|
|
|
278 </dict>
|
|
|
279 <key>TextPlacement</key>
|
|
|
280 <integer>0</integer>
|
|
|
281 </dict>
|
|
|
282 </array>
|
|
|
283 <key>GridH</key>
|
|
|
284 <array>
|
|
|
285 <integer>34</integer>
|
|
|
286 <integer>35</integer>
|
|
|
287 <array/>
|
|
|
288 </array>
|
|
|
289 <key>ID</key>
|
|
|
290 <integer>33</integer>
|
|
|
291 </dict>
|
|
|
292 </array>
|
|
|
293 <key>GridInfo</key>
|
|
|
294 <dict/>
|
|
|
295 <key>GuidesLocked</key>
|
|
|
296 <string>NO</string>
|
|
|
297 <key>GuidesVisible</key>
|
|
|
298 <string>YES</string>
|
|
|
299 <key>HPages</key>
|
|
|
300 <integer>1</integer>
|
|
|
301 <key>ImageCounter</key>
|
|
|
302 <integer>1</integer>
|
|
|
303 <key>KeepToScale</key>
|
|
|
304 <false/>
|
|
|
305 <key>Layers</key>
|
|
|
306 <array>
|
|
|
307 <dict>
|
|
|
308 <key>Lock</key>
|
|
|
309 <string>NO</string>
|
|
|
310 <key>Name</key>
|
|
|
311 <string>レイヤー 1</string>
|
|
|
312 <key>Print</key>
|
|
|
313 <string>YES</string>
|
|
|
314 <key>View</key>
|
|
|
315 <string>YES</string>
|
|
|
316 </dict>
|
|
|
317 </array>
|
|
|
318 <key>LayoutInfo</key>
|
|
|
319 <dict>
|
|
|
320 <key>Animate</key>
|
|
|
321 <string>NO</string>
|
|
|
322 <key>circoMinDist</key>
|
|
|
323 <real>18</real>
|
|
|
324 <key>circoSeparation</key>
|
|
|
325 <real>0.0</real>
|
|
|
326 <key>layoutEngine</key>
|
|
|
327 <string>dot</string>
|
|
|
328 <key>neatoSeparation</key>
|
|
|
329 <real>0.0</real>
|
|
|
330 <key>twopiSeparation</key>
|
|
|
331 <real>0.0</real>
|
|
|
332 </dict>
|
|
|
333 <key>LinksVisible</key>
|
|
|
334 <string>NO</string>
|
|
|
335 <key>MagnetsVisible</key>
|
|
|
336 <string>NO</string>
|
|
|
337 <key>MasterSheets</key>
|
|
|
338 <array/>
|
|
|
339 <key>ModificationDate</key>
|
|
|
340 <string>2013-02-07 14:52:20 +0000</string>
|
|
|
341 <key>Modifier</key>
|
|
|
342 <string>shoshi</string>
|
|
|
343 <key>NotesVisible</key>
|
|
|
344 <string>NO</string>
|
|
|
345 <key>Orientation</key>
|
|
|
346 <integer>2</integer>
|
|
|
347 <key>OriginVisible</key>
|
|
|
348 <string>NO</string>
|
|
|
349 <key>PageBreaks</key>
|
|
|
350 <string>YES</string>
|
|
|
351 <key>PrintInfo</key>
|
|
|
352 <dict>
|
|
|
353 <key>NSBottomMargin</key>
|
|
|
354 <array>
|
|
|
355 <string>float</string>
|
|
|
356 <string>41</string>
|
|
|
357 </array>
|
|
|
358 <key>NSHorizonalPagination</key>
|
|
|
359 <array>
|
|
|
360 <string>coded</string>
|
|
|
361 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
|
|
|
362 </array>
|
|
|
363 <key>NSLeftMargin</key>
|
|
|
364 <array>
|
|
|
365 <string>float</string>
|
|
|
366 <string>18</string>
|
|
|
367 </array>
|
|
|
368 <key>NSPaperSize</key>
|
|
|
369 <array>
|
|
|
370 <string>size</string>
|
|
|
371 <string>{595, 842}</string>
|
|
|
372 </array>
|
|
|
373 <key>NSPrintReverseOrientation</key>
|
|
|
374 <array>
|
|
|
375 <string>int</string>
|
|
|
376 <string>0</string>
|
|
|
377 </array>
|
|
|
378 <key>NSRightMargin</key>
|
|
|
379 <array>
|
|
|
380 <string>float</string>
|
|
|
381 <string>18</string>
|
|
|
382 </array>
|
|
|
383 <key>NSTopMargin</key>
|
|
|
384 <array>
|
|
|
385 <string>float</string>
|
|
|
386 <string>18</string>
|
|
|
387 </array>
|
|
|
388 </dict>
|
|
|
389 <key>PrintOnePage</key>
|
|
|
390 <false/>
|
|
|
391 <key>ReadOnly</key>
|
|
|
392 <string>NO</string>
|
|
|
393 <key>RowAlign</key>
|
|
|
394 <integer>1</integer>
|
|
|
395 <key>RowSpacing</key>
|
|
|
396 <real>36</real>
|
|
|
397 <key>SheetTitle</key>
|
|
|
398 <string>キャンバス 1</string>
|
|
|
399 <key>SmartAlignmentGuidesActive</key>
|
|
|
400 <string>YES</string>
|
|
|
401 <key>SmartDistanceGuidesActive</key>
|
|
|
402 <string>YES</string>
|
|
|
403 <key>UniqueID</key>
|
|
|
404 <integer>1</integer>
|
|
|
405 <key>UseEntirePage</key>
|
|
|
406 <false/>
|
|
|
407 <key>VPages</key>
|
|
|
408 <integer>1</integer>
|
|
|
409 <key>WindowInfo</key>
|
|
|
410 <dict>
|
|
|
411 <key>CurrentSheet</key>
|
|
|
412 <integer>0</integer>
|
|
|
413 <key>ExpandedCanvases</key>
|
|
|
414 <array/>
|
|
|
415 <key>Frame</key>
|
|
|
416 <string>{{-1574, 320}, {693, 922}}</string>
|
|
|
417 <key>ListView</key>
|
|
|
418 <true/>
|
|
|
419 <key>OutlineWidth</key>
|
|
|
420 <integer>142</integer>
|
|
|
421 <key>RightSidebar</key>
|
|
|
422 <false/>
|
|
|
423 <key>ShowRuler</key>
|
|
|
424 <true/>
|
|
|
425 <key>Sidebar</key>
|
|
|
426 <true/>
|
|
|
427 <key>SidebarWidth</key>
|
|
|
428 <integer>120</integer>
|
|
|
429 <key>VisibleRegion</key>
|
|
|
430 <string>{{0, 0}, {558, 783}}</string>
|
|
|
431 <key>Zoom</key>
|
|
|
432 <real>1</real>
|
|
|
433 <key>ZoomValues</key>
|
|
|
434 <array>
|
|
|
435 <array>
|
|
|
436 <string>キャンバス 1</string>
|
|
|
437 <real>1</real>
|
|
|
438 <real>1</real>
|
|
|
439 </array>
|
|
|
440 </array>
|
|
|
441 </dict>
|
|
|
442 </dict>
|
|
|
443 </plist>
|
