| 1 | |
| 2 | = AADL Model Processing Library = |
| 3 | |
| 4 | This library (AADLModel.sbp) contains a set of prolog rules to access and process an [wiki:aadlparser AADL declarative model] defined by prolog facts. |
| 5 | |
| 6 | [=#index] |
| 7 | {{{#!table style="border:2" |
| 8 | {{{#!tr style="text-align:center; margin:auto" |
| 9 | {{{#!th style="width:120px" |
| 10 | '''Index''' |
| 11 | }}} |
| 12 | {{{#!td style="background:#ffd; width:80px" |
| 13 | [#AADLInstances Instance Model] |
| 14 | }}} |
| 15 | {{{#!td style="background:#ffd; width:80px" |
| 16 | [#AADLProperties Properties] |
| 17 | }}} |
| 18 | {{{#!td style="background:#ffd; width:80px" |
| 19 | [#AADLReferences Cross References] |
| 20 | }}} |
| 21 | {{{#!td style="background:#ffd; width:80px" |
| 22 | [#AADLBehavior Behavior Annex] |
| 23 | }}} |
| 24 | }}} |
| 25 | }}} |
| 26 | ---- |
| 27 | === AADL Instances === |
| 28 | === AADL Properties === |
| 29 | * [wiki:aadl/aadlutilities/getProperty getProperty/10] |
| 30 | * [wiki:aadl/aadlutilities/instanceProperty instanceProperty/7] |
| 31 | * [wiki:aadl/aadlutilities/implementationProperty implementationProperty/5] |
| 32 | * [wiki:aadl/aadlutilities/typeProperty typeProperty/4] |
| 33 | * [wiki:aadl/aadlutilities/inheritedProperty inheritedProperty/7] |
| 34 | * [wiki:aadl/aadlutilities/allowsInheritance allowsInheritance/1] |
| 35 | === AADL References === |
| 36 | * [wiki:aadl/aadlutilities/splitReference splitReference/4] |
| 37 | * [wiki:aadl/aadlutilities/getReference5 getReference/5] |
| 38 | * [wiki:aadl/aadlutilities/getReference6 getReference/6] |
| 39 | * [wiki:aadl/aadlutilities/findReference5 findReference/5] |
| 40 | * [wiki:aadl/aadlutilities/findReference6 findReference/6] |
| 41 | * [wiki:aadl/aadlutilities/allReferences allReferences/10] |
| 42 | * [wiki:aadl/aadlutilities/matchReference matchReference/7] |
| 43 | * [wiki:aadl/aadlutilities/provideReference provideReference/6] |
| 44 | === AADL Behavior === |