XAIF ( = XML Abstract Interface Format)
had a predecessor called AIF used in ADIFOR for the language
independent representation of assignment statements. With the
availability of parsing software for XML it was possible to switch to
an XML based representation with schema validating parsers. Since the
beginning of the ACTS projects there have been major extensions to the
set of code information represented in XAIF, e.g.
- call graph
- symbol tables
- control flow graph
- inlinable and non-inlinable intrinsics catalogue
- derivative propagators
- subroutine code replacement template and inlinable subroutine
calls