Verimag

aadl4ocaml

aadl4ocaml is an ocaml library that:

  • parses AAXL (xml version of AADL) files,
  • generates an ocaml AST
  • provides a few utilitary functions dealing with aadl

One can browser the API here

REQUIREMENTS

You need ocamlduce (http://www.cduce.org/ocaml.html) to build this library, as well as xlm-light.

INSTALLATION

  • make
  • cp aadl4ocaml.*a
  • make doc

AUTHORS

  • Louis Mandel
  • Erwan Jahier
See online : Download aadl4ocaml

Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 12 ; visits: 449613