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
Voir en ligne : Download aadl4ocaml

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 912221