| 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.18.0.187838</string>
|
|---|
| 11 | </array>
|
|---|
| 12 | <key>AutoAdjust</key>
|
|---|
| 13 | <true/>
|
|---|
| 14 | <key>BackgroundGraphic</key>
|
|---|
| 15 | <dict>
|
|---|
| 16 | <key>Bounds</key>
|
|---|
| 17 | <string>{{0, 0}, {756, 553.00002479553223}}</string>
|
|---|
| 18 | <key>Class</key>
|
|---|
| 19 | <string>SolidGraphic</string>
|
|---|
| 20 | <key>FontInfo</key>
|
|---|
| 21 | <dict>
|
|---|
| 22 | <key>Font</key>
|
|---|
| 23 | <string>Helvetica</string>
|
|---|
| 24 | <key>Size</key>
|
|---|
| 25 | <real>12</real>
|
|---|
| 26 | </dict>
|
|---|
| 27 | <key>ID</key>
|
|---|
| 28 | <integer>2</integer>
|
|---|
| 29 | <key>Style</key>
|
|---|
| 30 | <dict>
|
|---|
| 31 | <key>shadow</key>
|
|---|
| 32 | <dict>
|
|---|
| 33 | <key>Draws</key>
|
|---|
| 34 | <string>NO</string>
|
|---|
| 35 | </dict>
|
|---|
| 36 | <key>stroke</key>
|
|---|
| 37 | <dict>
|
|---|
| 38 | <key>Draws</key>
|
|---|
| 39 | <string>NO</string>
|
|---|
| 40 | </dict>
|
|---|
| 41 | </dict>
|
|---|
| 42 | </dict>
|
|---|
| 43 | <key>BaseZoom</key>
|
|---|
| 44 | <integer>0</integer>
|
|---|
| 45 | <key>CanvasOrigin</key>
|
|---|
| 46 | <string>{0, 0}</string>
|
|---|
| 47 | <key>ColumnAlign</key>
|
|---|
| 48 | <integer>1</integer>
|
|---|
| 49 | <key>ColumnSpacing</key>
|
|---|
| 50 | <real>36</real>
|
|---|
| 51 | <key>CreationDate</key>
|
|---|
| 52 | <string>2015-07-16 14:07:19 +0000</string>
|
|---|
| 53 | <key>Creator</key>
|
|---|
| 54 | <string>Manchun Zheng</string>
|
|---|
| 55 | <key>DisplayScale</key>
|
|---|
| 56 | <string>1 0/72 in = 1.0000 in</string>
|
|---|
| 57 | <key>GraphDocumentVersion</key>
|
|---|
| 58 | <integer>8</integer>
|
|---|
| 59 | <key>GraphicsList</key>
|
|---|
| 60 | <array>
|
|---|
| 61 | <dict>
|
|---|
| 62 | <key>Bounds</key>
|
|---|
| 63 | <string>{{149, 209.5}, {86, 35}}</string>
|
|---|
| 64 | <key>Class</key>
|
|---|
| 65 | <string>ShapedGraphic</string>
|
|---|
| 66 | <key>ID</key>
|
|---|
| 67 | <integer>111</integer>
|
|---|
| 68 | <key>Shape</key>
|
|---|
| 69 | <string>RoundRect</string>
|
|---|
| 70 | <key>Style</key>
|
|---|
| 71 | <dict>
|
|---|
| 72 | <key>shadow</key>
|
|---|
| 73 | <dict>
|
|---|
| 74 | <key>Draws</key>
|
|---|
| 75 | <string>NO</string>
|
|---|
| 76 | </dict>
|
|---|
| 77 | </dict>
|
|---|
| 78 | <key>Text</key>
|
|---|
| 79 | <dict>
|
|---|
| 80 | <key>Align</key>
|
|---|
| 81 | <integer>0</integer>
|
|---|
| 82 | <key>Pad</key>
|
|---|
| 83 | <integer>0</integer>
|
|---|
| 84 | <key>Text</key>
|
|---|
| 85 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 86 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 87 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 88 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
|
|---|
| 89 |
|
|---|
| 90 | \f0\i\fs22 \cf0 Parser + Transformers}</string>
|
|---|
| 91 | </dict>
|
|---|
| 92 | </dict>
|
|---|
| 93 | <dict>
|
|---|
| 94 | <key>Class</key>
|
|---|
| 95 | <string>LineGraphic</string>
|
|---|
| 96 | <key>Head</key>
|
|---|
| 97 | <dict>
|
|---|
| 98 | <key>ID</key>
|
|---|
| 99 | <integer>108</integer>
|
|---|
| 100 | </dict>
|
|---|
| 101 | <key>ID</key>
|
|---|
| 102 | <integer>110</integer>
|
|---|
| 103 | <key>Points</key>
|
|---|
| 104 | <array>
|
|---|
| 105 | <string>{479.00000000000023, 200.9999832562483}</string>
|
|---|
| 106 | <string>{492.50000000000642, 200.9999832562483}</string>
|
|---|
| 107 | </array>
|
|---|
| 108 | <key>Style</key>
|
|---|
| 109 | <dict>
|
|---|
| 110 | <key>stroke</key>
|
|---|
| 111 | <dict>
|
|---|
| 112 | <key>HeadArrow</key>
|
|---|
| 113 | <string>FilledArrow</string>
|
|---|
| 114 | <key>HeadScale</key>
|
|---|
| 115 | <real>0.5</real>
|
|---|
| 116 | <key>Legacy</key>
|
|---|
| 117 | <true/>
|
|---|
| 118 | <key>LineType</key>
|
|---|
| 119 | <integer>1</integer>
|
|---|
| 120 | <key>TailArrow</key>
|
|---|
| 121 | <string>0</string>
|
|---|
| 122 | </dict>
|
|---|
| 123 | </dict>
|
|---|
| 124 | <key>Tail</key>
|
|---|
| 125 | <dict>
|
|---|
| 126 | <key>ID</key>
|
|---|
| 127 | <integer>107</integer>
|
|---|
| 128 | </dict>
|
|---|
| 129 | </dict>
|
|---|
| 130 | <dict>
|
|---|
| 131 | <key>Class</key>
|
|---|
| 132 | <string>LineGraphic</string>
|
|---|
| 133 | <key>Head</key>
|
|---|
| 134 | <dict>
|
|---|
| 135 | <key>ID</key>
|
|---|
| 136 | <integer>107</integer>
|
|---|
| 137 | </dict>
|
|---|
| 138 | <key>ID</key>
|
|---|
| 139 | <integer>109</integer>
|
|---|
| 140 | <key>Points</key>
|
|---|
| 141 | <array>
|
|---|
| 142 | <string>{398.99999999999613, 200.99998355859162}</string>
|
|---|
| 143 | <string>{412.99999999999989, 200.99998355859162}</string>
|
|---|
| 144 | </array>
|
|---|
| 145 | <key>Style</key>
|
|---|
| 146 | <dict>
|
|---|
| 147 | <key>stroke</key>
|
|---|
| 148 | <dict>
|
|---|
| 149 | <key>HeadArrow</key>
|
|---|
| 150 | <string>FilledArrow</string>
|
|---|
| 151 | <key>HeadScale</key>
|
|---|
| 152 | <real>0.5</real>
|
|---|
| 153 | <key>Legacy</key>
|
|---|
| 154 | <true/>
|
|---|
| 155 | <key>LineType</key>
|
|---|
| 156 | <integer>1</integer>
|
|---|
| 157 | <key>TailArrow</key>
|
|---|
| 158 | <string>0</string>
|
|---|
| 159 | </dict>
|
|---|
| 160 | </dict>
|
|---|
| 161 | <key>Tail</key>
|
|---|
| 162 | <dict>
|
|---|
| 163 | <key>ID</key>
|
|---|
| 164 | <integer>102</integer>
|
|---|
| 165 | </dict>
|
|---|
| 166 | </dict>
|
|---|
| 167 | <dict>
|
|---|
| 168 | <key>Bounds</key>
|
|---|
| 169 | <string>{{493, 183.5}, {86, 35}}</string>
|
|---|
| 170 | <key>Class</key>
|
|---|
| 171 | <string>ShapedGraphic</string>
|
|---|
| 172 | <key>ID</key>
|
|---|
| 173 | <integer>108</integer>
|
|---|
| 174 | <key>Shape</key>
|
|---|
| 175 | <string>RoundRect</string>
|
|---|
| 176 | <key>Style</key>
|
|---|
| 177 | <dict>
|
|---|
| 178 | <key>shadow</key>
|
|---|
| 179 | <dict>
|
|---|
| 180 | <key>Draws</key>
|
|---|
| 181 | <string>NO</string>
|
|---|
| 182 | </dict>
|
|---|
| 183 | </dict>
|
|---|
| 184 | <key>Text</key>
|
|---|
| 185 | <dict>
|
|---|
| 186 | <key>Align</key>
|
|---|
| 187 | <integer>0</integer>
|
|---|
| 188 | <key>Pad</key>
|
|---|
| 189 | <integer>0</integer>
|
|---|
| 190 | <key>Text</key>
|
|---|
| 191 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 192 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 193 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 194 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
|
|---|
| 195 |
|
|---|
| 196 | \f0\i\fs22 \cf0 Model builder + Verifier}</string>
|
|---|
| 197 | </dict>
|
|---|
| 198 | </dict>
|
|---|
| 199 | <dict>
|
|---|
| 200 | <key>Bounds</key>
|
|---|
| 201 | <string>{{413.5, 177.5}, {65, 47}}</string>
|
|---|
| 202 | <key>Class</key>
|
|---|
| 203 | <string>ShapedGraphic</string>
|
|---|
| 204 | <key>FontInfo</key>
|
|---|
| 205 | <dict>
|
|---|
| 206 | <key>Font</key>
|
|---|
| 207 | <string>Helvetica-Bold</string>
|
|---|
| 208 | <key>Size</key>
|
|---|
| 209 | <real>12</real>
|
|---|
| 210 | </dict>
|
|---|
| 211 | <key>ID</key>
|
|---|
| 212 | <integer>107</integer>
|
|---|
| 213 | <key>Shape</key>
|
|---|
| 214 | <string>Rectangle</string>
|
|---|
| 215 | <key>Style</key>
|
|---|
| 216 | <dict>
|
|---|
| 217 | <key>fill</key>
|
|---|
| 218 | <dict>
|
|---|
| 219 | <key>Color</key>
|
|---|
| 220 | <dict>
|
|---|
| 221 | <key>b</key>
|
|---|
| 222 | <string>0.901961</string>
|
|---|
| 223 | <key>g</key>
|
|---|
| 224 | <string>0.901961</string>
|
|---|
| 225 | <key>r</key>
|
|---|
| 226 | <string>0.901961</string>
|
|---|
| 227 | </dict>
|
|---|
| 228 | </dict>
|
|---|
| 229 | <key>shadow</key>
|
|---|
| 230 | <dict>
|
|---|
| 231 | <key>Draws</key>
|
|---|
| 232 | <string>NO</string>
|
|---|
| 233 | </dict>
|
|---|
| 234 | </dict>
|
|---|
| 235 | <key>Text</key>
|
|---|
| 236 | <dict>
|
|---|
| 237 | <key>Text</key>
|
|---|
| 238 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 239 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 240 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 241 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 242 |
|
|---|
| 243 | \f0\fs20 \cf0 CIVL
|
|---|
| 244 | \b AST\
|
|---|
| 245 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 246 |
|
|---|
| 247 | \b0\fs24 \cf0 spec-impl}</string>
|
|---|
| 248 | </dict>
|
|---|
| 249 | </dict>
|
|---|
| 250 | <dict>
|
|---|
| 251 | <key>Class</key>
|
|---|
| 252 | <string>LineGraphic</string>
|
|---|
| 253 | <key>Head</key>
|
|---|
| 254 | <dict>
|
|---|
| 255 | <key>ID</key>
|
|---|
| 256 | <integer>102</integer>
|
|---|
| 257 | </dict>
|
|---|
| 258 | <key>ID</key>
|
|---|
| 259 | <integer>106</integer>
|
|---|
| 260 | <key>Points</key>
|
|---|
| 261 | <array>
|
|---|
| 262 | <string>{307.97648202106262, 217.14815250742407}</string>
|
|---|
| 263 | <string>{321.56700910070685, 212.8257830388273}</string>
|
|---|
| 264 | </array>
|
|---|
| 265 | <key>Style</key>
|
|---|
| 266 | <dict>
|
|---|
| 267 | <key>stroke</key>
|
|---|
| 268 | <dict>
|
|---|
| 269 | <key>HeadArrow</key>
|
|---|
| 270 | <string>FilledArrow</string>
|
|---|
| 271 | <key>HeadScale</key>
|
|---|
| 272 | <real>0.5</real>
|
|---|
| 273 | <key>Legacy</key>
|
|---|
| 274 | <true/>
|
|---|
| 275 | <key>LineType</key>
|
|---|
| 276 | <integer>1</integer>
|
|---|
| 277 | <key>TailArrow</key>
|
|---|
| 278 | <string>0</string>
|
|---|
| 279 | </dict>
|
|---|
| 280 | </dict>
|
|---|
| 281 | <key>Tail</key>
|
|---|
| 282 | <dict>
|
|---|
| 283 | <key>ID</key>
|
|---|
| 284 | <integer>95</integer>
|
|---|
| 285 | </dict>
|
|---|
| 286 | </dict>
|
|---|
| 287 | <dict>
|
|---|
| 288 | <key>Class</key>
|
|---|
| 289 | <string>LineGraphic</string>
|
|---|
| 290 | <key>Head</key>
|
|---|
| 291 | <dict>
|
|---|
| 292 | <key>ID</key>
|
|---|
| 293 | <integer>102</integer>
|
|---|
| 294 | </dict>
|
|---|
| 295 | <key>ID</key>
|
|---|
| 296 | <integer>105</integer>
|
|---|
| 297 | <key>Points</key>
|
|---|
| 298 | <array>
|
|---|
| 299 | <string>{307.97648203131149, 184.8518474958355}</string>
|
|---|
| 300 | <string>{321.56701031209639, 189.17421734644643}</string>
|
|---|
| 301 | </array>
|
|---|
| 302 | <key>Style</key>
|
|---|
| 303 | <dict>
|
|---|
| 304 | <key>stroke</key>
|
|---|
| 305 | <dict>
|
|---|
| 306 | <key>HeadArrow</key>
|
|---|
| 307 | <string>FilledArrow</string>
|
|---|
| 308 | <key>HeadScale</key>
|
|---|
| 309 | <real>0.5</real>
|
|---|
| 310 | <key>Legacy</key>
|
|---|
| 311 | <true/>
|
|---|
| 312 | <key>LineType</key>
|
|---|
| 313 | <integer>1</integer>
|
|---|
| 314 | <key>TailArrow</key>
|
|---|
| 315 | <string>0</string>
|
|---|
| 316 | </dict>
|
|---|
| 317 | </dict>
|
|---|
| 318 | <key>Tail</key>
|
|---|
| 319 | <dict>
|
|---|
| 320 | <key>ID</key>
|
|---|
| 321 | <integer>94</integer>
|
|---|
| 322 | </dict>
|
|---|
| 323 | </dict>
|
|---|
| 324 | <dict>
|
|---|
| 325 | <key>Bounds</key>
|
|---|
| 326 | <string>{{319, 183.5}, {79.5, 35}}</string>
|
|---|
| 327 | <key>Class</key>
|
|---|
| 328 | <string>ShapedGraphic</string>
|
|---|
| 329 | <key>ID</key>
|
|---|
| 330 | <integer>102</integer>
|
|---|
| 331 | <key>Shape</key>
|
|---|
| 332 | <string>RoundRect</string>
|
|---|
| 333 | <key>Style</key>
|
|---|
| 334 | <dict>
|
|---|
| 335 | <key>fill</key>
|
|---|
| 336 | <dict>
|
|---|
| 337 | <key>Color</key>
|
|---|
| 338 | <dict>
|
|---|
| 339 | <key>b</key>
|
|---|
| 340 | <string>0.679018</string>
|
|---|
| 341 | <key>g</key>
|
|---|
| 342 | <string>0.909892</string>
|
|---|
| 343 | <key>r</key>
|
|---|
| 344 | <string>1</string>
|
|---|
| 345 | </dict>
|
|---|
| 346 | </dict>
|
|---|
| 347 | <key>shadow</key>
|
|---|
| 348 | <dict>
|
|---|
| 349 | <key>Draws</key>
|
|---|
| 350 | <string>NO</string>
|
|---|
| 351 | </dict>
|
|---|
| 352 | </dict>
|
|---|
| 353 | <key>Text</key>
|
|---|
| 354 | <dict>
|
|---|
| 355 | <key>Text</key>
|
|---|
| 356 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 357 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 358 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 359 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 360 |
|
|---|
| 361 | \f0\fs24 \cf0 Compare Combiner}</string>
|
|---|
| 362 | </dict>
|
|---|
| 363 | </dict>
|
|---|
| 364 | <dict>
|
|---|
| 365 | <key>Class</key>
|
|---|
| 366 | <string>LineGraphic</string>
|
|---|
| 367 | <key>Head</key>
|
|---|
| 368 | <dict>
|
|---|
| 369 | <key>ID</key>
|
|---|
| 370 | <integer>95</integer>
|
|---|
| 371 | </dict>
|
|---|
| 372 | <key>ID</key>
|
|---|
| 373 | <integer>101</integer>
|
|---|
| 374 | <key>Points</key>
|
|---|
| 375 | <array>
|
|---|
| 376 | <string>{235.49999999999523, 226.9999823918715}</string>
|
|---|
| 377 | <string>{245.99999999999977, 226.9999823918715}</string>
|
|---|
| 378 | </array>
|
|---|
| 379 | <key>Style</key>
|
|---|
| 380 | <dict>
|
|---|
| 381 | <key>stroke</key>
|
|---|
| 382 | <dict>
|
|---|
| 383 | <key>HeadArrow</key>
|
|---|
| 384 | <string>FilledArrow</string>
|
|---|
| 385 | <key>HeadScale</key>
|
|---|
| 386 | <real>0.5</real>
|
|---|
| 387 | <key>Legacy</key>
|
|---|
| 388 | <true/>
|
|---|
| 389 | <key>LineType</key>
|
|---|
| 390 | <integer>1</integer>
|
|---|
| 391 | <key>TailArrow</key>
|
|---|
| 392 | <string>0</string>
|
|---|
| 393 | </dict>
|
|---|
| 394 | </dict>
|
|---|
| 395 | <key>Tail</key>
|
|---|
| 396 | <dict>
|
|---|
| 397 | <key>ID</key>
|
|---|
| 398 | <integer>111</integer>
|
|---|
| 399 | </dict>
|
|---|
| 400 | </dict>
|
|---|
| 401 | <dict>
|
|---|
| 402 | <key>Class</key>
|
|---|
| 403 | <string>LineGraphic</string>
|
|---|
| 404 | <key>Head</key>
|
|---|
| 405 | <dict>
|
|---|
| 406 | <key>ID</key>
|
|---|
| 407 | <integer>94</integer>
|
|---|
| 408 | </dict>
|
|---|
| 409 | <key>ID</key>
|
|---|
| 410 | <integer>100</integer>
|
|---|
| 411 | <key>Points</key>
|
|---|
| 412 | <array>
|
|---|
| 413 | <string>{235.49851133149286, 175.27061662019963}</string>
|
|---|
| 414 | <string>{246.00002935089518, 175.33594955289976}</string>
|
|---|
| 415 | </array>
|
|---|
| 416 | <key>Style</key>
|
|---|
| 417 | <dict>
|
|---|
| 418 | <key>stroke</key>
|
|---|
| 419 | <dict>
|
|---|
| 420 | <key>HeadArrow</key>
|
|---|
| 421 | <string>FilledArrow</string>
|
|---|
| 422 | <key>HeadScale</key>
|
|---|
| 423 | <real>0.5</real>
|
|---|
| 424 | <key>Legacy</key>
|
|---|
| 425 | <true/>
|
|---|
| 426 | <key>LineType</key>
|
|---|
| 427 | <integer>1</integer>
|
|---|
| 428 | <key>TailArrow</key>
|
|---|
| 429 | <string>0</string>
|
|---|
| 430 | </dict>
|
|---|
| 431 | </dict>
|
|---|
| 432 | <key>Tail</key>
|
|---|
| 433 | <dict>
|
|---|
| 434 | <key>ID</key>
|
|---|
| 435 | <integer>80</integer>
|
|---|
| 436 | </dict>
|
|---|
| 437 | </dict>
|
|---|
| 438 | <dict>
|
|---|
| 439 | <key>Class</key>
|
|---|
| 440 | <string>LineGraphic</string>
|
|---|
| 441 | <key>Head</key>
|
|---|
| 442 | <dict>
|
|---|
| 443 | <key>ID</key>
|
|---|
| 444 | <integer>111</integer>
|
|---|
| 445 | </dict>
|
|---|
| 446 | <key>ID</key>
|
|---|
| 447 | <integer>99</integer>
|
|---|
| 448 | <key>Points</key>
|
|---|
| 449 | <array>
|
|---|
| 450 | <string>{136.49968491881725, 228.54989089900792}</string>
|
|---|
| 451 | <string>{148.5257292897106, 228.12274365445543}</string>
|
|---|
| 452 | </array>
|
|---|
| 453 | <key>Style</key>
|
|---|
| 454 | <dict>
|
|---|
| 455 | <key>stroke</key>
|
|---|
| 456 | <dict>
|
|---|
| 457 | <key>HeadArrow</key>
|
|---|
| 458 | <string>FilledArrow</string>
|
|---|
| 459 | <key>HeadScale</key>
|
|---|
| 460 | <real>0.5</real>
|
|---|
| 461 | <key>Legacy</key>
|
|---|
| 462 | <true/>
|
|---|
| 463 | <key>LineType</key>
|
|---|
| 464 | <integer>1</integer>
|
|---|
| 465 | <key>TailArrow</key>
|
|---|
| 466 | <string>0</string>
|
|---|
| 467 | </dict>
|
|---|
| 468 | </dict>
|
|---|
| 469 | <key>Tail</key>
|
|---|
| 470 | <dict>
|
|---|
| 471 | <key>ID</key>
|
|---|
| 472 | <integer>74</integer>
|
|---|
| 473 | </dict>
|
|---|
| 474 | </dict>
|
|---|
| 475 | <dict>
|
|---|
| 476 | <key>Class</key>
|
|---|
| 477 | <string>LineGraphic</string>
|
|---|
| 478 | <key>Head</key>
|
|---|
| 479 | <dict>
|
|---|
| 480 | <key>ID</key>
|
|---|
| 481 | <integer>80</integer>
|
|---|
| 482 | </dict>
|
|---|
| 483 | <key>ID</key>
|
|---|
| 484 | <integer>98</integer>
|
|---|
| 485 | <key>Points</key>
|
|---|
| 486 | <array>
|
|---|
| 487 | <string>{136.49959479097978, 173.57756660021298}</string>
|
|---|
| 488 | <string>{148.51795273287831, 174.06170780716542}</string>
|
|---|
| 489 | </array>
|
|---|
| 490 | <key>Style</key>
|
|---|
| 491 | <dict>
|
|---|
| 492 | <key>stroke</key>
|
|---|
| 493 | <dict>
|
|---|
| 494 | <key>HeadArrow</key>
|
|---|
| 495 | <string>FilledArrow</string>
|
|---|
| 496 | <key>HeadScale</key>
|
|---|
| 497 | <real>0.5</real>
|
|---|
| 498 | <key>Legacy</key>
|
|---|
| 499 | <true/>
|
|---|
| 500 | <key>LineType</key>
|
|---|
| 501 | <integer>1</integer>
|
|---|
| 502 | <key>TailArrow</key>
|
|---|
| 503 | <string>0</string>
|
|---|
| 504 | </dict>
|
|---|
| 505 | </dict>
|
|---|
| 506 | <key>Tail</key>
|
|---|
| 507 | <dict>
|
|---|
| 508 | <key>ID</key>
|
|---|
| 509 | <integer>73</integer>
|
|---|
| 510 | </dict>
|
|---|
| 511 | </dict>
|
|---|
| 512 | <dict>
|
|---|
| 513 | <key>Bounds</key>
|
|---|
| 514 | <string>{{246.5, 209.5}, {61, 35}}</string>
|
|---|
| 515 | <key>Class</key>
|
|---|
| 516 | <string>ShapedGraphic</string>
|
|---|
| 517 | <key>FontInfo</key>
|
|---|
| 518 | <dict>
|
|---|
| 519 | <key>Font</key>
|
|---|
| 520 | <string>Helvetica-Bold</string>
|
|---|
| 521 | <key>Size</key>
|
|---|
| 522 | <real>12</real>
|
|---|
| 523 | </dict>
|
|---|
| 524 | <key>ID</key>
|
|---|
| 525 | <integer>95</integer>
|
|---|
| 526 | <key>Shape</key>
|
|---|
| 527 | <string>Rectangle</string>
|
|---|
| 528 | <key>Style</key>
|
|---|
| 529 | <dict>
|
|---|
| 530 | <key>fill</key>
|
|---|
| 531 | <dict>
|
|---|
| 532 | <key>Color</key>
|
|---|
| 533 | <dict>
|
|---|
| 534 | <key>b</key>
|
|---|
| 535 | <string>0.901961</string>
|
|---|
| 536 | <key>g</key>
|
|---|
| 537 | <string>0.901961</string>
|
|---|
| 538 | <key>r</key>
|
|---|
| 539 | <string>0.901961</string>
|
|---|
| 540 | </dict>
|
|---|
| 541 | </dict>
|
|---|
| 542 | <key>shadow</key>
|
|---|
| 543 | <dict>
|
|---|
| 544 | <key>Draws</key>
|
|---|
| 545 | <string>NO</string>
|
|---|
| 546 | </dict>
|
|---|
| 547 | </dict>
|
|---|
| 548 | <key>Text</key>
|
|---|
| 549 | <dict>
|
|---|
| 550 | <key>Text</key>
|
|---|
| 551 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 552 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 553 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 554 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 555 |
|
|---|
| 556 | \f0\fs20 \cf0 CIVL
|
|---|
| 557 | \b AST\
|
|---|
| 558 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 559 |
|
|---|
| 560 | \b0\fs24 \cf0 impl}</string>
|
|---|
| 561 | </dict>
|
|---|
| 562 | </dict>
|
|---|
| 563 | <dict>
|
|---|
| 564 | <key>Bounds</key>
|
|---|
| 565 | <string>{{246.5, 157.5}, {61, 35}}</string>
|
|---|
| 566 | <key>Class</key>
|
|---|
| 567 | <string>ShapedGraphic</string>
|
|---|
| 568 | <key>FontInfo</key>
|
|---|
| 569 | <dict>
|
|---|
| 570 | <key>Font</key>
|
|---|
| 571 | <string>Helvetica-Bold</string>
|
|---|
| 572 | <key>Size</key>
|
|---|
| 573 | <real>12</real>
|
|---|
| 574 | </dict>
|
|---|
| 575 | <key>ID</key>
|
|---|
| 576 | <integer>94</integer>
|
|---|
| 577 | <key>Shape</key>
|
|---|
| 578 | <string>Rectangle</string>
|
|---|
| 579 | <key>Style</key>
|
|---|
| 580 | <dict>
|
|---|
| 581 | <key>fill</key>
|
|---|
| 582 | <dict>
|
|---|
| 583 | <key>Color</key>
|
|---|
| 584 | <dict>
|
|---|
| 585 | <key>b</key>
|
|---|
| 586 | <string>0.901961</string>
|
|---|
| 587 | <key>g</key>
|
|---|
| 588 | <string>0.901961</string>
|
|---|
| 589 | <key>r</key>
|
|---|
| 590 | <string>0.901961</string>
|
|---|
| 591 | </dict>
|
|---|
| 592 | </dict>
|
|---|
| 593 | <key>shadow</key>
|
|---|
| 594 | <dict>
|
|---|
| 595 | <key>Draws</key>
|
|---|
| 596 | <string>NO</string>
|
|---|
| 597 | </dict>
|
|---|
| 598 | </dict>
|
|---|
| 599 | <key>Text</key>
|
|---|
| 600 | <dict>
|
|---|
| 601 | <key>Text</key>
|
|---|
| 602 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 603 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 604 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 605 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 606 |
|
|---|
| 607 | \f0\fs20 \cf0 CIVL
|
|---|
| 608 | \b AST\
|
|---|
| 609 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 610 |
|
|---|
| 611 | \b0\fs24 \cf0 spec}</string>
|
|---|
| 612 | </dict>
|
|---|
| 613 | </dict>
|
|---|
| 614 | <dict>
|
|---|
| 615 | <key>Bounds</key>
|
|---|
| 616 | <string>{{149, 157.5}, {86, 35}}</string>
|
|---|
| 617 | <key>Class</key>
|
|---|
| 618 | <string>ShapedGraphic</string>
|
|---|
| 619 | <key>ID</key>
|
|---|
| 620 | <integer>80</integer>
|
|---|
| 621 | <key>Shape</key>
|
|---|
| 622 | <string>RoundRect</string>
|
|---|
| 623 | <key>Style</key>
|
|---|
| 624 | <dict>
|
|---|
| 625 | <key>shadow</key>
|
|---|
| 626 | <dict>
|
|---|
| 627 | <key>Draws</key>
|
|---|
| 628 | <string>NO</string>
|
|---|
| 629 | </dict>
|
|---|
| 630 | </dict>
|
|---|
| 631 | <key>Text</key>
|
|---|
| 632 | <dict>
|
|---|
| 633 | <key>Align</key>
|
|---|
| 634 | <integer>0</integer>
|
|---|
| 635 | <key>Pad</key>
|
|---|
| 636 | <integer>0</integer>
|
|---|
| 637 | <key>Text</key>
|
|---|
| 638 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 639 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 640 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 641 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
|
|---|
| 642 |
|
|---|
| 643 | \f0\i\fs22 \cf0 Parser + Transformers}</string>
|
|---|
| 644 | </dict>
|
|---|
| 645 | </dict>
|
|---|
| 646 | <dict>
|
|---|
| 647 | <key>Bounds</key>
|
|---|
| 648 | <string>{{83.5, 212}, {52.5, 35}}</string>
|
|---|
| 649 | <key>Class</key>
|
|---|
| 650 | <string>ShapedGraphic</string>
|
|---|
| 651 | <key>ID</key>
|
|---|
| 652 | <integer>74</integer>
|
|---|
| 653 | <key>Shape</key>
|
|---|
| 654 | <string>NoteShape</string>
|
|---|
| 655 | <key>Style</key>
|
|---|
| 656 | <dict>
|
|---|
| 657 | <key>fill</key>
|
|---|
| 658 | <dict>
|
|---|
| 659 | <key>Color</key>
|
|---|
| 660 | <dict>
|
|---|
| 661 | <key>b</key>
|
|---|
| 662 | <string>0.901961</string>
|
|---|
| 663 | <key>g</key>
|
|---|
| 664 | <string>0.901961</string>
|
|---|
| 665 | <key>r</key>
|
|---|
| 666 | <string>0.901961</string>
|
|---|
| 667 | </dict>
|
|---|
| 668 | </dict>
|
|---|
| 669 | <key>shadow</key>
|
|---|
| 670 | <dict>
|
|---|
| 671 | <key>Draws</key>
|
|---|
| 672 | <string>NO</string>
|
|---|
| 673 | </dict>
|
|---|
| 674 | </dict>
|
|---|
| 675 | <key>Text</key>
|
|---|
| 676 | <dict>
|
|---|
| 677 | <key>Text</key>
|
|---|
| 678 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 679 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 680 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 681 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 682 |
|
|---|
| 683 | \f0\b\fs20 \cf0 source
|
|---|
| 684 | \fs24 \
|
|---|
| 685 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 686 |
|
|---|
| 687 | \b0 \cf0 impl}</string>
|
|---|
| 688 | </dict>
|
|---|
| 689 | </dict>
|
|---|
| 690 | <dict>
|
|---|
| 691 | <key>Bounds</key>
|
|---|
| 692 | <string>{{83.5, 155}, {52.5, 35}}</string>
|
|---|
| 693 | <key>Class</key>
|
|---|
| 694 | <string>ShapedGraphic</string>
|
|---|
| 695 | <key>ID</key>
|
|---|
| 696 | <integer>73</integer>
|
|---|
| 697 | <key>Shape</key>
|
|---|
| 698 | <string>NoteShape</string>
|
|---|
| 699 | <key>Style</key>
|
|---|
| 700 | <dict>
|
|---|
| 701 | <key>fill</key>
|
|---|
| 702 | <dict>
|
|---|
| 703 | <key>Color</key>
|
|---|
| 704 | <dict>
|
|---|
| 705 | <key>b</key>
|
|---|
| 706 | <string>0.901961</string>
|
|---|
| 707 | <key>g</key>
|
|---|
| 708 | <string>0.901961</string>
|
|---|
| 709 | <key>r</key>
|
|---|
| 710 | <string>0.901961</string>
|
|---|
| 711 | </dict>
|
|---|
| 712 | </dict>
|
|---|
| 713 | <key>shadow</key>
|
|---|
| 714 | <dict>
|
|---|
| 715 | <key>Draws</key>
|
|---|
| 716 | <string>NO</string>
|
|---|
| 717 | </dict>
|
|---|
| 718 | </dict>
|
|---|
| 719 | <key>Text</key>
|
|---|
| 720 | <dict>
|
|---|
| 721 | <key>Text</key>
|
|---|
| 722 | <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
|
|---|
| 723 | \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
|
|---|
| 724 | {\colortbl;\red255\green255\blue255;}
|
|---|
| 725 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 726 |
|
|---|
| 727 | \f0\b\fs20 \cf0 source
|
|---|
| 728 | \fs24 \
|
|---|
| 729 | \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
|
|---|
| 730 |
|
|---|
| 731 | \b0 \cf0 spec}</string>
|
|---|
| 732 | </dict>
|
|---|
| 733 | </dict>
|
|---|
| 734 | </array>
|
|---|
| 735 | <key>GridInfo</key>
|
|---|
| 736 | <dict/>
|
|---|
| 737 | <key>GuidesLocked</key>
|
|---|
| 738 | <string>NO</string>
|
|---|
| 739 | <key>GuidesVisible</key>
|
|---|
| 740 | <string>YES</string>
|
|---|
| 741 | <key>HPages</key>
|
|---|
| 742 | <integer>1</integer>
|
|---|
| 743 | <key>ImageCounter</key>
|
|---|
| 744 | <integer>1</integer>
|
|---|
| 745 | <key>KeepToScale</key>
|
|---|
| 746 | <false/>
|
|---|
| 747 | <key>Layers</key>
|
|---|
| 748 | <array>
|
|---|
| 749 | <dict>
|
|---|
| 750 | <key>Lock</key>
|
|---|
| 751 | <string>NO</string>
|
|---|
| 752 | <key>Name</key>
|
|---|
| 753 | <string>Layer 1</string>
|
|---|
| 754 | <key>Print</key>
|
|---|
| 755 | <string>YES</string>
|
|---|
| 756 | <key>View</key>
|
|---|
| 757 | <string>YES</string>
|
|---|
| 758 | </dict>
|
|---|
| 759 | </array>
|
|---|
| 760 | <key>LayoutInfo</key>
|
|---|
| 761 | <dict>
|
|---|
| 762 | <key>Animate</key>
|
|---|
| 763 | <string>NO</string>
|
|---|
| 764 | <key>circoMinDist</key>
|
|---|
| 765 | <real>18</real>
|
|---|
| 766 | <key>circoSeparation</key>
|
|---|
| 767 | <real>0.0</real>
|
|---|
| 768 | <key>layoutEngine</key>
|
|---|
| 769 | <string>dot</string>
|
|---|
| 770 | <key>neatoSeparation</key>
|
|---|
| 771 | <real>0.0</real>
|
|---|
| 772 | <key>twopiSeparation</key>
|
|---|
| 773 | <real>0.0</real>
|
|---|
| 774 | </dict>
|
|---|
| 775 | <key>LinksVisible</key>
|
|---|
| 776 | <string>NO</string>
|
|---|
| 777 | <key>MagnetsVisible</key>
|
|---|
| 778 | <string>NO</string>
|
|---|
| 779 | <key>MasterSheets</key>
|
|---|
| 780 | <array/>
|
|---|
| 781 | <key>ModificationDate</key>
|
|---|
| 782 | <string>2015-07-22 17:53:32 +0000</string>
|
|---|
| 783 | <key>Modifier</key>
|
|---|
| 784 | <string>Manchun Zheng</string>
|
|---|
| 785 | <key>NotesVisible</key>
|
|---|
| 786 | <string>NO</string>
|
|---|
| 787 | <key>Orientation</key>
|
|---|
| 788 | <integer>2</integer>
|
|---|
| 789 | <key>OriginVisible</key>
|
|---|
| 790 | <string>NO</string>
|
|---|
| 791 | <key>PageBreaks</key>
|
|---|
| 792 | <string>YES</string>
|
|---|
| 793 | <key>PrintInfo</key>
|
|---|
| 794 | <dict>
|
|---|
| 795 | <key>NSBottomMargin</key>
|
|---|
| 796 | <array>
|
|---|
| 797 | <string>float</string>
|
|---|
| 798 | <string>41</string>
|
|---|
| 799 | </array>
|
|---|
| 800 | <key>NSHorizonalPagination</key>
|
|---|
| 801 | <array>
|
|---|
| 802 | <string>coded</string>
|
|---|
| 803 | <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
|
|---|
| 804 | </array>
|
|---|
| 805 | <key>NSLeftMargin</key>
|
|---|
| 806 | <array>
|
|---|
| 807 | <string>float</string>
|
|---|
| 808 | <string>18</string>
|
|---|
| 809 | </array>
|
|---|
| 810 | <key>NSOrientation</key>
|
|---|
| 811 | <array>
|
|---|
| 812 | <string>coded</string>
|
|---|
| 813 | <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG</string>
|
|---|
| 814 | </array>
|
|---|
| 815 | <key>NSPaperSize</key>
|
|---|
| 816 | <array>
|
|---|
| 817 | <string>size</string>
|
|---|
| 818 | <string>{792, 612.00002479553223}</string>
|
|---|
| 819 | </array>
|
|---|
| 820 | <key>NSPrintReverseOrientation</key>
|
|---|
| 821 | <array>
|
|---|
| 822 | <string>int</string>
|
|---|
| 823 | <string>0</string>
|
|---|
| 824 | </array>
|
|---|
| 825 | <key>NSRightMargin</key>
|
|---|
| 826 | <array>
|
|---|
| 827 | <string>float</string>
|
|---|
| 828 | <string>18</string>
|
|---|
| 829 | </array>
|
|---|
| 830 | <key>NSTopMargin</key>
|
|---|
| 831 | <array>
|
|---|
| 832 | <string>float</string>
|
|---|
| 833 | <string>18</string>
|
|---|
| 834 | </array>
|
|---|
| 835 | </dict>
|
|---|
| 836 | <key>PrintOnePage</key>
|
|---|
| 837 | <false/>
|
|---|
| 838 | <key>ReadOnly</key>
|
|---|
| 839 | <string>NO</string>
|
|---|
| 840 | <key>RowAlign</key>
|
|---|
| 841 | <integer>1</integer>
|
|---|
| 842 | <key>RowSpacing</key>
|
|---|
| 843 | <real>36</real>
|
|---|
| 844 | <key>SheetTitle</key>
|
|---|
| 845 | <string>Canvas 1</string>
|
|---|
| 846 | <key>SmartAlignmentGuidesActive</key>
|
|---|
| 847 | <string>YES</string>
|
|---|
| 848 | <key>SmartDistanceGuidesActive</key>
|
|---|
| 849 | <string>YES</string>
|
|---|
| 850 | <key>UniqueID</key>
|
|---|
| 851 | <integer>1</integer>
|
|---|
| 852 | <key>UseEntirePage</key>
|
|---|
| 853 | <false/>
|
|---|
| 854 | <key>VPages</key>
|
|---|
| 855 | <integer>1</integer>
|
|---|
| 856 | <key>WindowInfo</key>
|
|---|
| 857 | <dict>
|
|---|
| 858 | <key>CurrentSheet</key>
|
|---|
| 859 | <integer>0</integer>
|
|---|
| 860 | <key>ExpandedCanvases</key>
|
|---|
| 861 | <array>
|
|---|
| 862 | <dict>
|
|---|
| 863 | <key>name</key>
|
|---|
| 864 | <string>Canvas 1</string>
|
|---|
| 865 | </dict>
|
|---|
| 866 | </array>
|
|---|
| 867 | <key>Frame</key>
|
|---|
| 868 | <string>{{728, 88}, {1646, 1247}}</string>
|
|---|
| 869 | <key>ListView</key>
|
|---|
| 870 | <true/>
|
|---|
| 871 | <key>OutlineWidth</key>
|
|---|
| 872 | <integer>142</integer>
|
|---|
| 873 | <key>RightSidebar</key>
|
|---|
| 874 | <true/>
|
|---|
| 875 | <key>ShowRuler</key>
|
|---|
| 876 | <true/>
|
|---|
| 877 | <key>Sidebar</key>
|
|---|
| 878 | <true/>
|
|---|
| 879 | <key>SidebarWidth</key>
|
|---|
| 880 | <integer>120</integer>
|
|---|
| 881 | <key>VisibleRegion</key>
|
|---|
| 882 | <string>{{0, 0}, {677, 546.5}}</string>
|
|---|
| 883 | <key>Zoom</key>
|
|---|
| 884 | <real>2</real>
|
|---|
| 885 | <key>ZoomValues</key>
|
|---|
| 886 | <array>
|
|---|
| 887 | <array>
|
|---|
| 888 | <string>Canvas 1</string>
|
|---|
| 889 | <real>2</real>
|
|---|
| 890 | <real>1</real>
|
|---|
| 891 | </array>
|
|---|
| 892 | </array>
|
|---|
| 893 | </dict>
|
|---|
| 894 | </dict>
|
|---|
| 895 | </plist>
|
|---|