| | 33 | |
| | 34 | * Schema Description |
| | 35 | {{{ |
| | 36 | Root Node |
| | 37 | Name: rootNode |
| | 38 | Type: RootNode |
| | 39 | |
| | 40 | Complex Type: ASTNode |
| | 41 | Sequence: Element: Name: id_ASTNode |
| | 42 | Type (id): integer |
| | 43 | Min Occurs: 1 Max Occurs: 1 |
| | 44 | Element: Name: source |
| | 45 | Type (leaf): Source |
| | 46 | Min Occurs: 0 Max Occurs: 1 |
| | 47 | |
| | 48 | Complex Type: ArrayTypeNode |
| | 49 | Sequence: Element: Name: id_ArrayTypeNode |
| | 50 | Type (id): integer |
| | 51 | Min Occurs: 1 Max Occurs: 1 |
| | 52 | Element: Name: source |
| | 53 | Type (leaf): Source |
| | 54 | Min Occurs: 0 Max Occurs: 1 |
| | 55 | Element: Name: elementType |
| | 56 | Type (node): TypeNode |
| | 57 | Min Occurs: 1 Max Occurs: 1 |
| | 58 | Element: Name: extent |
| | 59 | Type (node): ExpressionNode |
| | 60 | Min Occurs: 0 Max Occurs: 1 |
| | 61 | |
| | 62 | Complex Type: AssertStatementNode |
| | 63 | Sequence: Element: Name: id_AssertStatementNode |
| | 64 | Type (id): integer |
| | 65 | Min Occurs: 1 Max Occurs: 1 |
| | 66 | Element: Name: source |
| | 67 | Type (leaf): Source |
| | 68 | Min Occurs: 0 Max Occurs: 1 |
| | 69 | Element: Name: labels |
| | 70 | Type (node): LabelNodes |
| | 71 | Min Occurs: 1 Max Occurs: 1 |
| | 72 | Element: Name: predicate |
| | 73 | Type (node): ExpressionNode |
| | 74 | Min Occurs: 1 Max Occurs: 1 |
| | 75 | |
| | 76 | Complex Type: AssignmentNode |
| | 77 | Sequence: Element: Name: id_AssignmentNode |
| | 78 | Type (id): integer |
| | 79 | Min Occurs: 1 Max Occurs: 1 |
| | 80 | Element: Name: source |
| | 81 | Type (leaf): Source |
| | 82 | Min Occurs: 0 Max Occurs: 1 |
| | 83 | Element: Name: labels |
| | 84 | Type (node): LabelNodes |
| | 85 | Min Occurs: 1 Max Occurs: 1 |
| | 86 | Element: Name: lhs |
| | 87 | Type (node): LHSExpressionNode |
| | 88 | Min Occurs: 1 Max Occurs: 1 |
| | 89 | |
| | 90 | Complex Type: BindingExpressionNode |
| | 91 | Sequence: Element: Name: id_BindingExpressionNode |
| | 92 | Type (id): integer |
| | 93 | Min Occurs: 1 Max Occurs: 1 |
| | 94 | Element: Name: source |
| | 95 | Type (leaf): Source |
| | 96 | Min Occurs: 0 Max Occurs: 1 |
| | 97 | Element: Name: quantifier |
| | 98 | Type (leaf): Quantifier |
| | 99 | Min Occurs: 1 Max Occurs: 1 |
| | 100 | Element: Name: labels |
| | 101 | Type (node): LabelNodes |
| | 102 | Min Occurs: 1 Max Occurs: 1 |
| | 103 | Element: Name: boundVariable |
| | 104 | Type (node): BoundVariableDeclarationNode |
| | 105 | Min Occurs: 1 Max Occurs: 1 |
| | 106 | Element: Name: constraint |
| | 107 | Type (node): PureExpressionNode |
| | 108 | Min Occurs: 1 Max Occurs: 1 |
| | 109 | Element: Name: expression |
| | 110 | Type (node): PureExpressionNode |
| | 111 | Min Occurs: 1 Max Occurs: 1 |
| | 112 | |
| | 113 | Complex Type: BlockNode |
| | 114 | Sequence: Element: Name: id_BlockNode |
| | 115 | Type (id): integer |
| | 116 | Min Occurs: 1 Max Occurs: 1 |
| | 117 | Element: Name: source |
| | 118 | Type (leaf): Source |
| | 119 | Min Occurs: 0 Max Occurs: 1 |
| | 120 | Element: Name: labels |
| | 121 | Type (node): LabelNodes |
| | 122 | Min Occurs: 1 Max Occurs: 1 |
| | 123 | Element: Name: variables |
| | 124 | Type (node): VariableDeclarationNodes |
| | 125 | Min Occurs: 1 Max Occurs: 1 |
| | 126 | Element: Name: statements |
| | 127 | Type (node): StatementNodes |
| | 128 | Min Occurs: 1 Max Occurs: 1 |
| | 129 | |
| | 130 | Complex Type: BooleanTypeNode |
| | 131 | Sequence: Element: Name: id_BooleanTypeNode |
| | 132 | Type (id): integer |
| | 133 | Min Occurs: 1 Max Occurs: 1 |
| | 134 | Element: Name: source |
| | 135 | Type (leaf): Source |
| | 136 | Min Occurs: 0 Max Occurs: 1 |
| | 137 | |
| | 138 | Complex Type: BoundVariableDeclarationNode |
| | 139 | Sequence: Element: Name: id_BoundVariableDeclarationNode |
| | 140 | Type (id): integer |
| | 141 | Min Occurs: 1 Max Occurs: 1 |
| | 142 | Element: Name: source |
| | 143 | Type (leaf): Source |
| | 144 | Min Occurs: 0 Max Occurs: 1 |
| | 145 | Element: Name: isConst |
| | 146 | Type (leaf): boolean |
| | 147 | Min Occurs: 0 Max Occurs: 1 |
| | 148 | Element: Name: isVolatile |
| | 149 | Type (leaf): boolean |
| | 150 | Min Occurs: 0 Max Occurs: 1 |
| | 151 | Element: Name: isRestrict |
| | 152 | Type (leaf): boolean |
| | 153 | Min Occurs: 1 Max Occurs: 1 |
| | 154 | Element: Name: storageClass |
| | 155 | Type (leaf): StorageClass |
| | 156 | Min Occurs: 1 Max Occurs: 1 |
| | 157 | Element: Name: ben_containingExpression |
| | 158 | Type (node): int |
| | 159 | Min Occurs: 1 Max Occurs: 1 |
| | 160 | Element: Name: type |
| | 161 | Type (node): TypeNode |
| | 162 | Min Occurs: 1 Max Occurs: 1 |
| | 163 | Element: Name: identifier |
| | 164 | Type (node): IdentifierNode |
| | 165 | Min Occurs: 1 Max Occurs: 1 |
| | 166 | Element: Name: initializer |
| | 167 | Type (node): ExpressionNode |
| | 168 | Min Occurs: 0 Max Occurs: 1 |
| | 169 | |
| | 170 | Complex Type: CompositeTypeNode |
| | 171 | Sequence: Element: Name: id_CompositeTypeNode |
| | 172 | Type (id): integer |
| | 173 | Min Occurs: 1 Max Occurs: 1 |
| | 174 | Element: Name: source |
| | 175 | Type (leaf): Source |
| | 176 | Min Occurs: 0 Max Occurs: 1 |
| | 177 | Element: Name: fields |
| | 178 | Type (node): PairNode_IdentifierNode_TypeNodes |
| | 179 | Min Occurs: 1 Max Occurs: 1 |
| | 180 | Element: Name: name |
| | 181 | Type (node): IdentifierNode |
| | 182 | Min Occurs: 1 Max Occurs: 1 |
| | 183 | |
| | 184 | Complex Type: ExpressionNode |
| | 185 | Sequence: Element: Name: id_ExpressionNode |
| | 186 | Type (id): integer |
| | 187 | Min Occurs: 1 Max Occurs: 1 |
| | 188 | Element: Name: source |
| | 189 | Type (leaf): Source |
| | 190 | Min Occurs: 0 Max Occurs: 1 |
| | 191 | Element: Name: labels |
| | 192 | Type (node): LabelNodes |
| | 193 | Min Occurs: 1 Max Occurs: 1 |
| | 194 | |
| | 195 | Complex Type: FileNode |
| | 196 | Sequence: Element: Name: id_FileNode |
| | 197 | Type (id): integer |
| | 198 | Min Occurs: 1 Max Occurs: 1 |
| | 199 | Element: Name: fileName |
| | 200 | Type (leaf): string |
| | 201 | Min Occurs: 1 Max Occurs: 1 |
| | 202 | Element: Name: contents |
| | 203 | Type (leaf): string |
| | 204 | Min Occurs: 0 Max Occurs: 1 |
| | 205 | Element: Name: isSystem |
| | 206 | Type (leaf): boolean |
| | 207 | Min Occurs: 0 Max Occurs: 1 |
| | 208 | |
| | 209 | Complex Type: ForLoopNode |
| | 210 | Sequence: Element: Name: id_ForLoopNode |
| | 211 | Type (id): integer |
| | 212 | Min Occurs: 1 Max Occurs: 1 |
| | 213 | Element: Name: source |
| | 214 | Type (leaf): Source |
| | 215 | Min Occurs: 0 Max Occurs: 1 |
| | 216 | Element: Name: labels |
| | 217 | Type (node): LabelNodes |
| | 218 | Min Occurs: 1 Max Occurs: 1 |
| | 219 | Element: Name: body |
| | 220 | Type (node): StatementNode |
| | 221 | Min Occurs: 1 Max Occurs: 1 |
| | 222 | Element: Name: invariants |
| | 223 | Type (node): PureExpressionNode |
| | 224 | Min Occurs: 0 Max Occurs: 1 |
| | 225 | Element: Name: initializer |
| | 226 | Type (node): StatementNode |
| | 227 | Min Occurs: 1 Max Occurs: 1 |
| | 228 | Element: Name: condition |
| | 229 | Type (node): ExpressionNode |
| | 230 | Min Occurs: 1 Max Occurs: 1 |
| | 231 | Element: Name: incrementer |
| | 232 | Type (node): StatementNode |
| | 233 | Min Occurs: 1 Max Occurs: 1 |
| | 234 | |
| | 235 | Complex Type: FormalVariableDeclarationNode |
| | 236 | Sequence: Element: Name: id_FormalVariableDeclarationNode |
| | 237 | Type (id): integer |
| | 238 | Min Occurs: 1 Max Occurs: 1 |
| | 239 | Element: Name: source |
| | 240 | Type (leaf): Source |
| | 241 | Min Occurs: 0 Max Occurs: 1 |
| | 242 | Element: Name: isConst |
| | 243 | Type (leaf): boolean |
| | 244 | Min Occurs: 0 Max Occurs: 1 |
| | 245 | Element: Name: isVolatile |
| | 246 | Type (leaf): boolean |
| | 247 | Min Occurs: 0 Max Occurs: 1 |
| | 248 | Element: Name: isRestrict |
| | 249 | Type (leaf): boolean |
| | 250 | Min Occurs: 1 Max Occurs: 1 |
| | 251 | Element: Name: storageClass |
| | 252 | Type (leaf): StorageClass |
| | 253 | Min Occurs: 1 Max Occurs: 1 |
| | 254 | Element: Name: fdn_function |
| | 255 | Type (node): int |
| | 256 | Min Occurs: 1 Max Occurs: 1 |
| | 257 | Element: Name: type |
| | 258 | Type (node): TypeNode |
| | 259 | Min Occurs: 1 Max Occurs: 1 |
| | 260 | Element: Name: identifier |
| | 261 | Type (node): IdentifierNode |
| | 262 | Min Occurs: 1 Max Occurs: 1 |
| | 263 | Element: Name: initializer |
| | 264 | Type (node): ExpressionNode |
| | 265 | Min Occurs: 0 Max Occurs: 1 |
| | 266 | |
| | 267 | Complex Type: FunctionDeclarationNode |
| | 268 | Sequence: Element: Name: id_FunctionDeclarationNode |
| | 269 | Type (id): integer |
| | 270 | Min Occurs: 1 Max Occurs: 1 |
| | 271 | Element: Name: source |
| | 272 | Type (leaf): Source |
| | 273 | Min Occurs: 0 Max Occurs: 1 |
| | 274 | Element: Name: fdn_definition |
| | 275 | Type (node): int |
| | 276 | Min Occurs: 0 Max Occurs: 1 |
| | 277 | Element: Name: identifier |
| | 278 | Type (node): IdentifierNode |
| | 279 | Min Occurs: 1 Max Occurs: 1 |
| | 280 | Element: Name: outputType |
| | 281 | Type (node): TypeNode |
| | 282 | Min Occurs: 1 Max Occurs: 1 |
| | 283 | Element: Name: formals |
| | 284 | Type (node): FormalVariableDeclarationNodes |
| | 285 | Min Occurs: 1 Max Occurs: 1 |
| | 286 | Element: Name: body |
| | 287 | Type (node): BlockNode |
| | 288 | Min Occurs: 0 Max Occurs: 1 |
| | 289 | |
| | 290 | Complex Type: FunctionInvocationNode |
| | 291 | Sequence: Element: Name: id_FunctionInvocationNode |
| | 292 | Type (id): integer |
| | 293 | Min Occurs: 1 Max Occurs: 1 |
| | 294 | Element: Name: source |
| | 295 | Type (leaf): Source |
| | 296 | Min Occurs: 0 Max Occurs: 1 |
| | 297 | Element: Name: labels |
| | 298 | Type (node): LabelNodes |
| | 299 | Min Occurs: 1 Max Occurs: 1 |
| | 300 | Element: Name: function |
| | 301 | Type (node): ExpressionNode |
| | 302 | Min Occurs: 1 Max Occurs: 1 |
| | 303 | Element: Name: arguments |
| | 304 | Type (node): ExpressionNodes |
| | 305 | Min Occurs: 1 Max Occurs: 1 |
| | 306 | |
| | 307 | Complex Type: FunctionReferenceNode |
| | 308 | Sequence: Element: Name: id_FunctionReferenceNode |
| | 309 | Type (id): integer |
| | 310 | Min Occurs: 1 Max Occurs: 1 |
| | 311 | Element: Name: source |
| | 312 | Type (leaf): Source |
| | 313 | Min Occurs: 0 Max Occurs: 1 |
| | 314 | Element: Name: identifier |
| | 315 | Type (leaf): string |
| | 316 | Min Occurs: 1 Max Occurs: 1 |
| | 317 | Element: Name: fdn_referent |
| | 318 | Type (node): int |
| | 319 | Min Occurs: 1 Max Occurs: 1 |
| | 320 | Element: Name: labels |
| | 321 | Type (node): LabelNodes |
| | 322 | Min Occurs: 1 Max Occurs: 1 |
| | 323 | |
| | 324 | Complex Type: GlobalScopeNode |
| | 325 | Sequence: Element: Name: id_GlobalScopeNode |
| | 326 | Type (id): integer |
| | 327 | Min Occurs: 1 Max Occurs: 1 |
| | 328 | Element: Name: source |
| | 329 | Type (leaf): Source |
| | 330 | Min Occurs: 0 Max Occurs: 1 |
| | 331 | |
| | 332 | Complex Type: GlobalVariableDeclarationNode |
| | 333 | Sequence: Element: Name: id_GlobalVariableDeclarationNode |
| | 334 | Type (id): integer |
| | 335 | Min Occurs: 1 Max Occurs: 1 |
| | 336 | Element: Name: source |
| | 337 | Type (leaf): Source |
| | 338 | Min Occurs: 0 Max Occurs: 1 |
| | 339 | Element: Name: isConst |
| | 340 | Type (leaf): boolean |
| | 341 | Min Occurs: 0 Max Occurs: 1 |
| | 342 | Element: Name: isVolatile |
| | 343 | Type (leaf): boolean |
| | 344 | Min Occurs: 0 Max Occurs: 1 |
| | 345 | Element: Name: isRestrict |
| | 346 | Type (leaf): boolean |
| | 347 | Min Occurs: 1 Max Occurs: 1 |
| | 348 | Element: Name: storageClass |
| | 349 | Type (leaf): StorageClass |
| | 350 | Min Occurs: 1 Max Occurs: 1 |
| | 351 | Element: Name: vdn_definition |
| | 352 | Type (node): int |
| | 353 | Min Occurs: 0 Max Occurs: 1 |
| | 354 | Element: Name: isDefinition |
| | 355 | Type (leaf): boolean |
| | 356 | Min Occurs: 1 Max Occurs: 1 |
| | 357 | Element: Name: isInput |
| | 358 | Type (leaf): boolean |
| | 359 | Min Occurs: 1 Max Occurs: 1 |
| | 360 | Element: Name: isOutput |
| | 361 | Type (leaf): boolean |
| | 362 | Min Occurs: 1 Max Occurs: 1 |
| | 363 | Element: Name: isShared |
| | 364 | Type (leaf): boolean |
| | 365 | Min Occurs: 1 Max Occurs: 1 |
| | 366 | Element: Name: type |
| | 367 | Type (node): TypeNode |
| | 368 | Min Occurs: 1 Max Occurs: 1 |
| | 369 | Element: Name: identifier |
| | 370 | Type (node): IdentifierNode |
| | 371 | Min Occurs: 1 Max Occurs: 1 |
| | 372 | Element: Name: initializer |
| | 373 | Type (node): ExpressionNode |
| | 374 | Min Occurs: 0 Max Occurs: 1 |
| | 375 | Element: Name: inputAssumption |
| | 376 | Type (node): ExpressionNode |
| | 377 | Min Occurs: 0 Max Occurs: 1 |
| | 378 | |
| | 379 | Complex Type: IdentifierNode |
| | 380 | Sequence: Element: Name: id_IdentifierNode |
| | 381 | Type (id): integer |
| | 382 | Min Occurs: 1 Max Occurs: 1 |
| | 383 | Element: Name: source |
| | 384 | Type (leaf): Source |
| | 385 | Min Occurs: 0 Max Occurs: 1 |
| | 386 | Element: Name: identifier |
| | 387 | Type (leaf): string |
| | 388 | Min Occurs: 1 Max Occurs: 1 |
| | 389 | |
| | 390 | Complex Type: IfThenElseStatementNode |
| | 391 | Sequence: Element: Name: id_IfThenElseStatementNode |
| | 392 | Type (id): integer |
| | 393 | Min Occurs: 1 Max Occurs: 1 |
| | 394 | Element: Name: source |
| | 395 | Type (leaf): Source |
| | 396 | Min Occurs: 0 Max Occurs: 1 |
| | 397 | Element: Name: labels |
| | 398 | Type (node): LabelNodes |
| | 399 | Min Occurs: 1 Max Occurs: 1 |
| | 400 | Element: Name: condition |
| | 401 | Type (node): ExpressionNode |
| | 402 | Min Occurs: 1 Max Occurs: 1 |
| | 403 | Element: Name: trueBranch |
| | 404 | Type (node): StatementNode |
| | 405 | Min Occurs: 1 Max Occurs: 1 |
| | 406 | Element: Name: falseBranch |
| | 407 | Type (node): StatementNode |
| | 408 | Min Occurs: 0 Max Occurs: 1 |
| | 409 | |
| | 410 | Complex Type: IncrementNode |
| | 411 | Sequence: Element: Name: id_IncrementNode |
| | 412 | Type (id): integer |
| | 413 | Min Occurs: 1 Max Occurs: 1 |
| | 414 | Element: Name: source |
| | 415 | Type (leaf): Source |
| | 416 | Min Occurs: 0 Max Occurs: 1 |
| | 417 | Element: Name: prefix |
| | 418 | Type (leaf): boolean |
| | 419 | Min Occurs: 1 Max Occurs: 1 |
| | 420 | Element: Name: increment |
| | 421 | Type (leaf): boolean |
| | 422 | Min Occurs: 1 Max Occurs: 1 |
| | 423 | Element: Name: labels |
| | 424 | Type (node): LabelNodes |
| | 425 | Min Occurs: 1 Max Occurs: 1 |
| | 426 | Element: Name: lhs |
| | 427 | Type (node): LHSExpressionNode |
| | 428 | Min Occurs: 1 Max Occurs: 1 |
| | 429 | |
| | 430 | Complex Type: IntegerLiteralNode |
| | 431 | Sequence: Element: Name: id_IntegerLiteralNode |
| | 432 | Type (id): integer |
| | 433 | Min Occurs: 1 Max Occurs: 1 |
| | 434 | Element: Name: source |
| | 435 | Type (leaf): Source |
| | 436 | Min Occurs: 0 Max Occurs: 1 |
| | 437 | Element: Name: integerValue |
| | 438 | Type (leaf): integer |
| | 439 | Min Occurs: 1 Max Occurs: 1 |
| | 440 | Element: Name: labels |
| | 441 | Type (node): LabelNodes |
| | 442 | Min Occurs: 1 Max Occurs: 1 |
| | 443 | Element: Name: name |
| | 444 | Type (node): IdentifierNode |
| | 445 | Min Occurs: 0 Max Occurs: 1 |
| | 446 | Element: Name: type |
| | 447 | Type (node): TypeNode |
| | 448 | Min Occurs: 1 Max Occurs: 1 |
| | 449 | |
| | 450 | Complex Type: IntegerTypeNode |
| | 451 | Sequence: Element: Name: id_IntegerTypeNode |
| | 452 | Type (id): integer |
| | 453 | Min Occurs: 1 Max Occurs: 1 |
| | 454 | Element: Name: source |
| | 455 | Type (leaf): Source |
| | 456 | Min Occurs: 0 Max Occurs: 1 |
| | 457 | Element: Name: intType |
| | 458 | Type (leaf): IntType |
| | 459 | Min Occurs: 1 Max Occurs: 1 |
| | 460 | |
| | 461 | Complex Type: LHSExpressionNode |
| | 462 | Sequence: Element: Name: id_LHSExpressionNode |
| | 463 | Type (id): integer |
| | 464 | Min Occurs: 1 Max Occurs: 1 |
| | 465 | Element: Name: source |
| | 466 | Type (leaf): Source |
| | 467 | Min Occurs: 0 Max Occurs: 1 |
| | 468 | Element: Name: labels |
| | 469 | Type (node): LabelNodes |
| | 470 | Min Occurs: 1 Max Occurs: 1 |
| | 471 | |
| | 472 | Complex Type: LabelNode |
| | 473 | Sequence: Element: Name: id_LabelNode |
| | 474 | Type (id): integer |
| | 475 | Min Occurs: 1 Max Occurs: 1 |
| | 476 | Element: Name: source |
| | 477 | Type (leaf): Source |
| | 478 | Min Occurs: 0 Max Occurs: 1 |
| | 479 | Element: Name: stn_statement |
| | 480 | Type (node): int |
| | 481 | Min Occurs: 0 Max Occurs: 1 |
| | 482 | Element: Name: identifier |
| | 483 | Type (node): IdentifierNode |
| | 484 | Min Occurs: 1 Max Occurs: 1 |
| | 485 | |
| | 486 | Complex Type: LiteralNode |
| | 487 | Sequence: Element: Name: id_LiteralNode |
| | 488 | Type (id): integer |
| | 489 | Min Occurs: 1 Max Occurs: 1 |
| | 490 | Element: Name: source |
| | 491 | Type (leaf): Source |
| | 492 | Min Occurs: 0 Max Occurs: 1 |
| | 493 | Element: Name: labels |
| | 494 | Type (node): LabelNodes |
| | 495 | Min Occurs: 1 Max Occurs: 1 |
| | 496 | Element: Name: name |
| | 497 | Type (node): IdentifierNode |
| | 498 | Min Occurs: 0 Max Occurs: 1 |
| | 499 | Element: Name: type |
| | 500 | Type (node): TypeNode |
| | 501 | Min Occurs: 1 Max Occurs: 1 |
| | 502 | |
| | 503 | Complex Type: LocalVariableDeclarationNode |
| | 504 | Sequence: Element: Name: id_LocalVariableDeclarationNode |
| | 505 | Type (id): integer |
| | 506 | Min Occurs: 1 Max Occurs: 1 |
| | 507 | Element: Name: source |
| | 508 | Type (leaf): Source |
| | 509 | Min Occurs: 0 Max Occurs: 1 |
| | 510 | Element: Name: isConst |
| | 511 | Type (leaf): boolean |
| | 512 | Min Occurs: 0 Max Occurs: 1 |
| | 513 | Element: Name: isVolatile |
| | 514 | Type (leaf): boolean |
| | 515 | Min Occurs: 0 Max Occurs: 1 |
| | 516 | Element: Name: isRestrict |
| | 517 | Type (leaf): boolean |
| | 518 | Min Occurs: 1 Max Occurs: 1 |
| | 519 | Element: Name: storageClass |
| | 520 | Type (leaf): StorageClass |
| | 521 | Min Occurs: 1 Max Occurs: 1 |
| | 522 | Element: Name: bn_block |
| | 523 | Type (node): int |
| | 524 | Min Occurs: 1 Max Occurs: 1 |
| | 525 | Element: Name: type |
| | 526 | Type (node): TypeNode |
| | 527 | Min Occurs: 1 Max Occurs: 1 |
| | 528 | Element: Name: identifier |
| | 529 | Type (node): IdentifierNode |
| | 530 | Min Occurs: 1 Max Occurs: 1 |
| | 531 | Element: Name: initializer |
| | 532 | Type (node): ExpressionNode |
| | 533 | Min Occurs: 0 Max Occurs: 1 |
| | 534 | |
| | 535 | Complex Type: LoopNode |
| | 536 | Sequence: Element: Name: id_LoopNode |
| | 537 | Type (id): integer |
| | 538 | Min Occurs: 1 Max Occurs: 1 |
| | 539 | Element: Name: source |
| | 540 | Type (leaf): Source |
| | 541 | Min Occurs: 0 Max Occurs: 1 |
| | 542 | Element: Name: labels |
| | 543 | Type (node): LabelNodes |
| | 544 | Min Occurs: 1 Max Occurs: 1 |
| | 545 | Element: Name: body |
| | 546 | Type (node): StatementNode |
| | 547 | Min Occurs: 1 Max Occurs: 1 |
| | 548 | Element: Name: invariants |
| | 549 | Type (node): PureExpressionNode |
| | 550 | Min Occurs: 0 Max Occurs: 1 |
| | 551 | |
| | 552 | Complex Type: ModificationNode |
| | 553 | Sequence: Element: Name: id_ModificationNode |
| | 554 | Type (id): integer |
| | 555 | Min Occurs: 1 Max Occurs: 1 |
| | 556 | Element: Name: source |
| | 557 | Type (leaf): Source |
| | 558 | Min Occurs: 0 Max Occurs: 1 |
| | 559 | Element: Name: labels |
| | 560 | Type (node): LabelNodes |
| | 561 | Min Occurs: 1 Max Occurs: 1 |
| | 562 | Element: Name: lhs |
| | 563 | Type (node): LHSExpressionNode |
| | 564 | Min Occurs: 1 Max Occurs: 1 |
| | 565 | |
| | 566 | Complex Type: OperatorNode |
| | 567 | Sequence: Element: Name: id_OperatorNode |
| | 568 | Type (id): integer |
| | 569 | Min Occurs: 1 Max Occurs: 1 |
| | 570 | Element: Name: source |
| | 571 | Type (leaf): Source |
| | 572 | Min Occurs: 0 Max Occurs: 1 |
| | 573 | Element: Name: operator |
| | 574 | Type (leaf): AST_OPERATOR |
| | 575 | Min Occurs: 1 Max Occurs: 1 |
| | 576 | Element: Name: labels |
| | 577 | Type (node): LabelNodes |
| | 578 | Min Occurs: 1 Max Occurs: 1 |
| | 579 | Element: Name: argument |
| | 580 | Type (node): ExpressionNode |
| | 581 | Min Occurs: 1 Max Occurs: 3 |
| | 582 | |
| | 583 | Complex Type: PairNode_IdentifierNode_TypeNode |
| | 584 | Sequence: Element: Name: id_PairNode_IdentifierNode_TypeNode |
| | 585 | Type (id): integer |
| | 586 | Min Occurs: 1 Max Occurs: 1 |
| | 587 | Element: Name: source |
| | 588 | Type (leaf): Source |
| | 589 | Min Occurs: 0 Max Occurs: 1 |
| | 590 | Element: Name: left |
| | 591 | Type (node): IdentifierNode |
| | 592 | Min Occurs: 1 Max Occurs: 1 |
| | 593 | Element: Name: right |
| | 594 | Type (node): TypeNode |
| | 595 | Min Occurs: 1 Max Occurs: 1 |
| | 596 | |
| | 597 | Complex Type: PointerTypeNode |
| | 598 | Sequence: Element: Name: id_PointerTypeNode |
| | 599 | Type (id): integer |
| | 600 | Min Occurs: 1 Max Occurs: 1 |
| | 601 | Element: Name: source |
| | 602 | Type (leaf): Source |
| | 603 | Min Occurs: 0 Max Occurs: 1 |
| | 604 | Element: Name: baseType |
| | 605 | Type (node): TypeNode |
| | 606 | Min Occurs: 1 Max Occurs: 1 |
| | 607 | |
| | 608 | Complex Type: PragmaNode |
| | 609 | Sequence: Element: Name: id_PragmaNode |
| | 610 | Type (id): integer |
| | 611 | Min Occurs: 1 Max Occurs: 1 |
| | 612 | Element: Name: source |
| | 613 | Type (leaf): Source |
| | 614 | Min Occurs: 0 Max Occurs: 1 |
| | 615 | Element: Name: string |
| | 616 | Type (leaf): string |
| | 617 | Min Occurs: 1 Max Occurs: 1 |
| | 618 | |
| | 619 | Complex Type: PureExpressionNode |
| | 620 | Sequence: Element: Name: id_PureExpressionNode |
| | 621 | Type (id): integer |
| | 622 | Min Occurs: 1 Max Occurs: 1 |
| | 623 | Element: Name: source |
| | 624 | Type (leaf): Source |
| | 625 | Min Occurs: 0 Max Occurs: 1 |
| | 626 | Element: Name: labels |
| | 627 | Type (node): LabelNodes |
| | 628 | Min Occurs: 1 Max Occurs: 1 |
| | 629 | |
| | 630 | Complex Type: RealLiteralNode |
| | 631 | Sequence: Element: Name: id_RealLiteralNode |
| | 632 | Type (id): integer |
| | 633 | Min Occurs: 1 Max Occurs: 1 |
| | 634 | Element: Name: source |
| | 635 | Type (leaf): Source |
| | 636 | Min Occurs: 0 Max Occurs: 1 |
| | 637 | Element: Name: realValue |
| | 638 | Type (leaf): double |
| | 639 | Min Occurs: 1 Max Occurs: 1 |
| | 640 | Element: Name: labels |
| | 641 | Type (node): LabelNodes |
| | 642 | Min Occurs: 1 Max Occurs: 1 |
| | 643 | Element: Name: name |
| | 644 | Type (node): IdentifierNode |
| | 645 | Min Occurs: 0 Max Occurs: 1 |
| | 646 | Element: Name: type |
| | 647 | Type (node): RealTypeNode |
| | 648 | Min Occurs: 1 Max Occurs: 1 |
| | 649 | |
| | 650 | Complex Type: RealTypeNode |
| | 651 | Sequence: Element: Name: id_RealTypeNode |
| | 652 | Type (id): integer |
| | 653 | Min Occurs: 1 Max Occurs: 1 |
| | 654 | Element: Name: source |
| | 655 | Type (leaf): Source |
| | 656 | Min Occurs: 0 Max Occurs: 1 |
| | 657 | |
| | 658 | Complex Type: ReferenceNode |
| | 659 | Sequence: Element: Name: id_ReferenceNode |
| | 660 | Type (id): integer |
| | 661 | Min Occurs: 1 Max Occurs: 1 |
| | 662 | Element: Name: source |
| | 663 | Type (leaf): Source |
| | 664 | Min Occurs: 0 Max Occurs: 1 |
| | 665 | Element: Name: identifier |
| | 666 | Type (leaf): string |
| | 667 | Min Occurs: 1 Max Occurs: 1 |
| | 668 | |
| | 669 | Complex Type: ReturnNode |
| | 670 | Sequence: Element: Name: id_ReturnNode |
| | 671 | Type (id): integer |
| | 672 | Min Occurs: 1 Max Occurs: 1 |
| | 673 | Element: Name: source |
| | 674 | Type (leaf): Source |
| | 675 | Min Occurs: 0 Max Occurs: 1 |
| | 676 | Element: Name: labels |
| | 677 | Type (node): LabelNodes |
| | 678 | Min Occurs: 1 Max Occurs: 1 |
| | 679 | Element: Name: expression |
| | 680 | Type (node): ExpressionNode |
| | 681 | Min Occurs: 1 Max Occurs: 1 |
| | 682 | |
| | 683 | Complex Type: RootNode |
| | 684 | Sequence: Element: Name: id_RootNode |
| | 685 | Type (id): integer |
| | 686 | Min Occurs: 1 Max Occurs: 1 |
| | 687 | Element: Name: source |
| | 688 | Type (leaf): Source |
| | 689 | Min Occurs: 0 Max Occurs: 1 |
| | 690 | Element: Name: fdn_mainFunction |
| | 691 | Type (node): int |
| | 692 | Min Occurs: 0 Max Occurs: 1 |
| | 693 | Element: Name: globalScopeNodes |
| | 694 | Type (node): GlobalScopeNodes |
| | 695 | Min Occurs: 1 Max Occurs: 1 |
| | 696 | Element: Name: files |
| | 697 | Type (node): FileNodes |
| | 698 | Min Occurs: 1 Max Occurs: 1 |
| | 699 | |
| | 700 | Complex Type: ExpressionNodes |
| | 701 | Sequence: Element: Name: id_ExpressionNodes |
| | 702 | Type (id): integer |
| | 703 | Min Occurs: 1 Max Occurs: 1 |
| | 704 | Element: Name: source |
| | 705 | Type (leaf): Source |
| | 706 | Min Occurs: 0 Max Occurs: 1 |
| | 707 | Group (minOccurs="unbounded"): |
| | 708 | Element: Name: child |
| | 709 | Type (node): ExpressionNode |
| | 710 | Min Occurs=0 MaxOccurs=1 |
| | 711 | |
| | 712 | Complex Type: FileNodes |
| | 713 | Sequence: Element: Name: id_FileNodes |
| | 714 | Type (id): integer |
| | 715 | Min Occurs: 1 Max Occurs: 1 |
| | 716 | Element: Name: source |
| | 717 | Type (leaf): Source |
| | 718 | Min Occurs: 0 Max Occurs: 1 |
| | 719 | Group (minOccurs="unbounded"): |
| | 720 | Element: Name: child |
| | 721 | Type (node): FileNode |
| | 722 | Min Occurs=0 MaxOccurs=1 |
| | 723 | |
| | 724 | Complex Type: FormalVariableDeclarationNodes |
| | 725 | Sequence: Element: Name: id_FormalVariableDeclarationNodes |
| | 726 | Type (id): integer |
| | 727 | Min Occurs: 1 Max Occurs: 1 |
| | 728 | Element: Name: source |
| | 729 | Type (leaf): Source |
| | 730 | Min Occurs: 0 Max Occurs: 1 |
| | 731 | Group (minOccurs="unbounded"): |
| | 732 | Element: Name: child |
| | 733 | Type (node): FormalVariableDeclarationNode |
| | 734 | Min Occurs=0 MaxOccurs=1 |
| | 735 | |
| | 736 | Complex Type: GlobalScopeNodes |
| | 737 | Sequence: Element: Name: id_GlobalScopeNodes |
| | 738 | Type (id): integer |
| | 739 | Min Occurs: 1 Max Occurs: 1 |
| | 740 | Element: Name: source |
| | 741 | Type (leaf): Source |
| | 742 | Min Occurs: 0 Max Occurs: 1 |
| | 743 | Group (minOccurs="unbounded"): |
| | 744 | Element: Name: child |
| | 745 | Type (node): GlobalScopeNode |
| | 746 | Min Occurs=0 MaxOccurs=1 |
| | 747 | |
| | 748 | Complex Type: LabelNodes |
| | 749 | Sequence: Element: Name: id_LabelNodes |
| | 750 | Type (id): integer |
| | 751 | Min Occurs: 1 Max Occurs: 1 |
| | 752 | Element: Name: source |
| | 753 | Type (leaf): Source |
| | 754 | Min Occurs: 0 Max Occurs: 1 |
| | 755 | Group (minOccurs="unbounded"): |
| | 756 | Element: Name: child |
| | 757 | Type (node): LabelNode |
| | 758 | Min Occurs=0 MaxOccurs=1 |
| | 759 | |
| | 760 | Complex Type: StatementNodes |
| | 761 | Sequence: Element: Name: id_StatementNodes |
| | 762 | Type (id): integer |
| | 763 | Min Occurs: 1 Max Occurs: 1 |
| | 764 | Element: Name: source |
| | 765 | Type (leaf): Source |
| | 766 | Min Occurs: 0 Max Occurs: 1 |
| | 767 | Group (minOccurs="unbounded"): |
| | 768 | Element: Name: child |
| | 769 | Type (node): StatementNode |
| | 770 | Min Occurs=0 MaxOccurs=1 |
| | 771 | |
| | 772 | Complex Type: VariableDeclarationNodes |
| | 773 | Sequence: Element: Name: id_VariableDeclarationNodes |
| | 774 | Type (id): integer |
| | 775 | Min Occurs: 1 Max Occurs: 1 |
| | 776 | Element: Name: source |
| | 777 | Type (leaf): Source |
| | 778 | Min Occurs: 0 Max Occurs: 1 |
| | 779 | Group (minOccurs="unbounded"): |
| | 780 | Element: Name: child |
| | 781 | Type (node): VariableDeclarationNode |
| | 782 | Min Occurs=0 MaxOccurs=1 |
| | 783 | |
| | 784 | Complex Type: PairNode_IdentifierNode_TypeNodes |
| | 785 | Sequence: Element: Name: id_PairNode_IdentifierNode_TypeNodes |
| | 786 | Type (id): integer |
| | 787 | Min Occurs: 1 Max Occurs: 1 |
| | 788 | Element: Name: source |
| | 789 | Type (leaf): Source |
| | 790 | Min Occurs: 0 Max Occurs: 1 |
| | 791 | Group (minOccurs="unbounded"): |
| | 792 | Element: Name: child |
| | 793 | Type (node): PairNode_IdentifierNode_TypeNode |
| | 794 | Min Occurs=0 MaxOccurs=1 |
| | 795 | |
| | 796 | Complex Type: SideEffectExpressionNode |
| | 797 | Sequence: Element: Name: id_SideEffectExpressionNode |
| | 798 | Type (id): integer |
| | 799 | Min Occurs: 1 Max Occurs: 1 |
| | 800 | Element: Name: source |
| | 801 | Type (leaf): Source |
| | 802 | Min Occurs: 0 Max Occurs: 1 |
| | 803 | Element: Name: labels |
| | 804 | Type (node): LabelNodes |
| | 805 | Min Occurs: 1 Max Occurs: 1 |
| | 806 | |
| | 807 | Complex Type: SizeableNode |
| | 808 | Sequence: Element: Name: id_SizeableNode |
| | 809 | Type (id): integer |
| | 810 | Min Occurs: 1 Max Occurs: 1 |
| | 811 | Element: Name: source |
| | 812 | Type (leaf): Source |
| | 813 | Min Occurs: 0 Max Occurs: 1 |
| | 814 | |
| | 815 | Complex Type: StatementNode |
| | 816 | Sequence: Element: Name: id_StatementNode |
| | 817 | Type (id): integer |
| | 818 | Min Occurs: 1 Max Occurs: 1 |
| | 819 | Element: Name: source |
| | 820 | Type (leaf): Source |
| | 821 | Min Occurs: 0 Max Occurs: 1 |
| | 822 | Element: Name: labels |
| | 823 | Type (node): LabelNodes |
| | 824 | Min Occurs: 1 Max Occurs: 1 |
| | 825 | |
| | 826 | Complex Type: SubscriptNode |
| | 827 | Sequence: Element: Name: id_SubscriptNode |
| | 828 | Type (id): integer |
| | 829 | Min Occurs: 1 Max Occurs: 1 |
| | 830 | Element: Name: source |
| | 831 | Type (leaf): Source |
| | 832 | Min Occurs: 0 Max Occurs: 1 |
| | 833 | Element: Name: labels |
| | 834 | Type (node): LabelNodes |
| | 835 | Min Occurs: 1 Max Occurs: 1 |
| | 836 | Element: Name: arrayExpression |
| | 837 | Type (node): ExpressionNode |
| | 838 | Min Occurs: 1 Max Occurs: 1 |
| | 839 | Element: Name: indexExpression |
| | 840 | Type (node): ExpressionNode |
| | 841 | Min Occurs: 1 Max Occurs: 1 |
| | 842 | |
| | 843 | Complex Type: TypeDefinitionNode |
| | 844 | Sequence: Element: Name: id_TypeDefinitionNode |
| | 845 | Type (id): integer |
| | 846 | Min Occurs: 1 Max Occurs: 1 |
| | 847 | Element: Name: source |
| | 848 | Type (leaf): Source |
| | 849 | Min Occurs: 0 Max Occurs: 1 |
| | 850 | Element: Name: identifier |
| | 851 | Type (node): IdentifierNode |
| | 852 | Min Occurs: 1 Max Occurs: 1 |
| | 853 | Element: Name: type |
| | 854 | Type (node): TypeNode |
| | 855 | Min Occurs: 1 Max Occurs: 1 |
| | 856 | |
| | 857 | Complex Type: TypeNode |
| | 858 | Sequence: Element: Name: id_TypeNode |
| | 859 | Type (id): integer |
| | 860 | Min Occurs: 1 Max Occurs: 1 |
| | 861 | Element: Name: source |
| | 862 | Type (leaf): Source |
| | 863 | Min Occurs: 0 Max Occurs: 1 |
| | 864 | |
| | 865 | Complex Type: TypeReferenceNode |
| | 866 | Sequence: Element: Name: id_TypeReferenceNode |
| | 867 | Type (id): integer |
| | 868 | Min Occurs: 1 Max Occurs: 1 |
| | 869 | Element: Name: source |
| | 870 | Type (leaf): Source |
| | 871 | Min Occurs: 0 Max Occurs: 1 |
| | 872 | Element: Name: identifier |
| | 873 | Type (leaf): string |
| | 874 | Min Occurs: 1 Max Occurs: 1 |
| | 875 | |
| | 876 | Complex Type: VariableDeclarationNode |
| | 877 | Sequence: Element: Name: id_VariableDeclarationNode |
| | 878 | Type (id): integer |
| | 879 | Min Occurs: 1 Max Occurs: 1 |
| | 880 | Element: Name: source |
| | 881 | Type (leaf): Source |
| | 882 | Min Occurs: 0 Max Occurs: 1 |
| | 883 | Element: Name: isConst |
| | 884 | Type (leaf): boolean |
| | 885 | Min Occurs: 0 Max Occurs: 1 |
| | 886 | Element: Name: isVolatile |
| | 887 | Type (leaf): boolean |
| | 888 | Min Occurs: 0 Max Occurs: 1 |
| | 889 | Element: Name: isRestrict |
| | 890 | Type (leaf): boolean |
| | 891 | Min Occurs: 1 Max Occurs: 1 |
| | 892 | Element: Name: storageClass |
| | 893 | Type (leaf): StorageClass |
| | 894 | Min Occurs: 1 Max Occurs: 1 |
| | 895 | Element: Name: type |
| | 896 | Type (node): TypeNode |
| | 897 | Min Occurs: 1 Max Occurs: 1 |
| | 898 | Element: Name: identifier |
| | 899 | Type (node): IdentifierNode |
| | 900 | Min Occurs: 1 Max Occurs: 1 |
| | 901 | Element: Name: initializer |
| | 902 | Type (node): ExpressionNode |
| | 903 | Min Occurs: 0 Max Occurs: 1 |
| | 904 | |
| | 905 | Complex Type: VariableReferenceNode |
| | 906 | Sequence: Element: Name: id_VariableReferenceNode |
| | 907 | Type (id): integer |
| | 908 | Min Occurs: 1 Max Occurs: 1 |
| | 909 | Element: Name: source |
| | 910 | Type (leaf): Source |
| | 911 | Min Occurs: 0 Max Occurs: 1 |
| | 912 | Element: Name: identifier |
| | 913 | Type (leaf): string |
| | 914 | Min Occurs: 1 Max Occurs: 1 |
| | 915 | Element: Name: vdn_referent |
| | 916 | Type (node): int |
| | 917 | Min Occurs: 1 Max Occurs: 1 |
| | 918 | Element: Name: labels |
| | 919 | Type (node): LabelNodes |
| | 920 | Min Occurs: 1 Max Occurs: 1 |
| | 921 | |
| | 922 | Complex Type: VoidTypeNode |
| | 923 | Sequence: Element: Name: id_VoidTypeNode |
| | 924 | Type (id): integer |
| | 925 | Min Occurs: 1 Max Occurs: 1 |
| | 926 | Element: Name: source |
| | 927 | Type (leaf): Source |
| | 928 | Min Occurs: 0 Max Occurs: 1 |
| | 929 | }}} |