Next: Code organization, Up: The Ocarina Core Library
The core library holds the tree structures of AADL descriptions. It provides the facilities required to manipulate the AADL descriptions.
AADL descriptions are usually sets of declarations. Verifications can be performed on these representations, but the declarations must be instantiated in order to be able to fully compute the architectures. Therefore, the processing of an AADL description is usually performed in two steps:
The Ocarina core library provides the necessary functions to build AADL declaration, validate the model and then instantiate it.
Both model and instance AADL descriptions are represented by abstract syntax trees. These trees are made of several nodes, defined in src/core/tree/ocarina-nodes.idl. As the structure is rather complex, higher lever notions are defined. Thus, Ocarina mainly manipulate entities. AADL entities are: