package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

Dune Dependency

www-verimag.imag.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier and Pascal Raymond

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

lustre-v6.6.103.3.tgz

md5=755e46de4d57d4c489f5b0a0f2b8663d

sha512=8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d

doc/lustre-v6/AstV6/index.html

Module `AstV6`Source

(Raw) Abstract syntax tree of source Lustre V6 programs.

This is a syntax tree represented by Hash tables.

Sourcetype 'a error =

| Ok of 'a
| Error of string

Constructeur de type "avec erreur info"

Sourcetype t =

| PRPackBody of string list * packbody
| PRPack_or_models of string list * pack_or_model list

Sourceand pack_or_model =

| NSPack of pack_info Lxm.srcflagged
| NSModel of model_info Lxm.srcflagged

Sourceand model_info = {

mo_name : Lv6Id.pack_name;
mo_uses : Lv6Id.pack_name Lxm.srcflagged list;
mo_needs : AstCore.static_param Lxm.srcflagged list;
mo_provides : AstCore.item_info Lxm.srcflagged list option;
mo_body : packbody;

}

Sourceand pack_info = {

pa_name : Lv6Id.pack_name;
pa_def : pack_def;

}

Sourceand pack_def =

| PackGiven of pack_given
| PackInstance of pack_instance

Sourceand pack_given = {

pg_uses : Lv6Id.pack_name Lxm.srcflagged list;
pg_provides : AstCore.item_info Lxm.srcflagged list option;
pg_body : packbody;

}

Sourceand pack_instance = {

pi_model : Lv6Id.t;
pi_args : (Lv6Id.t * AstCore.static_arg Lxm.srcflagged) list;

}

Sourceand packbody = {

pk_const_table : (Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t;
pk_type_table : (Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t;
pk_node_table : (Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t;
pk_def_list : AstCore.item_ident list;

}

Sourceval give_pack_this_name : Lv6Id.pack_name -> packbody -> pack_info

Source

val make_packbody : 
  (Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t ->
  (Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t ->
  (Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t ->
  AstCore.item_ident list ->
  packbody

Sourceval lexeme_of_left_part : AstCore.left_part -> Lxm.t

Sourceval pack_or_model_to_string : pack_or_model -> string