Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/modules.mli
1 1
open Lustre_types
2 2

  
3
(* This module is used to load lusic files when open(ing) modules in
4
   lustre/lusi sources *)
3
(* This module is used to load lusic files when open(ing) modules in lustre/lusi
4
   sources *)
5 5

  
6
(* Load the provided program, either an actual program or a header lusi files:
7
   - reject program that define imported node
8
   - reject header that define lustre node
9
   - inject #include lus file into the program
10
   - loads #open lusic files
11
     - record the node name and check that they are uniquely defined
12
     - build the type/clock env from the imported nodes
6
(* Load the provided program, either an actual program or a header lusi files: -
7
   reject program that define imported node - reject header that define lustre
8
   node - inject #include lus file into the program - loads #open lusic files -
9
   record the node name and check that they are uniquely defined - build the
10
   type/clock env from the imported nodes
13 11

  
14
   Returns an extended prog along with dependencies of #open and a type/clock base env. 
15
 *)
16
val load: is_header:bool -> program_t -> program_t * dep_t list * ( Typing.type_expr Env.t * Clocks.clock_expr Env.t)
12
   Returns an extended prog along with dependencies of #open and a type/clock
13
   base env. *)
14
val load :
15
  is_header:bool ->
16
  program_t ->
17
  program_t * dep_t list * (Typing.type_expr Env.t * Clocks.clock_expr Env.t)
17 18

  
18
(* Returns an updated env with the type/clock declaration of the program  *)
19
val get_envs_from_top_decls: program_t -> Typing.type_expr Env.t * Clocks.clock_expr Env.t
20
 
19
(* Returns an updated env with the type/clock declaration of the program *)
20
val get_envs_from_top_decls :
21
  program_t -> Typing.type_expr Env.t * Clocks.clock_expr Env.t

Also available in: Unified diff