From 2544e1b304755e8df250e173b0b7681115257c68 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <jahier@imag.fr> Date: Fri, 30 May 2008 16:44:16 +0200 Subject: [PATCH] Do not try to guess a default node (i.e., the name of the file) when no node is provided at the command-line. Instead, compile all items even if the --compile-all-items option is not provided. --- src/TODO | 2 - src/compile.ml | 63 +++++++------- src/main.ml | 122 ++++++++++++++------------ src/test/test.res.exp | 195 ------------------------------------------ 4 files changed, 97 insertions(+), 285 deletions(-) diff --git a/src/TODO b/src/TODO index b809576f..e85ae349 100644 --- a/src/TODO +++ b/src/TODO @@ -105,8 +105,6 @@ n'est pas le cas pour l'instant... *** facile -* --compile-all-items devrait etre effectué par default quand -n - n'est pas fournit, plutot que de tenter un nom de noeud. * "1..2" ne marche pas car le lexer renvoie "1." ".2" diff --git a/src/compile.ml b/src/compile.ml index 692b164f..8520ca86 100644 --- a/src/compile.ml +++ b/src/compile.ml @@ -1,4 +1,4 @@ -(** Time-stamp: <modified the 28/05/2008 (at 14:08) by Erwan Jahier> *) +(** Time-stamp: <modified the 30/05/2008 (at 16:08) by Erwan Jahier> *) open Lxm @@ -15,38 +15,39 @@ let rec first_pack_in = open Global -let (doit : SyntaxTree.pack_or_model list -> Ident.idref -> unit) = - fun srclist main_node -> +let (doit : SyntaxTree.pack_or_model list -> Ident.idref option -> unit) = + fun srclist main_node -> let syntax_tab = SyntaxTab.create srclist in + (* Pour chaque package, on a un solveur de références + globales, pour les types, const et node : + - les références pointées (p::n) sont recherchées + directement dans la syntax_tab puisqu'il n'y a pas + d'ambiguité + - les références simples sont recherchées : + . dans le pack lui-même + . dans un des packs déclarés "uses", avec + priorité dans l'ordre + *) + let lzcomp = LazyCompiler.create syntax_tab in if Verbose.get_level () > 2 then SyntaxTab.dump syntax_tab; - Ident.set_dft_pack_name (first_pack_in srclist); - (* la clée "absolue" du main node (pas d'args statiques) *) - let main_node_key = - CompiledData.make_simple_node_key (Ident.long_of_idref main_node) - in - - Verbose.printf - "-- MAIN NODE: \"%s\"\n" - (CompiledDataDump.string_of_node_key main_node_key); - - (* Pour chaque package, on a un solveur de références - globales, pour les types, const et node : - - les références pointées (p::n) sont recherchées - directement dans la syntax_tab puisqu'il n'y a pas - d'ambiguité - - les références simples sont recherchées : - . dans le pack lui-même - . dans un des packs déclarés "uses", avec - priorité dans l'ordre - *) - let lzcomp = LazyCompiler.create syntax_tab in - if Global.vars.compile_all_items then - LazyCompiler.compile_all lzcomp - else - ignore(LazyCompiler.node_check lzcomp main_node_key - (match Ident.pack_of_idref main_node with - | None -> Lxm.dummy "" - | Some pn -> Lxm.dummy (Ident.pack_name_to_string pn))) + match main_node with + | None -> LazyCompiler.compile_all lzcomp + | Some main_node -> + (* la clée "absolue" du main node (pas d'args statiques) *) + let main_node_key = + CompiledData.make_simple_node_key (Ident.long_of_idref main_node) + in + Verbose.printf + "-- MAIN NODE: \"%s\"\n" + (CompiledDataDump.string_of_node_key main_node_key); + + if Global.vars.compile_all_items then + LazyCompiler.compile_all lzcomp + else + ignore(LazyCompiler.node_check lzcomp main_node_key + (match Ident.pack_of_idref main_node with + | None -> Lxm.dummy "" + | Some pn -> Lxm.dummy (Ident.pack_name_to_string pn))) diff --git a/src/main.ml b/src/main.ml index f71ec7a4..5cd22fb0 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1,4 +1,4 @@ -(** Time-stamp: <modified the 30/05/2008 (at 15:37) by Erwan Jahier> *) +(** Time-stamp: <modified the 30/05/2008 (at 16:41) by Erwan Jahier> *) (** Here follows a description of the different modules used by this lus2lic compiler. @@ -50,8 +50,6 @@ open Parsing open Format open Global -let usage_msg = - "usage: "^(Version.tool)^" [options] <lustre files> | "^(Version.tool)^" -help" (*--------------------------------------------------------- Les args sont des variables GLOBALES @@ -61,55 +59,63 @@ let print_version = function (x: unit) -> ( print_string (Version.str ^ "\n") ) -let rec set_infile = function (x:string) -> ( - if ( Global.vars.main_node = "" ) then ( -(* default node name = file name *) - try - Global.vars.main_node <- Filename.chop_extension (Filename.basename x) - with _ -> - print_string ("*** '" ^ x ^ "': Bad file name\n"); - exit 1 - ); - Global.vars.infiles <- Global.vars.infiles@[x] - -) -and arg_list = [ - ( "-version", Arg.Unit(fun x -> print_version () ; exit 0), - "\tprints the current version then exit" - ); - ( "-o", Arg.String(fun x -> Global.vars.outfile <- x), - "\t<file name> set the output file name" - ); - ( "-n", Arg.String(fun x -> Global.vars.main_node <- x), - "\t<node> set the main node" - ); - ( "--compile-all-items", Arg.Unit - (function x -> Global.vars.compile_all_items <- true), - "\tcompile all items of the program" - ); - ( "-unit", Arg.Unit (fun x -> Global.vars.run_unit_test <- true), - "\truns some (internal) unit tests" - ); - ( "-v", Arg.Unit (fun vl -> Verbose.set_level 1 ), - "\tset verbose mode on (i.e., verbose level = 1)" - ); - ( "-vl", Arg.Int(fun vl -> Verbose.set_level vl ), - "\t<int> set verbose level" - ); - ("-h", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)), - "\tdisplays this list of options." - ); - ("-help", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)),""); - ("-help", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)),"" ) -] -and - parse_args () = ( - Arg.parse arg_list (* liste des options *) - set_infile (* arg par defaut = fichier d'entree *) - usage_msg (* message d'erreur *) - ; - () - ) +let usage_msg = + "usage: "^(Version.tool)^" [options] <lustre files> | "^(Version.tool)^" -help" + + let rec set_infile = function (x:string) -> ( + Global.vars.infiles <- Global.vars.infiles@[x] + + ) + and arg_list = [ + ( "--version", Arg.Unit(fun x -> print_version () ; exit 0), + "\tPrint the current version then exit" + ); + ( "--output-file", Arg.String(fun x -> Global.vars.outfile <- x), "<file>" + ); + ( "-o", Arg.String(fun x -> Global.vars.outfile <- x), + "<file>\tSet the output file name" + ); + ( "--node", Arg.String(fun x -> Global.vars.main_node <- x), + "<node>" + ); + ( "-n", Arg.String(fun x -> Global.vars.main_node <- x), + "<node>\tSet the main node (all items are compiled if unset)" + ); + ( "--compile-all-items", Arg.Unit + (function x -> Global.vars.compile_all_items <- true), + "\t" + ); + ( "-all", Arg.Unit + (function x -> Global.vars.compile_all_items <- true), + "\t\tCompile all items of the program" + ); + ( "-unit", Arg.Unit (fun x -> Global.vars.run_unit_test <- true), + "\tRun some (internal) unit tests" + ); + ( "--verbose", Arg.Unit (fun vl -> Verbose.set_level 1 ), + "" + ); + ( "-v", Arg.Unit (fun vl -> Verbose.set_level 1 ), + "\t\tSet verbose mode on (i.e., verbose level = 1)" + ); + ( "--verbose-level", Arg.Int(fun vl -> Verbose.set_level vl ), "<int>" + ); + ( "-vl", Arg.Int(fun vl -> Verbose.set_level vl ), + "<int>\tSet verbose level" + ); + ("-h", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)), "" ); + ("-help", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)),"" ); + ("--help", Arg.Unit (fun _ -> (Arg.usage arg_list usage_msg; exit 0)), + "\tDisplay this list of options" ) + ] + and + parse_args () = ( + Arg.parse arg_list (* liste des options *) + set_infile (* arg par defaut = fichier d'entree *) + usage_msg (* message d'erreur *) + ; + () + ) let test_lex ( lexbuf ) = ( let tk = ref (Lexer.lexer lexbuf) in ( @@ -162,7 +168,7 @@ let (get_source_list : string list -> SyntaxTree.pack_or_model list) = let (get_one_source : string -> string list * maybe_packed) = fun infile -> let inchannel = - Verbose.print_string ~level:3 + Verbose.print_string ~level:1 ("Opening file " ^ (Sys.getcwd ()) ^ infile ^ "\n"); open_in infile in let lexbuf = Lexing.from_channel inchannel in @@ -171,7 +177,7 @@ let (get_source_list : string list -> SyntaxTree.pack_or_model list) = | PRPackBody(incl_files, pbdy) -> let nme = try Filename.chop_extension (Filename.basename infile) - with _ -> print_string ("*** '"^infile^"': Bad file name\n"); exit 1 + with _ -> print_string ("*** '"^infile^"': bad file name.\n"); exit 1 in let pi = SyntaxTree.give_pack_this_name (Ident.pack_name_of_string nme) pbdy @@ -232,9 +238,11 @@ let main = ( ); try ( let nsl = get_source_list Global.vars.infiles in - let main_node = Ident.idref_of_string Global.vars.main_node in - if Global.vars.outfile <> "" then - Global.oc := open_out Global.vars.outfile; + let main_node = + if Global.vars.main_node = "" then None else + Some (Ident.idref_of_string Global.vars.main_node) + in + if Global.vars.outfile <> "" then Global.oc := open_out Global.vars.outfile; Compile.doit nsl main_node; close_out !Global.oc ) with diff --git a/src/test/test.res.exp b/src/test/test.res.exp index ee81e88e..901b05d9 100644 --- a/src/test/test.res.exp +++ b/src/test/test.res.exp @@ -18,7 +18,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/CURRENT.lus - Raw Package table: CURRENT - Package manager table: CURRENT End of Syntax table dump. » --- MAIN NODE: "CURRENT__CURRENT" *** Dump the exported items of the packages. * package CURRENT Exported types: @@ -57,7 +56,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Int.lus - Raw Package table: mainPack Int8 - Package manager table: mainPack Int8 End of Syntax table dump. » --- MAIN NODE: "Int8__Int" *** Dump the exported items of the packages. * package Int8 Exported types: @@ -122,7 +120,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND.lus - Raw Package table: PCOND - Package manager table: PCOND End of Syntax table dump. » --- MAIN NODE: "PCOND__PCOND" *** Dump the exported items of the packages. * package PCOND Exported types: @@ -168,7 +165,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND1.lus - Raw Package table: PCOND1 - Package manager table: PCOND1 End of Syntax table dump. » --- MAIN NODE: "PCOND1__PCOND1" *** Dump the exported items of the packages. * package PCOND1 Exported types: @@ -210,7 +206,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/SOURIS.lus - Raw Package table: SOURIS - Package manager table: SOURIS End of Syntax table dump. » --- MAIN NODE: "SOURIS__SOURIS" *** Dump the exported items of the packages. * package SOURIS Exported types: @@ -359,7 +354,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Watch.lus - Raw Package table: Watch - Package manager table: Watch End of Syntax table dump. » --- MAIN NODE: "Watch__Watch" *** Dump the exported items of the packages. * package Watch Exported types: @@ -842,7 +836,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X.lus - Raw Package table: X - Package manager table: X End of Syntax table dump. » --- MAIN NODE: "X__X" *** Dump the exported items of the packages. * package X Exported types: @@ -874,7 +867,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X1.lus - Raw Package table: X1 - Package manager table: X1 End of Syntax table dump. » --- MAIN NODE: "X1__X1" *** Dump the exported items of the packages. * package X1 Exported types: @@ -904,7 +896,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X2.lus - Raw Package table: X2 - Package manager table: X2 End of Syntax table dump. » --- MAIN NODE: "X2__X2" *** Dump the exported items of the packages. * package X2 Exported types: @@ -934,7 +925,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X3.lus - Raw Package table: X3 - Package manager table: X3 End of Syntax table dump. » --- MAIN NODE: "X3__X3" *** Dump the exported items of the packages. * package X3 Exported types: @@ -977,7 +967,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X6.lus - Raw Package table: X6 - Package manager table: X6 End of Syntax table dump. » --- MAIN NODE: "X6__X6" *** Dump the exported items of the packages. * package X6 Exported types: @@ -1024,7 +1013,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/_N_uu.lus - Raw Package table: _N_uu - Package manager table: _N_uu End of Syntax table dump. » --- MAIN NODE: "_N_uu___N_uu" *** Dump the exported items of the packages. * package _N_uu Exported types: @@ -1079,7 +1067,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/activation_ec.lus - Raw Package table: activation_ec - Package manager table: activation_ec End of Syntax table dump. » --- MAIN NODE: "activation_ec__activation_ec" *** Dump the exported items of the packages. * package activation_ec Exported types: @@ -1114,7 +1101,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/after.lus - Raw Package table: after - Package manager table: after End of Syntax table dump. » --- MAIN NODE: "after__after" *** Dump the exported items of the packages. * package after Exported types: @@ -1150,7 +1136,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/alarme.lus - Raw Package table: alarme - Package manager table: alarme End of Syntax table dump. » --- MAIN NODE: "alarme__alarme" *** Dump the exported items of the packages. * package alarme Exported types: @@ -1248,7 +1233,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/arbitre.lus - Raw Package table: arbitre - Package manager table: arbitre End of Syntax table dump. » --- MAIN NODE: "arbitre__arbitre" *** Dump the exported items of the packages. * package arbitre Exported types: @@ -1349,7 +1333,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/argos.lus - Raw Package table: argos - Package manager table: argos End of Syntax table dump. » --- MAIN NODE: "argos__argos" *** Dump the exported items of the packages. * package argos Exported types: @@ -1390,7 +1373,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/assertion.lus - Raw Package table: assertion - Package manager table: assertion End of Syntax table dump. » --- MAIN NODE: "assertion__assertion" *** Dump the exported items of the packages. * package assertion Exported types: @@ -1431,7 +1413,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux.lus - Raw Package table: aux - Package manager table: aux End of Syntax table dump. » --- MAIN NODE: "aux__aux" *** Dump the exported items of the packages. * package aux Exported types: @@ -1461,7 +1442,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux1.lus - Raw Package table: aux1 - Package manager table: aux1 End of Syntax table dump. » --- MAIN NODE: "aux1__aux1" *** Dump the exported items of the packages. * package aux1 Exported types: @@ -1492,7 +1472,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/bascule.lus - Raw Package table: bascule - Package manager table: bascule End of Syntax table dump. » --- MAIN NODE: "bascule__bascule" *** Dump the exported items of the packages. * package bascule Exported types: @@ -1526,7 +1505,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/call.lus - Raw Package table: call - Package manager table: call End of Syntax table dump. » --- MAIN NODE: "call__call" *** Dump the exported items of the packages. * package call Exported types: @@ -1567,7 +1545,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck2.lus - Raw Package table: ck2 - Package manager table: ck2 End of Syntax table dump. » --- MAIN NODE: "ck2__ck2" *** Dump the exported items of the packages. * package ck2 Exported types: @@ -1597,7 +1574,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck3.lus - Raw Package table: ck3 - Package manager table: ck3 End of Syntax table dump. » --- MAIN NODE: "ck3__ck3" *** Dump the exported items of the packages. * package ck3 Exported types: @@ -1627,7 +1603,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck4.lus - Raw Package table: ck4 - Package manager table: ck4 End of Syntax table dump. » --- MAIN NODE: "ck4__ck4" *** Dump the exported items of the packages. * package ck4 Exported types: @@ -1658,7 +1633,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck5.lus - Raw Package table: ck5 - Package manager table: ck5 End of Syntax table dump. » --- MAIN NODE: "ck5__ck5" *** Dump the exported items of the packages. * package ck5 Exported types: @@ -1695,7 +1669,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck6.lus - Raw Package table: ck6 - Package manager table: ck6 End of Syntax table dump. » --- MAIN NODE: "ck6__ck6" *** Dump the exported items of the packages. * package ck6 Exported types: @@ -1742,7 +1715,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck7.lus - Raw Package table: ck7 - Package manager table: ck7 End of Syntax table dump. » --- MAIN NODE: "ck7__ck7" *** Dump the exported items of the packages. * package ck7 Exported types: @@ -1778,7 +1750,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/clock.lus - Raw Package table: clock - Package manager table: clock End of Syntax table dump. » --- MAIN NODE: "clock__clock" *** Dump the exported items of the packages. * package clock Exported types: @@ -1830,7 +1801,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cminus.lus - Raw Package table: cminus - Package manager table: cminus End of Syntax table dump. » --- MAIN NODE: "cminus__cminus" *** Dump the exported items of the packages. * package cminus Exported types: @@ -1897,7 +1867,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/compteur.lus - Raw Package table: compteur - Package manager table: compteur End of Syntax table dump. » --- MAIN NODE: "compteur__compteur" *** Dump the exported items of the packages. * package compteur Exported types: @@ -1927,7 +1896,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cpt.lus - Raw Package table: cpt - Package manager table: cpt End of Syntax table dump. » --- MAIN NODE: "cpt__cpt" *** Dump the exported items of the packages. * package cpt Exported types: @@ -1961,7 +1929,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cst.lus - Raw Package table: cst - Package manager table: cst End of Syntax table dump. » --- MAIN NODE: "cst__cst" *** Dump the exported items of the packages. * package cst Exported types: @@ -2006,7 +1973,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/deconne.lus - Raw Package table: deconne - Package manager table: deconne End of Syntax table dump. » --- MAIN NODE: "deconne__deconne" *** Dump the exported items of the packages. * package deconne Exported types: @@ -2061,7 +2027,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dep.lus - Raw Package table: dep - Package manager table: dep End of Syntax table dump. » --- MAIN NODE: "dep__dep" *** Dump the exported items of the packages. * package dep Exported types: @@ -2093,7 +2058,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur.lus - Raw Package table: dependeur - Package manager table: dependeur End of Syntax table dump. » --- MAIN NODE: "dependeur__dependeur" *** Dump the exported items of the packages. * package dependeur Exported types: @@ -2139,7 +2103,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur_struct.lu - Raw Package table: dependeur_struct - Package manager table: dependeur_struct End of Syntax table dump. » --- MAIN NODE: "dependeur_struct__dependeur_struct" *** Dump the exported items of the packages. * package dependeur_struct Exported types: @@ -2185,7 +2148,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/drapfab.lus - Raw Package table: drapfab - Package manager table: drapfab End of Syntax table dump. » --- MAIN NODE: "drapfab__drapfab" *** Dump the exported items of the packages. * package drapfab Exported types: @@ -2243,7 +2205,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/enum.lus - Raw Package table: enum - Package manager table: enum End of Syntax table dump. » --- MAIN NODE: "enum__enum" *** Dump the exported items of the packages. * package enum Exported types: @@ -2289,7 +2250,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/eq1.lus - Raw Package table: eq1 - Package manager table: eq1 End of Syntax table dump. » --- MAIN NODE: "eq1__eq1" *** Dump the exported items of the packages. * package eq1 Exported types: @@ -2339,7 +2299,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ex.lus - Raw Package table: ex - Package manager table: ex End of Syntax table dump. » --- MAIN NODE: "ex__ex" *** Dump the exported items of the packages. * package ex Exported types: @@ -2380,7 +2339,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/exclusion.lus - Raw Package table: exclusion - Package manager table: exclusion End of Syntax table dump. » --- MAIN NODE: "exclusion__exclusion" *** Dump the exported items of the packages. * package exclusion Exported types: @@ -2425,7 +2383,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/fby.lus - Raw Package table: fby - Package manager table: fby End of Syntax table dump. » --- MAIN NODE: "fby__fby" *** Dump the exported items of the packages. * package fby Exported types: @@ -2456,7 +2413,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/flo.lus - Raw Package table: flo - Package manager table: flo End of Syntax table dump. » --- MAIN NODE: "flo__flo" *** Dump the exported items of the packages. * package flo Exported types: @@ -2511,7 +2467,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/hanane.lus - Raw Package table: hanane - Package manager table: hanane End of Syntax table dump. » --- MAIN NODE: "hanane__hanane" *** Dump the exported items of the packages. * package hanane Exported types: @@ -2573,7 +2528,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/import1.lus - Raw Package table: import1 - Package manager table: import1 End of Syntax table dump. » --- MAIN NODE: "import1__import1" *** Dump the exported items of the packages. * package import1 Exported types: @@ -2604,7 +2558,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/initial.lus - Raw Package table: initial - Package manager table: initial End of Syntax table dump. » --- MAIN NODE: "initial__initial" *** Dump the exported items of the packages. * package initial Exported types: @@ -2636,7 +2589,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/long_et_stupide_nom - Raw Package table: long_et_stupide_nom_de_noeud - Package manager table: long_et_stupide_nom_de_noeud End of Syntax table dump. » --- MAIN NODE: "long_et_stupide_nom_de_noeud__long_et_stupide_nom_de_noeud" *** Dump the exported items of the packages. * package long_et_stupide_nom_de_noeud Exported types: @@ -2670,7 +2622,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax1.lus - Raw Package table: minmax1 - Package manager table: minmax1 End of Syntax table dump. » --- MAIN NODE: "minmax1__minmax1" *** Dump the exported items of the packages. * package minmax1 Exported types: @@ -2701,7 +2652,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax2.lus - Raw Package table: minmax2 - Package manager table: minmax2 End of Syntax table dump. » --- MAIN NODE: "minmax2__minmax2" *** Dump the exported items of the packages. * package minmax2 Exported types: @@ -2737,7 +2687,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax3.lus - Raw Package table: minmax3 - Package manager table: minmax3 End of Syntax table dump. » --- MAIN NODE: "minmax3__minmax3" *** Dump the exported items of the packages. * package minmax3 Exported types: @@ -2787,7 +2736,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4.lus - Raw Package table: minmax4 - Package manager table: minmax4 End of Syntax table dump. » --- MAIN NODE: "minmax4__minmax4" *** Dump the exported items of the packages. * package minmax4 Exported types: @@ -2844,7 +2792,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4_bis.lus - Raw Package table: minmax4_bis - Package manager table: minmax4_bis End of Syntax table dump. » --- MAIN NODE: "minmax4_bis__minmax4_bis" *** Dump the exported items of the packages. * package minmax4_bis Exported types: @@ -2901,7 +2848,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5.lus - Raw Package table: minmax5 - Package manager table: minmax5 End of Syntax table dump. » --- MAIN NODE: "minmax5__minmax5" *** Dump the exported items of the packages. * package minmax5 Exported types: @@ -2954,7 +2900,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5_random.lus - Raw Package table: minmax5_random - Package manager table: minmax5_random End of Syntax table dump. » --- MAIN NODE: "minmax5_random__minmax5_random" *** Dump the exported items of the packages. * package minmax5_random Exported types: @@ -3013,7 +2958,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax6.lus - Raw Package table: minmax6 - Package manager table: minmax6 End of Syntax table dump. » --- MAIN NODE: "minmax6__minmax6" *** Dump the exported items of the packages. * package minmax6 Exported types: @@ -3088,7 +3032,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm.lus - Raw Package table: mm - Package manager table: mm End of Syntax table dump. » --- MAIN NODE: "mm__mm" *** Dump the exported items of the packages. * package mm Exported types: @@ -3122,7 +3065,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm1.lus - Raw Package table: mm1 - Package manager table: mm1 End of Syntax table dump. » --- MAIN NODE: "mm1__mm1" *** Dump the exported items of the packages. * package mm1 Exported types: @@ -3156,7 +3098,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm22.lus - Raw Package table: mm22 - Package manager table: mm22 End of Syntax table dump. » --- MAIN NODE: "mm22__mm22" *** Dump the exported items of the packages. * package mm22 Exported types: @@ -3191,7 +3132,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm3.lus - Raw Package table: mm3 - Package manager table: mm3 End of Syntax table dump. » --- MAIN NODE: "mm3__mm3" *** Dump the exported items of the packages. * package mm3 Exported types: @@ -3230,7 +3170,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse.lus - Raw Package table: mouse - Package manager table: mouse End of Syntax table dump. » --- MAIN NODE: "mouse__mouse" *** Dump the exported items of the packages. * package mouse Exported types: @@ -3285,7 +3224,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse1.lus - Raw Package table: mouse1 - Package manager table: mouse1 End of Syntax table dump. » --- MAIN NODE: "mouse1__mouse1" *** Dump the exported items of the packages. * package mouse1 Exported types: @@ -3334,7 +3272,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse2.lus - Raw Package table: mouse2 - Package manager table: mouse2 End of Syntax table dump. » --- MAIN NODE: "mouse2__mouse2" *** Dump the exported items of the packages. * package mouse2 Exported types: @@ -3389,7 +3326,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse3.lus - Raw Package table: mouse3 - Package manager table: mouse3 End of Syntax table dump. » --- MAIN NODE: "mouse3__mouse3" *** Dump the exported items of the packages. * package mouse3 Exported types: @@ -3432,7 +3368,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/multiclock.lus - Raw Package table: multiclock - Package manager table: multiclock End of Syntax table dump. » --- MAIN NODE: "multiclock__multiclock" *** Dump the exported items of the packages. * package multiclock Exported types: @@ -3476,7 +3411,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc1.lus - Raw Package table: nc1 - Package manager table: nc1 End of Syntax table dump. » --- MAIN NODE: "nc1__nc1" *** Dump the exported items of the packages. * package nc1 Exported types: @@ -3523,7 +3457,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc10.lus - Raw Package table: nc10 - Package manager table: nc10 End of Syntax table dump. » --- MAIN NODE: "nc10__nc10" *** Dump the exported items of the packages. * package nc10 Exported types: @@ -3590,7 +3523,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc2.lus - Raw Package table: nc2 - Package manager table: nc2 End of Syntax table dump. » --- MAIN NODE: "nc2__nc2" *** Dump the exported items of the packages. * package nc2 Exported types: @@ -3634,7 +3566,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc3.lus - Raw Package table: nc3 - Package manager table: nc3 End of Syntax table dump. » --- MAIN NODE: "nc3__nc3" *** Dump the exported items of the packages. * package nc3 Exported types: @@ -3681,7 +3612,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc4.lus - Raw Package table: nc4 - Package manager table: nc4 End of Syntax table dump. » --- MAIN NODE: "nc4__nc4" *** Dump the exported items of the packages. * package nc4 Exported types: @@ -3740,7 +3670,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc5.lus - Raw Package table: nc5 - Package manager table: nc5 End of Syntax table dump. » --- MAIN NODE: "nc5__nc5" *** Dump the exported items of the packages. * package nc5 Exported types: @@ -3797,7 +3726,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc6.lus - Raw Package table: nc6 - Package manager table: nc6 End of Syntax table dump. » --- MAIN NODE: "nc6__nc6" *** Dump the exported items of the packages. * package nc6 Exported types: @@ -3854,7 +3782,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc7.lus - Raw Package table: nc7 - Package manager table: nc7 End of Syntax table dump. » --- MAIN NODE: "nc7__nc7" *** Dump the exported items of the packages. * package nc7 Exported types: @@ -3919,7 +3846,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc8.lus - Raw Package table: nc8 - Package manager table: nc8 End of Syntax table dump. » --- MAIN NODE: "nc8__nc8" *** Dump the exported items of the packages. * package nc8 Exported types: @@ -3976,7 +3902,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc9.lus - Raw Package table: nc9 - Package manager table: nc9 End of Syntax table dump. » --- MAIN NODE: "nc9__nc9" *** Dump the exported items of the packages. * package nc9 Exported types: @@ -4047,7 +3972,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/node_caller1.lus - Raw Package table: node_caller1 - Package manager table: node_caller1 End of Syntax table dump. » --- MAIN NODE: "node_caller1__node_caller1" *** Dump the exported items of the packages. * package node_caller1 Exported types: @@ -4102,7 +4026,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/o2l_feux_compl.lus - Raw Package table: o2l_feux_compl - Package manager table: o2l_feux_compl End of Syntax table dump. » --- MAIN NODE: "o2l_feux_compl__o2l_feux_compl" *** Dump the exported items of the packages. * package o2l_feux_compl Exported types: @@ -4390,7 +4313,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/patrick.lus - Raw Package table: patrick - Package manager table: patrick End of Syntax table dump. » --- MAIN NODE: "patrick__patrick" *** Dump the exported items of the packages. * package patrick Exported types: @@ -4422,7 +4344,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/poussoir.lus - Raw Package table: poussoir - Package manager table: poussoir End of Syntax table dump. » --- MAIN NODE: "poussoir__poussoir" *** Dump the exported items of the packages. * package poussoir Exported types: @@ -4470,7 +4391,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/rs.lus - Raw Package table: rs - Package manager table: rs End of Syntax table dump. » --- MAIN NODE: "rs__rs" *** Dump the exported items of the packages. * package rs Exported types: @@ -4503,7 +4423,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/s.lus - Raw Package table: s - Package manager table: s End of Syntax table dump. » --- MAIN NODE: "s__s" *** Dump the exported items of the packages. * package s Exported types: @@ -4547,7 +4466,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/simple.lus - Raw Package table: simple - Package manager table: simple End of Syntax table dump. » --- MAIN NODE: "simple__simple" *** Dump the exported items of the packages. * package simple Exported types: @@ -4602,7 +4520,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/stopwatch.lus - Raw Package table: stopwatch - Package manager table: stopwatch End of Syntax table dump. » --- MAIN NODE: "stopwatch__stopwatch" *** Dump the exported items of the packages. * package stopwatch Exported types: @@ -4666,7 +4583,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/testCA.lus - Raw Package table: testCA - Package manager table: testCA End of Syntax table dump. » --- MAIN NODE: "testCA__testCA" *** Dump the exported items of the packages. * package testCA Exported types: @@ -4712,7 +4628,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial.lus - Raw Package table: trivial - Package manager table: trivial End of Syntax table dump. » --- MAIN NODE: "trivial__trivial" *** Dump the exported items of the packages. * package trivial Exported types: @@ -4748,7 +4663,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial2.lus - Raw Package table: trivial2 - Package manager table: trivial2 End of Syntax table dump. » --- MAIN NODE: "trivial2__trivial2" *** Dump the exported items of the packages. * package trivial2 Exported types: @@ -4783,7 +4697,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/uu.lus - Raw Package table: uu - Package manager table: uu End of Syntax table dump. » --- MAIN NODE: "uu__uu" *** Dump the exported items of the packages. * package uu Exported types: @@ -4838,7 +4751,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/v1.lus - Raw Package table: v1 - Package manager table: v1 End of Syntax table dump. » --- MAIN NODE: "v1__v1" *** Dump the exported items of the packages. * package v1 Exported types: @@ -4871,7 +4783,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/consensus.lus - Raw Package table: consensus - Package manager table: consensus End of Syntax table dump. » --- MAIN NODE: "consensus__consensus" *** Dump the exported items of the packages. * package consensus Exported types: @@ -4900,7 +4811,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/fby.lus - Raw Package table: fby - Package manager table: fby End of Syntax table dump. » --- MAIN NODE: "fby__fby" *** Dump the exported items of the packages. * package fby Exported types: @@ -4936,7 +4846,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/func_with_body.lus - Raw Package table: func_with_body - Package manager table: func_with_body End of Syntax table dump. » --- MAIN NODE: "func_with_body__func_with_body" *** Dump the exported items of the packages. * package func_with_body Exported types: @@ -4981,7 +4890,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/heater_control.lus - Raw Package table: heater_control - Package manager table: heater_control End of Syntax table dump. » --- MAIN NODE: "heater_control__heater_control" *** Dump the exported items of the packages. * package heater_control Exported types: @@ -5126,7 +5034,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/left.lus - Raw Package table: left - Package manager table: left End of Syntax table dump. » --- MAIN NODE: "left__left" *** Dump the exported items of the packages. * package left Exported types: @@ -5185,7 +5092,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/newpacks.lus - Raw Package table: inter mainPack pint pbool preal - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "pint__newpacks" *** Dump the exported items of the packages. * package preal Exported types: @@ -5324,7 +5230,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/onlyroll.lus - Raw Package table: onlyroll - Package manager table: onlyroll End of Syntax table dump. » --- MAIN NODE: "onlyroll__onlyroll" *** Dump the exported items of the packages. * package onlyroll Exported types: @@ -5852,7 +5757,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/p.lus - Raw Package table: inter mainPack pint pbool preal - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "pint__p" *** Dump the exported items of the packages. * package preal Exported types: @@ -5971,7 +5875,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/packs.lus - Raw Package table: inter mainPack pint pbool preal - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "pint__packs" *** Dump the exported items of the packages. * package preal Exported types: @@ -6075,7 +5978,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/struct0.lus - Raw Package table: struct0 - Package manager table: struct0 End of Syntax table dump. » --- MAIN NODE: "struct0__struct0" *** Dump the exported items of the packages. * package struct0 Exported types: @@ -6116,7 +6018,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t.lus - Raw Package table: t - Package manager table: t End of Syntax table dump. » --- MAIN NODE: "t__t" *** Dump the exported items of the packages. * package t Exported types: @@ -6153,7 +6054,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t0.lus - Raw Package table: t0 - Package manager table: t0 End of Syntax table dump. » --- MAIN NODE: "t0__t0" *** Dump the exported items of the packages. * package t0 Exported types: @@ -6183,7 +6083,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t1.lus - Raw Package table: t1 - Package manager table: t1 End of Syntax table dump. » --- MAIN NODE: "t1__t1" *** Dump the exported items of the packages. * package t1 Exported types: @@ -6213,7 +6112,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t2.lus - Raw Package table: t2 - Package manager table: t2 End of Syntax table dump. » --- MAIN NODE: "t2__t2" *** Dump the exported items of the packages. * package t2 Exported types: @@ -6241,7 +6139,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/test.lus - Raw Package table: P1 - Package manager table: P1 End of Syntax table dump. » --- MAIN NODE: "P1__test" *** Dump the exported items of the packages. * package P1 Exported types: @@ -6268,7 +6165,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/trivial.lus - Raw Package table: trivial - Package manager table: trivial End of Syntax table dump. » --- MAIN NODE: "trivial__trivial" *** Dump the exported items of the packages. * package trivial Exported types: @@ -6298,7 +6194,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/bad_call02.lus - Raw Package table: bad_call02 - Package manager table: bad_call02 End of Syntax table dump. » --- MAIN NODE: "bad_call02__bad_call02" *** Dump the exported items of the packages. * package bad_call02 Exported types: @@ -6330,7 +6225,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call01.lus - Raw Package table: call01 - Package manager table: call01 End of Syntax table dump. » --- MAIN NODE: "call01__call01" *** Dump the exported items of the packages. * package call01 Exported types: @@ -6368,7 +6262,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call02.lus - Raw Package table: call02 - Package manager table: call02 End of Syntax table dump. » --- MAIN NODE: "call02__call02" *** Dump the exported items of the packages. * package call02 Exported types: @@ -6410,7 +6303,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call03.lus - Raw Package table: call03 - Package manager table: call03 End of Syntax table dump. » --- MAIN NODE: "call03__call03" *** Dump the exported items of the packages. * package call03 Exported types: @@ -6449,7 +6341,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call04.lus - Raw Package table: call04 - Package manager table: call04 End of Syntax table dump. » --- MAIN NODE: "call04__call04" *** Dump the exported items of the packages. * package call04 Exported types: @@ -6495,7 +6386,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call05.lus - Raw Package table: call05 - Package manager table: call05 End of Syntax table dump. » --- MAIN NODE: "call05__call05" *** Dump the exported items of the packages. * package call05 Exported types: @@ -6527,7 +6417,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call06.lus - Raw Package table: call06 - Package manager table: call06 End of Syntax table dump. » --- MAIN NODE: "call06__call06" *** Dump the exported items of the packages. * package call06 Exported types: @@ -6560,7 +6449,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/call/call07.lus - Raw Package table: call07 - Package manager table: call07 End of Syntax table dump. » --- MAIN NODE: "call07__call07" *** Dump the exported items of the packages. * package call07 Exported types: @@ -6631,7 +6519,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/Gyroscope2.lus - Raw Package table: Gyroscope2 - Package manager table: Gyroscope2 End of Syntax table dump. » --- MAIN NODE: "Gyroscope2__Gyroscope2" *** Dump the exported items of the packages. * package Gyroscope2 Exported types: @@ -7106,7 +6993,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/alias.lus - Raw Package table: alias - Package manager table: alias End of Syntax table dump. » --- MAIN NODE: "alias__alias" *** Dump the exported items of the packages. * package alias Exported types: @@ -7167,7 +7053,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred.lus - Raw Package table: bred - Package manager table: bred End of Syntax table dump. » --- MAIN NODE: "bred__bred" *** Dump the exported items of the packages. * package bred Exported types: @@ -7198,7 +7083,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred_lv4.lus - Raw Package table: bred_lv4 - Package manager table: bred_lv4 End of Syntax table dump. » --- MAIN NODE: "bred_lv4__bred_lv4" *** Dump the exported items of the packages. * package bred_lv4 Exported types: @@ -7232,7 +7116,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock.lus - Raw Package table: clock - Package manager table: clock End of Syntax table dump. » --- MAIN NODE: "clock__clock" *** Dump the exported items of the packages. * package clock Exported types: @@ -7273,7 +7156,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock1_2ms.lus - Raw Package table: clock1_2ms - Package manager table: clock1_2ms End of Syntax table dump. » --- MAIN NODE: "clock1_2ms__clock1_2ms" *** Dump the exported items of the packages. * package clock1_2ms Exported types: @@ -7340,7 +7222,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/decl.lus - Raw Package table: decl - Package manager table: decl End of Syntax table dump. » --- MAIN NODE: "decl__decl" *** Dump the exported items of the packages. * package decl Exported types: @@ -7430,7 +7311,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/declaration.lus - Raw Package table: declaration - Package manager table: declaration End of Syntax table dump. » --- MAIN NODE: "declaration__declaration" *** Dump the exported items of the packages. * package declaration Exported types: @@ -7527,7 +7407,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/def.lus - Raw Package table: def - Package manager table: def End of Syntax table dump. » --- MAIN NODE: "def__def" *** Dump the exported items of the packages. * package def Exported types: @@ -7615,7 +7494,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/filliter.lus - Raw Package table: filliter - Package manager table: filliter End of Syntax table dump. » --- MAIN NODE: "filliter__filliter" *** Dump the exported items of the packages. * package filliter Exported types: @@ -7674,7 +7552,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/filter.lus - Raw Package table: filter - Package manager table: filter End of Syntax table dump. » --- MAIN NODE: "filter__filter" *** Dump the exported items of the packages. * package filter Exported types: @@ -7717,7 +7594,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/lustre_test1_ok.lus - Raw Package table: lustre_test1_ok - Package manager table: lustre_test1_ok End of Syntax table dump. » --- MAIN NODE: "lustre_test1_ok__lustre_test1_ok" *** Dump the exported items of the packages. * package lustre_test1_ok Exported types: @@ -7817,7 +7693,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/map_red_iter.lus - Raw Package table: map_red_iter - Package manager table: map_red_iter End of Syntax table dump. » --- MAIN NODE: "map_red_iter__map_red_iter" *** Dump the exported items of the packages. * package map_red_iter Exported types: @@ -7887,7 +7762,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapdeRed.lus - Raw Package table: mapdeRed - Package manager table: mapdeRed End of Syntax table dump. » --- MAIN NODE: "mapdeRed__mapdeRed" *** Dump the exported items of the packages. * package mapdeRed Exported types: @@ -7936,7 +7810,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapiter.lus - Raw Package table: mapiter - Package manager table: mapiter End of Syntax table dump. » --- MAIN NODE: "mapiter__mapiter" *** Dump the exported items of the packages. * package mapiter Exported types: @@ -7975,7 +7848,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/mappredef.lus - Raw Package table: mappredef - Package manager table: mappredef End of Syntax table dump. » --- MAIN NODE: "mappredef__mappredef" *** Dump the exported items of the packages. * package mappredef Exported types: @@ -8019,7 +7891,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/plus.lus - Raw Package table: plus - Package manager table: plus End of Syntax table dump. » --- MAIN NODE: "plus__plus" *** Dump the exported items of the packages. * package plus Exported types: @@ -8053,7 +7924,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/pre_x.lus - Raw Package table: pre_x - Package manager table: pre_x End of Syntax table dump. » --- MAIN NODE: "pre_x__pre_x" *** Dump the exported items of the packages. * package pre_x Exported types: @@ -8084,7 +7954,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/rediter.lus - Raw Package table: rediter - Package manager table: rediter End of Syntax table dump. » --- MAIN NODE: "rediter__rediter" *** Dump the exported items of the packages. * package rediter Exported types: @@ -8120,7 +7989,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/redoptest.lus - Raw Package table: redoptest - Package manager table: redoptest End of Syntax table dump. » --- MAIN NODE: "redoptest__redoptest" *** Dump the exported items of the packages. * package redoptest Exported types: @@ -8158,7 +8026,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/demo/sample_time_change.lu - Raw Package table: sample_time_change - Package manager table: sample_time_change End of Syntax table dump. » --- MAIN NODE: "sample_time_change__sample_time_change" *** Dump the exported items of the packages. * package sample_time_change Exported types: @@ -8266,7 +8133,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/bob.lus - Raw Package table: bob - Package manager table: bob End of Syntax table dump. » --- MAIN NODE: "bob__bob" *** Dump the exported items of the packages. * package bob Exported types: @@ -8297,7 +8163,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/def.lus - Raw Package table: def - Package manager table: def End of Syntax table dump. » --- MAIN NODE: "def__def" *** Dump the exported items of the packages. * package def Exported types: @@ -8330,7 +8195,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/ex.lus - Raw Package table: ex - Package manager table: ex End of Syntax table dump. » --- MAIN NODE: "ex__ex" *** Dump the exported items of the packages. * package ex Exported types: @@ -8375,7 +8239,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iter.lus - Raw Package table: iter - Package manager table: iter End of Syntax table dump. » --- MAIN NODE: "iter__iter" *** Dump the exported items of the packages. * package iter Exported types: @@ -8452,7 +8315,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iterate.lus - Raw Package table: iterate - Package manager table: iterate End of Syntax table dump. » --- MAIN NODE: "iterate__iterate" *** Dump the exported items of the packages. * package iterate Exported types: @@ -8557,7 +8419,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lecteur.lus - Raw Package table: lecteur - Package manager table: lecteur End of Syntax table dump. » --- MAIN NODE: "lecteur__lecteur" *** Dump the exported items of the packages. * package lecteur Exported types: @@ -8636,7 +8497,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lucky.lus - Raw Package table: lucky - Package manager table: lucky End of Syntax table dump. » --- MAIN NODE: "lucky__lucky" *** Dump the exported items of the packages. * package lucky Exported types: @@ -8705,7 +8565,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel.lus - Raw Package table: morel - Package manager table: morel End of Syntax table dump. » --- MAIN NODE: "morel__morel" *** Dump the exported items of the packages. * package morel Exported types: @@ -8780,7 +8639,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel2.lus - Raw Package table: morel2 - Package manager table: morel2 End of Syntax table dump. » --- MAIN NODE: "morel2__morel2" *** Dump the exported items of the packages. * package morel2 Exported types: @@ -8844,7 +8702,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel3.lus - Raw Package table: morel3 - Package manager table: morel3 End of Syntax table dump. » --- MAIN NODE: "morel3__morel3" *** Dump the exported items of the packages. * package morel3 Exported types: @@ -8921,7 +8778,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel4.lus - Raw Package table: morel4 - Package manager table: morel4 End of Syntax table dump. » --- MAIN NODE: "morel4__morel4" *** Dump the exported items of the packages. * package morel4 Exported types: @@ -9006,7 +8862,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel5.lus - Raw Package table: morel5 - Package manager table: morel5 End of Syntax table dump. » --- MAIN NODE: "morel5__morel5" *** Dump the exported items of the packages. * package morel5 Exported types: @@ -9083,7 +8938,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/noAlarm.lus - Raw Package table: noAlarm - Package manager table: noAlarm End of Syntax table dump. » --- MAIN NODE: "noAlarm__noAlarm" *** Dump the exported items of the packages. * package noAlarm Exported types: @@ -9113,7 +8967,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/notTwo.lus - Raw Package table: notTwo - Package manager table: notTwo End of Syntax table dump. » --- MAIN NODE: "notTwo__notTwo" *** Dump the exported items of the packages. * package notTwo Exported types: @@ -9195,7 +9048,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll.lus - Raw Package table: onlyroll - Package manager table: onlyroll End of Syntax table dump. » --- MAIN NODE: "onlyroll__onlyroll" *** Dump the exported items of the packages. * package onlyroll Exported types: @@ -9752,7 +9604,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll2.lus - Raw Package table: onlyroll2 - Package manager table: onlyroll2 End of Syntax table dump. » --- MAIN NODE: "onlyroll2__onlyroll2" *** Dump the exported items of the packages. * package onlyroll2 Exported types: @@ -10262,7 +10113,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/test.lus - Raw Package table: test - Package manager table: test End of Syntax table dump. » --- MAIN NODE: "test__test" *** Dump the exported items of the packages. * package test Exported types: @@ -10321,7 +10171,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/titi.lus - Raw Package table: titi - Package manager table: titi End of Syntax table dump. » --- MAIN NODE: "titi__titi" *** Dump the exported items of the packages. * package titi Exported types: @@ -10363,7 +10212,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toolate.lus - Raw Package table: toolate - Package manager table: toolate End of Syntax table dump. » --- MAIN NODE: "toolate__toolate" *** Dump the exported items of the packages. * package toolate Exported types: @@ -10448,7 +10296,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toto.lus - Raw Package table: toto - Package manager table: toto End of Syntax table dump. » --- MAIN NODE: "toto__toto" *** Dump the exported items of the packages. * package toto Exported types: @@ -10483,7 +10330,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/FillFollowedByRed.l - Raw Package table: FillFollowedByRed - Package manager table: FillFollowedByRed End of Syntax table dump. » --- MAIN NODE: "FillFollowedByRed__FillFollowedByRed" *** Dump the exported items of the packages. * package FillFollowedByRed Exported types: @@ -10579,7 +10425,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/Gyroscope.lus - Raw Package table: Gyroscope - Package manager table: Gyroscope End of Syntax table dump. » --- MAIN NODE: "Gyroscope__Gyroscope" *** Dump the exported items of the packages. * package Gyroscope Exported types: @@ -10946,7 +10791,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/produit - Raw Package table: produitBool - Package manager table: produitBool End of Syntax table dump. » --- MAIN NODE: "produitBool__produitBool" *** Dump the exported items of the packages. * package produitBool Exported types: @@ -11108,7 +10952,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shiftFi - Raw Package table: shiftFill_ludic - Package manager table: shiftFill_ludic End of Syntax table dump. » --- MAIN NODE: "shiftFill_ludic__shiftFill_ludic" *** Dump the exported items of the packages. * package shiftFill_ludic Exported types: @@ -11213,7 +11056,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shift_l - Raw Package table: shift_ludic - Package manager table: shift_ludic End of Syntax table dump. » --- MAIN NODE: "shift_ludic__shift_ludic" *** Dump the exported items of the packages. * package shift_ludic Exported types: @@ -11331,7 +11173,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/arrays.lus - Raw Package table: arrays - Package manager table: arrays End of Syntax table dump. » --- MAIN NODE: "arrays__arrays" *** Dump the exported items of the packages. * package arrays Exported types: @@ -11447,7 +11288,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/calculs_max.lus - Raw Package table: calculs_max - Package manager table: calculs_max End of Syntax table dump. » --- MAIN NODE: "calculs_max__calculs_max" *** Dump the exported items of the packages. * package calculs_max Exported types: @@ -11536,7 +11376,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/deSimone.lus - Raw Package table: deSimone - Package manager table: deSimone End of Syntax table dump. » --- MAIN NODE: "deSimone__deSimone" *** Dump the exported items of the packages. * package deSimone Exported types: @@ -11616,7 +11455,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/iterFibo.lus - Raw Package table: iterFibo - Package manager table: iterFibo End of Syntax table dump. » --- MAIN NODE: "iterFibo__iterFibo" *** Dump the exported items of the packages. * package iterFibo Exported types: @@ -11667,7 +11505,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/mapiter.lus - Raw Package table: mapiter - Package manager table: mapiter End of Syntax table dump. » --- MAIN NODE: "mapiter__mapiter" *** Dump the exported items of the packages. * package mapiter Exported types: @@ -11755,7 +11592,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice.lus - Raw Package table: matrice - Package manager table: matrice End of Syntax table dump. » --- MAIN NODE: "matrice__matrice" *** Dump the exported items of the packages. * package matrice Exported types: @@ -11798,7 +11634,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice2.lus - Raw Package table: matrice2 - Package manager table: matrice2 End of Syntax table dump. » --- MAIN NODE: "matrice2__matrice2" *** Dump the exported items of the packages. * package matrice2 Exported types: @@ -11834,7 +11669,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/minus.lus - Raw Package table: minus - Package manager table: minus End of Syntax table dump. » --- MAIN NODE: "minus__minus" *** Dump the exported items of the packages. * package minus Exported types: @@ -11890,7 +11724,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/moyenne.lus - Raw Package table: moyenne - Package manager table: moyenne End of Syntax table dump. » --- MAIN NODE: "moyenne__moyenne" *** Dump the exported items of the packages. * package moyenne Exported types: @@ -11986,7 +11819,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/normal.lus - Raw Package table: normal - Package manager table: normal End of Syntax table dump. » --- MAIN NODE: "normal__normal" *** Dump the exported items of the packages. * package normal Exported types: @@ -12366,7 +12198,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/pipeline.lus - Raw Package table: pipeline - Package manager table: pipeline End of Syntax table dump. » --- MAIN NODE: "pipeline__pipeline" *** Dump the exported items of the packages. * package pipeline Exported types: @@ -12428,7 +12259,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/predefOp.lus - Raw Package table: predefOp - Package manager table: predefOp End of Syntax table dump. » --- MAIN NODE: "predefOp__predefOp" *** Dump the exported items of the packages. * package predefOp Exported types: @@ -12560,7 +12390,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/redIf.lus - Raw Package table: redIf - Package manager table: redIf End of Syntax table dump. » --- MAIN NODE: "redIf__redIf" *** Dump the exported items of the packages. * package redIf Exported types: @@ -12597,7 +12426,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/simpleRed.lus - Raw Package table: simpleRed - Package manager table: simpleRed End of Syntax table dump. » --- MAIN NODE: "simpleRed__simpleRed" *** Dump the exported items of the packages. * package simpleRed Exported types: @@ -12672,7 +12500,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/testSilus.lus - Raw Package table: testSilus - Package manager table: testSilus End of Syntax table dump. » --- MAIN NODE: "testSilus__testSilus" *** Dump the exported items of the packages. * package testSilus Exported types: @@ -13009,7 +12836,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/lionel/triSel.lus - Raw Package table: triSel - Package manager table: triSel End of Syntax table dump. » --- MAIN NODE: "triSel__triSel" *** Dump the exported items of the packages. * package triSel Exported types: @@ -13176,7 +13002,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/Condact.lus - Raw Package table: Main TestCondact Util - Package manager table: Main TestCondact Util End of Syntax table dump. » --- MAIN NODE: "Util__Condact" *** Dump the exported items of the packages. * package Util Exported types: @@ -13235,7 +13060,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForEle - Raw Package table: contractForElementSelectionInArray - Package manager table: contractForElementSelectionInArray End of Syntax table dump. » --- MAIN NODE: "contractForElementSelectionInArray__contractForElementSelectionInArray" *** Dump the exported items of the packages. * package contractForElementSelectionInArray Exported types: @@ -13318,7 +13142,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForEle - Raw Package table: main util intArray - Package manager table: main util intArray End of Syntax table dump. » --- MAIN NODE: "util__main" *** Dump the exported items of the packages. * package intArray Exported types: @@ -13388,7 +13211,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForEle - Raw Package table: noeudsIndependants - Package manager table: noeudsIndependants End of Syntax table dump. » --- MAIN NODE: "noeudsIndependants__noeudsIndependants" *** Dump the exported items of the packages. * package noeudsIndependants Exported types: @@ -13453,7 +13275,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForEle - Raw Package table: tri - Package manager table: tri End of Syntax table dump. » --- MAIN NODE: "tri__tri" *** Dump the exported items of the packages. * package tri Exported types: @@ -13635,7 +13456,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages.lus - Raw Package table: inter mainPack pint pbool preal - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "pint__packages" *** Dump the exported items of the packages. * package preal Exported types: @@ -13744,7 +13564,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages2.lus - Raw Package table: main inter pint pbool preal - Package manager table: main inter pint pbool preal End of Syntax table dump. » --- MAIN NODE: "pint__packages2" *** Dump the exported items of the packages. * package preal Exported types: @@ -13842,7 +13661,6 @@ Opening file /home/jahier/lus2lic/src/testshould_work/to_sort_out/asservi.lus - Raw Package table: asservi - Package manager table: asservi End of Syntax table dump. » --- MAIN NODE: "asservi__asservi" *** Dump the exported items of the packages. * package asservi Exported types: @@ -13947,7 +13765,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/clock/clock.lus - Raw Package table: clock - Package manager table: clock End of Syntax table dump. » --- MAIN NODE: "clock__clock" *** Dump the exported items of the packages. * package clock Exported types: @@ -13988,7 +13805,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation1.lus - Raw Package table: activation1 - Package manager table: activation1 End of Syntax table dump. » --- MAIN NODE: "activation1__activation1" *** Dump the exported items of the packages. * package activation1 Exported types: @@ -14035,7 +13851,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation2.lus - Raw Package table: activation2 - Package manager table: activation2 End of Syntax table dump. » --- MAIN NODE: "activation2__activation2" *** Dump the exported items of the packages. * package activation2 Exported types: @@ -14082,7 +13897,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call01.lus - Raw Package table: bad_call01 - Package manager table: bad_call01 End of Syntax table dump. » --- MAIN NODE: "bad_call01__bad_call01" *** Dump the exported items of the packages. * package bad_call01 Exported types: @@ -14112,7 +13926,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call03.lus - Raw Package table: bad_call03 - Package manager table: bad_call03 End of Syntax table dump. » --- MAIN NODE: "bad_call03__bad_call03" *** Dump the exported items of the packages. * package bad_call03 Exported types: @@ -14151,7 +13964,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bug.lus - Raw Package table: bug - Package manager table: bug End of Syntax table dump. » --- MAIN NODE: "bug__bug" *** Dump the exported items of the packages. * package bug Exported types: @@ -14270,7 +14082,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/const2.lus - Raw Package table: const2 - Package manager table: const2 End of Syntax table dump. » --- MAIN NODE: "const2__const2" *** Dump the exported items of the packages. * package const2 Exported types: @@ -14310,7 +14121,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/cpt_dc.lus - Raw Package table: cpt_dc - Package manager table: cpt_dc End of Syntax table dump. » --- MAIN NODE: "cpt_dc__cpt_dc" *** Dump the exported items of the packages. * package cpt_dc Exported types: @@ -14348,7 +14158,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/def.lus - Raw Package table: def - Package manager table: def End of Syntax table dump. » --- MAIN NODE: "def__def" *** Dump the exported items of the packages. * package def Exported types: @@ -14409,7 +14218,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/piege.lus - Raw Package table: piege - Package manager table: piege End of Syntax table dump. » --- MAIN NODE: "piege__piege" *** Dump the exported items of the packages. * package piege Exported types: @@ -14456,7 +14264,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/tranche.lus - Raw Package table: tranche - Package manager table: tranche End of Syntax table dump. » --- MAIN NODE: "tranche__tranche" *** Dump the exported items of the packages. * package tranche Exported types: @@ -14491,7 +14298,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/x.lus - Raw Package table: x - Package manager table: x End of Syntax table dump. » --- MAIN NODE: "x__x" *** Dump the exported items of the packages. * package x Exported types: @@ -14556,7 +14362,6 @@ Opening file /home/jahier/lus2lic/src/testshould_fail/type/const2.lus - Raw Package table: const2 - Package manager table: const2 End of Syntax table dump. » --- MAIN NODE: "const2__const2" *** Dump the exported items of the packages. * package const2 Exported types: -- GitLab