diff --git a/src/test/Makefile b/src/test/Makefile index 48674e77a86369d793d943f65970dab80f396cc8..0a0486e83255fa2c617372279b004ef34fc3cfa6 100644 --- a/src/test/Makefile +++ b/src/test/Makefile @@ -3,9 +3,9 @@ LC=../lus2lic -vl 3 NL="----------------------------------------------------------------------\\n" -OK_LUS=$(shell find should_work -name "*.lus" -print) +OK_LUS=$(shell find should_work -name "*.lus" -print | sort -n) -KO_LUS=$(shell find should_fail -name "*.lus" -print) +KO_LUS=$(shell find should_fail -name "*.lus" -print | sort -n) test: echo "Non-regression tests" > test_ok.res diff --git a/src/test/test.res.exp b/src/test/test.res.exp index 05a152c83f566d08ce453fcec334032ea3942cbb..ebb2dbade96c665abb2cf3f44e71e6c082b642a0 100644 --- a/src/test/test.res.exp +++ b/src/test/test.res.exp @@ -1,1770 +1,1314 @@ Non-regression tests ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/fby.lus +====> ../lus2lic -vl 3 should_work/NONREG/CURRENT.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node rising_edge_bis - export node rising_edge + export node CURRENT *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - fby (pack) + CURRENT (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "fby::main" +-- MAIN NODE: "CURRENT::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::rising_edge_bis = dummy::rising_edge_bis(bool) returns (bool) on clock XXX - - node dummy::rising_edge = dummy::rising_edge(bool) returns (bool) on clock XXX + node dummy::CURRENT = dummy::CURRENT(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/func_with_body.lus +====> ../lus2lic -vl 3 should_work/NONREG/Int.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export node ext - export node trivial + init pack mainPack + export node Nat + init pack Int8 + export type Int + export const zero + export node incr + export node add + export const n *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack mainPack + init symbol tables for pack Int8 *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - func_with_body (pack) + Int (model) + Int8 (pack) + mainPack (pack) - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw model table: Int + - Raw Package table: mainPack Int8 + - Package manager table: mainPack Int8 End of Syntax table dump. » --- MAIN NODE: "func_with_body::main" +-- MAIN NODE: "Int8::main" *** Dump the exported items of the packages. - * package dummy + * package Int8 Exported types: + type Int8::Int = Int8::Int Exported constants: - Exported nodes: - node dummy::ext = dummy::ext(int) returns (int) on clock XXX - - node dummy::trivial = dummy::trivial(int) returns (int) on clock XXX - +Int8::n = 8 can be provided. +*** oops: an internal error occurred in file lazyCompiler.ml, line 346, column 5 +*** when compiling lustre program should_work/NONREG/Int.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/heater_control.lus +====> ../lus2lic -vl 3 should_work/NONREG/PCOND.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const FAILURE - export const TMIN - export const TMAX - export const DELTA - export node not_a_sauna2 - export node Median - export node heater_control - export node min2 - export node max2 - export node alloftree - export node not_a_sauna - export node abs - export node noneoftree - export node oneoftree - export node Average + export node PCOND *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - heater_control (pack) + PCOND (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "heater_control::main" +-- MAIN NODE: "PCOND::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::FAILURE = -999.000000 - const dummy::TMIN = 6.000000 - const dummy::TMAX = 9.000000 - const dummy::DELTA = 0.500000 Exported nodes: - node dummy::not_a_sauna2 = dummy::not_a_sauna2(real, real, real, real, bool) returns (bool) on clock XXX - - node dummy::Median = dummy::Median(real, real, real) returns (real) on clock XXX - - node dummy::heater_control = dummy::heater_control(real, real, real, real) returns (bool) on clock XXX - - node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX - - node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX - - node dummy::not_a_sauna = dummy::not_a_sauna(real, real, real, real, bool) returns (bool) on clock XXX - - node dummy::alloftree = dummy::alloftree(bool, bool, bool) returns (bool) on clock XXX - - node dummy::abs = dummy::abs(real) returns (real) on clock XXX - - node dummy::noneoftree = dummy::noneoftree(bool, bool, bool) returns (bool) on clock XXX - - node dummy::Average = dummy::Average(real, real) returns (real) on clock XXX - - node dummy::oneoftree = dummy::oneoftree(bool, bool, bool) returns (bool) on clock XXX + node dummy::PCOND = dummy::PCOND(bool, bool, bool, bool, int, int, bool, bool, bool) returns (bool, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/newpacks.lus +====> ../lus2lic -vl 3 should_work/NONREG/PCOND1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack inter - export node preced - export const n - export type selType - init pack mainPack - export node preced - init pack pint - export node fby1 - export type t - init pack pbool - export node fby1 - export type t - init pack preal - export node fby1 - export type t + init pack dummy + export node PCOND1 *** SyntaxTab.create pass 3 - init symbol tables for pack inter - init symbol tables for pack mainPack - init symbol tables for pack pint - init symbol tables for pack pbool - init symbol tables for pack preal + init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - modSimple (model) - pint (pack) - pbool (pack) - preal (pack) - inter (pack) - mainPack (pack) + PCOND1 (pack) - - Raw model table: modSimple - - Raw Package table: inter mainPack pint pbool preal - - Package manager table: inter mainPack pint pbool preal + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pint::main" +-- MAIN NODE: "PCOND1::main" *** Dump the exported items of the packages. - * package preal - Exported types: - type preal::t = real - Exported constants: - Exported nodes: - node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX - - * package pbool - Exported types: - type pbool::t = bool - Exported constants: - Exported nodes: - node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX - - * package pint - Exported types: - type pint::t = int - Exported constants: - Exported nodes: - node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX - - * package mainPack + * package dummy Exported types: - type mainPack::selType = inter::selType (imported) Exported constants: - const mainPack::n = inter::n (imported) Exported nodes: + node dummy::PCOND1 = dummy::PCOND1(bool, bool, bool, bool, int, int, bool, bool, bool) returns (bool) on clock XXX - XXX EvalNode:in file "should_work/Pascal/newpacks.lus", line 52, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! - -*** oops: an internal error occurred in file evalNode.ml, line 26, column 3 -*** when compiling lustre program should_work/Pascal/newpacks.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/onlyroll.lus +====> ../lus2lic -vl 3 should_work/NONREG/SOURIS.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const NRminP - export const NRmaxP - export const NRminR - export const DELTA_PITCH - export const NRmaxR - export const FAIL_SAFE_PITCH_VALUE - export const DELTA_YAW - export const HORminP - export const NRminY - export const XFAIL_SAFE_ROLL_VALUE - export const HORmaxP - export const HORminR - export const NRmaxY - export const HORmaxR - export const CROSS_CH_TOL_PITCH - export const HORminY - export const FAIL_SAFE_YAW_VALUE - export const HORmaxY - export const OneSecond - export const FAIL_SAFE_ROLL_VALUE - export const DELTA_ROLL - export const TIME_ROLL - export const CROSS_CH_TOL_ROLL - export const TIME5 - export const BID_LAST - export const SAFE_COUNTER_TIME - export const BID_VAL - export const TIME_CROSS_ROLL - export const CROSS_CH_TOL_YAW - export node Calculate - export node onlyroll - export node Median - export node oneoffour - export node MedianValue3 - export node Monitor - export node Allocator - export node Channel - export node min2 - export node min4 - export node max2 - export node max4 - export node OlympicAverage - export node InHardoverRange - export node twooffour - export node noneof - export node threeoffour - export node InNominalRange - export node FailDetect - export node abs - export node Average2 - export node Average - export node maintain - export node values_nok + export node SOURIS *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - onlyroll (pack) + SOURIS (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "onlyroll::main" +-- MAIN NODE: "SOURIS::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::NRminP = -5.100000 - const dummy::NRminR = -25.300000 - const dummy::NRmaxP = 5.100000 - const dummy::DELTA_PITCH = 3.000000 - const dummy::NRmaxR = 25.300000 - const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 - const dummy::DELTA_YAW = 2.730000 - const dummy::NRminY = -5.000000 - const dummy::HORminP = -57.000000 - const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 - const dummy::NRmaxY = 5.000000 - const dummy::HORminR = -285.000000 - const dummy::HORmaxP = 57.000000 - const dummy::CROSS_CH_TOL_PITCH = 10.100000 - const dummy::HORmaxR = 285.000000 - const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 - const dummy::HORminY = -57.000000 - const dummy::DELTA_ROLL = 14.900000 - const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 - const dummy::OneSecond = 10 - const dummy::HORmaxY = 57.000000 - const dummy::TIME_ROLL = 3 - const dummy::CROSS_CH_TOL_ROLL = 51.000000 - const dummy::BID_LAST = 2.200000 - const dummy::TIME5 = 4 - const dummy::SAFE_COUNTER_TIME = 3 - const dummy::BID_VAL = 3.300000 - const dummy::CROSS_CH_TOL_YAW = 10.000000 - const dummy::TIME_CROSS_ROLL = 3 Exported nodes: - node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + node dummy::SOURIS = dummy::SOURIS(bool, bool, bool, bool) returns (bool, bool, bool, int) on clock XXX - node dummy::onlyroll = dummy::onlyroll(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX - node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/NONREG/Watch.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export type STATUS_TYPE + export type ALARM_TIME_TYPE + export type ALARM_TIME_POSITION + export type WATCH_TIME_POSITION + export type DISPLAY_TYPE + export type WATCH_TIME_TYPE + export type STOPWATCH_TIME_TYPE + export type MAIN_DISPLAY_TYPE + export type LABELS_TYPE + export type DISPLAY_POSITION + export type MINI_DISPLAY_TYPE + export type string + export const INITIAL_WATCH_POSITION + export const INITIAL_WATCH_TIME + export const ALARM_DURATION + export const stringAL + export const stringST + export const INITIAL_ALARM_POSITION + export const INITIAL_ALARM_TIME + export const NULL_POSITION + export const INITIAL_STOPWATCH_TIME + export node ALARM_TO_DISPLAY_POS + export node DIVIDE + export node TWO_STATES + export node INCREMENT_STOPWATCH_TIME + export node Watch + export node WATCH_TIME_TO_MAIN_DISPLAY + export node IS_ZERO_MOD_10_MN + export node MAKE_DISPLAY + export node TOGGLE_24H_IN_ALARM_MODE + export node SET_WATCH_TIME + export node STOPWATCH + export node TIME_SCALE + export node SET_ALARM_TIME + export node LABELS + export node WATCH_DATE_TO_MINI_DISPLAY + export node IS_O_CLOCK + export node STOPWATCH_TIME_TO_MAIN_DISPLAY + export node INCREMENT_WATCH_TIME_IN_SET_MODE + export node ALARM_TIME_TO_MAIN_DISPLAY + export node MORE_RECENT + export node WATCH + export node NEXT_ALARM_TIME_POSITION + export node NEXT_WATCH_TIME_POSITION + export node WATCH_TO_DISPLAY_POS + export node TOGGLE_24H_IN_WATCH_MODE + export node SOMME + export node DISPLAY + export node EDGE + export node COMPARE_WATCH_ALARM_TIME + export node STATUS + export node WATCH_TIME_TO_MINI_DISPLAY + export node CONFIRM_TIME + export node INCREMENT_WATCH_TIME + export node BUTTONS + export node WATCH_DAY_TO_ALPHA_DISPLAY + export node ALARM +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + Watch (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "Watch::main" +*** Dump the exported items of the packages. + * package dummy + Exported types: + type dummy::STATUS_TYPE = dummy::STATUS_TYPE + type dummy::ALARM_TIME_TYPE = dummy::ALARM_TIME_TYPE + type dummy::WATCH_TIME_POSITION = dummy::WATCH_TIME_POSITION + type dummy::ALARM_TIME_POSITION = dummy::ALARM_TIME_POSITION + type dummy::DISPLAY_TYPE = dummy::DISPLAY_TYPE + type dummy::WATCH_TIME_TYPE = dummy::WATCH_TIME_TYPE + type dummy::STOPWATCH_TIME_TYPE = dummy::STOPWATCH_TIME_TYPE + type dummy::MAIN_DISPLAY_TYPE = dummy::MAIN_DISPLAY_TYPE + type dummy::LABELS_TYPE = dummy::LABELS_TYPE + type dummy::DISPLAY_POSITION = dummy::DISPLAY_POSITION + type dummy::MINI_DISPLAY_TYPE = dummy::MINI_DISPLAY_TYPE + type dummy::string = dummy::string + Exported constants: + const dummy::INITIAL_WATCH_POSITION = dummy::INITIAL_WATCH_POSITION + const dummy::INITIAL_WATCH_TIME = dummy::INITIAL_WATCH_TIME + const dummy::ALARM_DURATION = dummy::ALARM_DURATION + const dummy::stringST = dummy::stringST + const dummy::stringAL = dummy::stringAL + const dummy::INITIAL_ALARM_TIME = dummy::INITIAL_ALARM_TIME + const dummy::INITIAL_ALARM_POSITION = dummy::INITIAL_ALARM_POSITION + const dummy::NULL_POSITION = dummy::NULL_POSITION + const dummy::INITIAL_STOPWATCH_TIME = dummy::INITIAL_STOPWATCH_TIME + Exported nodes: + node dummy::ALARM_TO_DISPLAY_POS = dummy::ALARM_TO_DISPLAY_POS(dummy::ALARM_TIME_POSITION) returns (dummy::DISPLAY_POSITION) on clock XXX - node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::INCREMENT_STOPWATCH_TIME = dummy::INCREMENT_STOPWATCH_TIME(dummy::STOPWATCH_TIME_TYPE) returns (dummy::STOPWATCH_TIME_TYPE) on clock XXX - node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX + node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX - node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX + node dummy::DIVIDE = dummy::DIVIDE(int) returns (bool) on clock XXX - node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + node dummy::Watch = dummy::Watch(bool, bool, bool, bool, bool) returns (dummy::DISPLAY_TYPE, int) on clock XXX - node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX + node dummy::IS_ZERO_MOD_10_MN = dummy::IS_ZERO_MOD_10_MN(dummy::STOPWATCH_TIME_TYPE) returns (bool) on clock XXX - node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX + node dummy::WATCH_TIME_TO_MAIN_DISPLAY = dummy::WATCH_TIME_TO_MAIN_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX + node dummy::TOGGLE_24H_IN_ALARM_MODE = dummy::TOGGLE_24H_IN_ALARM_MODE(dummy::ALARM_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE) on clock XXX - node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX + node dummy::MAKE_DISPLAY = dummy::MAKE_DISPLAY(dummy::LABELS_TYPE, dummy::DISPLAY_POSITION, dummy::STATUS_TYPE, dummy::string, dummy::MINI_DISPLAY_TYPE, dummy::MAIN_DISPLAY_TYPE) returns (dummy::DISPLAY_TYPE) on clock XXX - node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX + node dummy::SET_WATCH_TIME = dummy::SET_WATCH_TIME(dummy::WATCH_TIME_POSITION, dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX - node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX + node dummy::STOPWATCH = dummy::STOPWATCH(bool, bool, bool) returns (dummy::STOPWATCH_TIME_TYPE, bool, bool, int) on clock XXX - node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX + node dummy::TIME_SCALE = dummy::TIME_SCALE(int) returns (int) on clock XXX - node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::SET_ALARM_TIME = dummy::SET_ALARM_TIME(dummy::ALARM_TIME_POSITION, dummy::ALARM_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE) on clock XXX - node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::LABELS = dummy::LABELS(bool, bool, bool, bool, bool) returns (dummy::LABELS_TYPE) on clock XXX - node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::IS_O_CLOCK = dummy::IS_O_CLOCK(dummy::WATCH_TIME_TYPE) returns (bool) on clock XXX - node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX + node dummy::WATCH_DATE_TO_MINI_DISPLAY = dummy::WATCH_DATE_TO_MINI_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MINI_DISPLAY_TYPE) on clock XXX - node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX + node dummy::STOPWATCH_TIME_TO_MAIN_DISPLAY = dummy::STOPWATCH_TIME_TO_MAIN_DISPLAY(dummy::STOPWATCH_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - node dummy::abs = dummy::abs(real) returns (real) on clock XXX + node dummy::INCREMENT_WATCH_TIME_IN_SET_MODE = dummy::INCREMENT_WATCH_TIME_IN_SET_MODE(dummy::WATCH_TIME_POSITION, dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX - node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX + node dummy::ALARM_TIME_TO_MAIN_DISPLAY = dummy::ALARM_TIME_TO_MAIN_DISPLAY(dummy::ALARM_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + node dummy::NEXT_WATCH_TIME_POSITION = dummy::NEXT_WATCH_TIME_POSITION(dummy::WATCH_TIME_POSITION) returns (dummy::WATCH_TIME_POSITION) on clock XXX - node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX + node dummy::NEXT_ALARM_TIME_POSITION = dummy::NEXT_ALARM_TIME_POSITION(dummy::ALARM_TIME_POSITION) returns (dummy::ALARM_TIME_POSITION) on clock XXX - node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX + node dummy::WATCH = dummy::WATCH(bool, bool, bool, bool, bool, bool) returns (dummy::WATCH_TIME_TYPE, dummy::WATCH_TIME_POSITION, bool, int) on clock XXX + + node dummy::MORE_RECENT = dummy::MORE_RECENT(bool, int) returns (bool) on clock XXX + + node dummy::SOMME = dummy::SOMME(int, int, int) returns (int) on clock XXX + + node dummy::TOGGLE_24H_IN_WATCH_MODE = dummy::TOGGLE_24H_IN_WATCH_MODE(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX + + node dummy::WATCH_TO_DISPLAY_POS = dummy::WATCH_TO_DISPLAY_POS(dummy::WATCH_TIME_POSITION) returns (dummy::DISPLAY_POSITION) on clock XXX + + node dummy::DISPLAY = dummy::DISPLAY(bool, bool, bool, dummy::WATCH_TIME_TYPE, dummy::STOPWATCH_TIME_TYPE, dummy::ALARM_TIME_TYPE, dummy::DISPLAY_POSITION, dummy::STATUS_TYPE, dummy::LABELS_TYPE) returns (dummy::DISPLAY_TYPE) on clock XXX + + node dummy::COMPARE_WATCH_ALARM_TIME = dummy::COMPARE_WATCH_ALARM_TIME(dummy::ALARM_TIME_TYPE, dummy::WATCH_TIME_TYPE) returns (bool) on clock XXX + + node dummy::EDGE = dummy::EDGE(bool) returns (bool) on clock XXX + + node dummy::WATCH_TIME_TO_MINI_DISPLAY = dummy::WATCH_TIME_TO_MINI_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MINI_DISPLAY_TYPE) on clock XXX + + node dummy::STATUS = dummy::STATUS(bool, bool, bool, bool) returns (dummy::STATUS_TYPE) on clock XXX + + node dummy::CONFIRM_TIME = dummy::CONFIRM_TIME(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX + + node dummy::INCREMENT_WATCH_TIME = dummy::INCREMENT_WATCH_TIME(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX + + node dummy::BUTTONS = dummy::BUTTONS(bool, bool, bool, bool) returns (bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) on clock XXX + + node dummy::WATCH_DAY_TO_ALPHA_DISPLAY = dummy::WATCH_DAY_TO_ALPHA_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::string) on clock XXX + + node dummy::ALARM = dummy::ALARM(bool, bool, bool, bool, bool, bool, bool, dummy::WATCH_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE, bool, dummy::ALARM_TIME_POSITION, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/p.lus +====> ../lus2lic -vl 3 should_work/NONREG/X.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack inter - export node preced - export const n - export type selType - init pack mainPack - export node preced - init pack pint - export node fby1 - export type t - init pack pbool - export node fby1 - export type t - init pack preal - export node fby1 - export type t + init pack dummy + export node X *** SyntaxTab.create pass 3 - init symbol tables for pack inter - init symbol tables for pack mainPack - init symbol tables for pack pint - init symbol tables for pack pbool - init symbol tables for pack preal + init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - modSimple (model) - pint (pack) - pbool (pack) - preal (pack) - inter (pack) - mainPack (pack) + X (pack) - - Raw model table: modSimple - - Raw Package table: inter mainPack pint pbool preal - - Package manager table: inter mainPack pint pbool preal + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pint::main" +-- MAIN NODE: "X::main" *** Dump the exported items of the packages. - * package preal + * package dummy Exported types: - type preal::t = real Exported constants: Exported nodes: - node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX + node dummy::X = dummy::X(bool, int) returns (bool, int, int) on clock XXX - * package pbool - Exported types: - type pbool::t = bool - Exported constants: - Exported nodes: - node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX - * package pint +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/NONREG/X1.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export node X1 +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + X1 (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "X1::main" +*** Dump the exported items of the packages. + * package dummy Exported types: - type pint::t = int Exported constants: Exported nodes: - node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX + node dummy::X1 = dummy::X1(bool, int) returns (int) on clock XXX - * package mainPack - Exported types: - type mainPack::selType = inter::selType (imported) - Exported constants: - const mainPack::n = inter::n (imported) - Exported nodes: - - XXX EvalNode:in file "should_work/Pascal/p.lus", line 53, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! - -*** oops: an internal error occurred in file evalNode.ml, line 26, column 3 -*** when compiling lustre program should_work/Pascal/p.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/packs.lus +====> ../lus2lic -vl 3 should_work/NONREG/X2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack inter - export node preced - export const n - export type selType - export enum const X - export enum const Y - export type toto - init pack mainPack - export type T - export enum const bleu - export enum const rose - export enum const jaune - export type couleurs - export const N - export const X - export node preced - init pack pint - export node fby1 - export type t - init pack pbool - export node fby1 - export type t - init pack preal - export node fby1 - export type t + init pack dummy + export node X2 *** SyntaxTab.create pass 3 - init symbol tables for pack inter - init symbol tables for pack mainPack - init symbol tables for pack pint - init symbol tables for pack pbool - init symbol tables for pack preal + init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - modSimple (model) - pint (pack) - pbool (pack) - preal (pack) - inter (pack) - mainPack (pack) + X2 (pack) - - Raw model table: modSimple - - Raw Package table: inter mainPack pint pbool preal - - Package manager table: inter mainPack pint pbool preal + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pint::main" +-- MAIN NODE: "X2::main" *** Dump the exported items of the packages. - * package preal - Exported types: - type preal::t = real - Exported constants: - Exported nodes: - node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX - - * package pbool - Exported types: - type pbool::t = bool - Exported constants: - Exported nodes: - node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX - - * package pint - Exported types: - type pint::t = int - Exported constants: - Exported nodes: - node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX - - * package mainPack + * package dummy Exported types: - type mainPack::selType = inter::selType (imported) - type mainPack::toto = inter::toto (imported) - type mainPack::T = int^8 - type mainPack::couleurs = enum {mainPack::bleu, mainPack::rose, mainPack::jaune} Exported constants: - const mainPack::bleu = mainPack::bleu - const mainPack::n = inter::n (imported) - const mainPack::jaune = mainPack::jaune - const mainPack::N = 8 - const mainPack::rose = mainPack::rose - const mainPack::X = 8 - const mainPack::Y = inter::Y (imported) Exported nodes: - - XXX EvalNode:in file "should_work/Pascal/packs.lus", line 40, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! - -*** oops: an internal error occurred in file evalNode.ml, line 26, column 3 -*** when compiling lustre program should_work/Pascal/packs.lus - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/pfs.lus -*** Error in file "should_work/Pascal/pfs.lus", line 43, col 22 to 22, token '[': syntax error + node dummy::X2 = dummy::X2(bool, int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/struct0.lus +====> ../lus2lic -vl 3 should_work/NONREG/X3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type Toto - export node bibi + export node X3 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - struct0 (pack) + X3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "struct0::main" +-- MAIN NODE: "X3::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::Toto = {x : int (1); y : int (2)} Exported constants: Exported nodes: - node dummy::bibi = dummy::bibi(int) returns ( {x : int (1); y : int (2)}) on clock XXX + node dummy::X3 = dummy::X3(int, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/t0.lus +====> ../lus2lic -vl 3 should_work/NONREG/X6.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node min_4 - export node min - export node min_n - export node max + export node X6 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - t0 (pack) + X6 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "t0::main" +-- MAIN NODE: "X6::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/Pascal/t0.lus", line 11, col 9 to 9, token '^': can't eval type: bad array size 0 + node dummy::X6 = dummy::X6(int, bool) returns (int, bool, bool, int, int, int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/test.lus +====> ../lus2lic -vl 3 should_work/NONREG/_N_uu.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack P1 - export const y - export type titi + init pack dummy + export node _N_uu *** SyntaxTab.create pass 3 - init symbol tables for pack P1 + init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - P1 (pack) + _N_uu (pack) - Raw model table: - - Raw Package table: P1 - - Package manager table: P1 + - Raw Package table: dummy + - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "P1::main" +-- MAIN NODE: "_N_uu::main" *** Dump the exported items of the packages. - * package P1 + * package dummy Exported types: - type P1::titi = P1::titi Exported constants: - const P1::y = 3 Exported nodes: + node dummy::_N_uu = dummy::_N_uu(bool, bool, bool) returns (bool) on clock XXX + ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/trivial.lus +====> ../lus2lic -vl 3 should_work/NONREG/activation_ec.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node trivial + export node activation_ec *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - trivial (pack) + activation_ec (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "trivial::main" +-- MAIN NODE: "activation_ec::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::trivial = dummy::trivial(int) returns (int) on clock XXX + node dummy::activation_ec = dummy::activation_ec(bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/t.lus +====> ../lus2lic -vl 3 should_work/NONREG/after.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const B - export node map2 - export node toto + export node after *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - t (pack) + after (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "t::main" +-- MAIN NODE: "after::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::B = [2, 2] Exported nodes: - ### skipping map2 - node dummy::toto = dummy::toto(bool) returns (int^2^3, int^2) on clock XXX + node dummy::after = dummy::after(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/t1.lus +====> ../lus2lic -vl 3 should_work/NONREG/alarme.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node fold_left - export node consensus - export node bt_void + export const delai_reprise + export const delai_vigilence + export const delai_alarme + export node edge + export node alarme + export node bascule + export node decompte *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - t1 (pack) + alarme (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "t1::main" +-- MAIN NODE: "alarme::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::delai_reprise = 4 + const dummy::delai_vigilence = 3 + const dummy::delai_alarme = 6 Exported nodes: - ### skipping fold_left - ### skipping consensus - ### skipping bt_void + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + + node dummy::alarme = dummy::alarme(bool, bool, bool, bool) returns (bool, bool) on clock XXX + + node dummy::bascule = dummy::bascule(bool, bool, bool) returns (bool) on clock XXX + + node dummy::decompte = dummy::decompte(bool, int, bool) returns (int) on clock XXX + ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/t2.lus +====> ../lus2lic -vl 3 should_work/NONREG/arbitre.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node fold_left - export node consensus_6_bis - export node consensus_6 - export node consensus_bis - export node consensus + export node mutex + export node process + export node my_switch + export node xedge + export node arbitre *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - t2 (pack) + arbitre (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "t2::main" +-- MAIN NODE: "arbitre::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - ### skipping fold_left + node dummy::mutex = dummy::mutex(bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + + node dummy::process = dummy::process(bool, bool) returns (bool, bool) on clock XXX + + node dummy::my_switch = dummy::my_switch(bool, bool, bool) returns (bool) on clock XXX + + node dummy::xedge = dummy::xedge(bool) returns (bool) on clock XXX + + node dummy::arbitre = dummy::arbitre(bool, bool, bool, bool) returns (bool) on clock XXX -*** oops: an internal error occurred in file syntaxTab.ml, line 104, column 22 -*** when compiling lustre program should_work/Pascal/t2.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/consensus.lus +====> ../lus2lic -vl 3 should_work/NONREG/argos.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node main - export node main2 - export node consensus - export node c8 + export node argos *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - consensus (pack) + argos (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "consensus::main" +-- MAIN NODE: "argos::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/Pascal/consensus.lus", line 20, col 40 to 40, token '^': can't eval type: bad array size 0 + node dummy::argos = dummy::argos(bool, bool) returns (bool, bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/Pascal/left.lus +====> ../lus2lic -vl 3 should_work/NONREG/assertion.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type truc - export node toto + export node assertion *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - left (pack) + assertion (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "left::main" +-- MAIN NODE: "assertion::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::truc = {a : bool^100^100; b : int} Exported constants: Exported nodes: - node dummy::toto = dummy::toto(bool) returns ( {a : bool^100^100; b : int}^3) on clock XXX + node dummy::assertion = dummy::assertion(bool, bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/produitBool.lus +====> ../lus2lic -vl 3 should_work/NONREG/aux.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type Tacc_in - export type T_isElementOf_ - export type Tacc_inShift2 - export type iteratedStruct - export type Tacc_inShift - export const size - export node _isElementOf_ - export node shift - export node shiftFill - export node selectOneStage - export node iterated_isElementOf_ - export node selectElementOfRank_inArray_ - export node produitBool - export node PLC + export node aux *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - produitBool (pack) + aux (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "produitBool::main" +-- MAIN NODE: "aux::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::Tacc_in = {multiplieur : bool^10; rank : int} - type dummy::T_isElementOf_ = {eltToSearch : bool; iselementof : bool} - type dummy::iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} - type dummy::Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} - type dummy::Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} Exported constants: - const dummy::size = 10 Exported nodes: -*** Error in file "should_work/lionel/ProduitBool/produitBool.lus", line 41, col 13 to 15, token 'red': unknown node + node dummy::aux = dummy::aux(bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/shift_ludic.lus +====> ../lus2lic -vl 3 should_work/NONREG/aux1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type T1_ARRAY - export type T4_STRUCT - export type T6_STRUCT - export type T3_ARRAY - export type t_Tacc_inShift - export type T5_STRUCT - export type t_T_isElementOf_ - export type T7_STRUCT - export type T2_STRUCT - export type t_Tacc_in - export type t_Tacc_inShift2 - export type t_iteratedStruct - export const c_size - export node n_shift - export node n_shiftFill - export node n_selectElementOfRank_inArray_ - export node n_selectOneStage + export node aux1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - shift_ludic (pack) + aux1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "shift_ludic::main" +-- MAIN NODE: "aux1::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::T1_ARRAY = bool^10 - type dummy::T4_STRUCT = {currentRank : int; rankToSelect : int; elementSelected : bool} - type dummy::T6_STRUCT = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} - type dummy::T3_ARRAY = bool^20 - type dummy::t_Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} - type dummy::T5_STRUCT = {multiplieur : bool^10; rank : int} - type dummy::t_T_isElementOf_ = {eltToSearch : bool; iselementof : bool} - type dummy::T7_STRUCT = {eltToSearch : bool; iselementof : bool} - type dummy::T2_STRUCT = {multiplieur : bool^10; rank : int; actual_rank : int} - type dummy::t_Tacc_in = {multiplieur : bool^10; rank : int} - type dummy::t_Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} - type dummy::t_iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} Exported constants: - const dummy::c_size = 10 Exported nodes: -*** Error in file "should_work/lionel/ProduitBool/shift_ludic.lus", line 68, col 25 to 28, token 'fill': unknown node + node dummy::aux1 = dummy::aux1(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/shiftFill_ludic.lus +====> ../lus2lic -vl 3 should_work/NONREG/bascule.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type T1_ARRAY - export type T4_STRUCT - export type T6_STRUCT - export type t_Tacc_inShift - export type T5_STRUCT - export type t_T_isElementOf_ - export type T2_STRUCT - export type t_Tacc_in - export type t_Tacc_inShift2 - export type T3_STRUCT - export type t_iteratedStruct - export const c_size - export node n_shiftFill - export node n_selectElementOfRank_inArray_ - export node n_selectOneStage + export node bascule *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - shiftFill_ludic (pack) + bascule (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "shiftFill_ludic::main" +-- MAIN NODE: "bascule::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::T1_ARRAY = bool^10 - type dummy::T4_STRUCT = {multiplieur : bool^10; rank : int} - type dummy::T6_STRUCT = {eltToSearch : bool; iselementof : bool} - type dummy::t_Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} - type dummy::T5_STRUCT = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} - type dummy::t_T_isElementOf_ = {eltToSearch : bool; iselementof : bool} - type dummy::T2_STRUCT = {multiplieur : bool^10; rank : int; actual_rank : int} - type dummy::t_Tacc_in = {multiplieur : bool^10; rank : int} - type dummy::t_Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} - type dummy::T3_STRUCT = {currentRank : int; rankToSelect : int; elementSelected : bool} - type dummy::t_iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} Exported constants: - const dummy::c_size = 10 Exported nodes: -*** Error in file "should_work/lionel/ProduitBool/shiftFill_ludic.lus", line 42, col 24 to 26, token 'red': unknown node + node dummy::bascule = dummy::bascule(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/FillFollowedByRed.lus +====> ../lus2lic -vl 3 should_work/NONREG/call.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node reduced - export node filled - export node FillFollowedByRed + export node f + export node n + export node p + export node call *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - FillFollowedByRed (pack) + call (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "FillFollowedByRed::main" +-- MAIN NODE: "call::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/lionel/FillFollowedByRed.lus", line 35, col 23 to 26, token 'fill': unknown node + node dummy::f = dummy::f(int) returns (int) on clock XXX - node dummy::reduced = dummy::reduced(bool, real) returns (bool) on clock XXX + node dummy::n = dummy::n(int, bool) returns (int, int) on clock XXX - node dummy::filled = dummy::filled(real) returns (real, real) on clock XXX + node dummy::p = dummy::p(int) returns (int, int) on clock XXX + + node dummy::call = dummy::call(int, bool) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/iterFibo.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type T_fibo - export node iterFibo - export node fibo + export node ck2 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - iterFibo (pack) + ck2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "iterFibo::main" +-- MAIN NODE: "ck2::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::T_fibo = int^2 Exported constants: Exported nodes: -*** Error in file "should_work/lionel/iterFibo.lus", line 14, col 14 to 17, token 'fill': unknown node - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/matrice.lus -*** Error in file "should_work/lionel/matrice.lus", line 15, col 22 to 22, token '+': syntax error + node dummy::ck2 = dummy::ck2(bool, bool, int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/pipeline.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const size - export node oneStep_pipe - export node pipeline + export node ck3 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - pipeline (pack) + ck3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pipeline::main" +-- MAIN NODE: "ck3::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::size = 10 Exported nodes: -*** Error in file "should_work/lionel/pipeline.lus", line 30, col 20 to 26, token 'map_red': unknown node - - node dummy::oneStep_pipe = dummy::oneStep_pipe(bool, bool) returns (bool, bool) on clock XXX - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/triSel.lus -*** Error in file "should_work/lionel/triSel.lus", line 27, col 36 to 36, token ',': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/Gyroscope.lus -*** Error in file "should_work/lionel/Gyroscope.lus", line 48, col 1 to 1, token '%': syntax error + node dummy::ck3 = dummy::ck3(bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/calculs_max.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type bool_arrays - export type int_arrays - export type struct_fill_bool - export type struct_max - export const taille - export node fill_bool - export node max - export node calculs_max + export node ck4 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - calculs_max (pack) + ck4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "calculs_max::main" +-- MAIN NODE: "ck4::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::bool_arrays = bool^10 - type dummy::int_arrays = int^10 - type dummy::struct_fill_bool = {imax1 : int; imax2 : int; icourant : int} - type dummy::struct_max = {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int} Exported constants: - const dummy::taille = 10 Exported nodes: -*** Error in file "should_work/lionel/calculs_max.lus", line 68, col 24 to 26, token 'red': unknown node - - node dummy::max = dummy::max( {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int}, int) returns ( {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int}) on clock XXX - - node dummy::fill_bool = dummy::fill_bool( {imax1 : int; imax2 : int; icourant : int}) returns ( {imax1 : int; imax2 : int; icourant : int}, bool) on clock XXX + node dummy::ck4 = dummy::ck4(int, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/deSimone.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck5.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type tabType - export type cell_accu - export const size - export node oneCell - export node prop1_iter - export node deSimone - export node prop1 + export node edge + export node ck5 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - deSimone (pack) + ck5 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "deSimone::main" +-- MAIN NODE: "ck5::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::tabType = bool^10 - type dummy::cell_accu = {token : bool; grant : bool} Exported constants: - const dummy::size = 10 Exported nodes: -*** Error in file "should_work/lionel/deSimone.lus", line 38, col 33 to 39, token 'map_red': unknown node - - node dummy::oneCell = dummy::oneCell( {token : bool; grant : bool}, bool) returns ( {token : bool; grant : bool}, bool) on clock XXX - - node dummy::prop1_iter = dummy::prop1_iter(int, bool) returns (int) on clock XXX - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/mapiter.lus -*** Error in file "should_work/lionel/mapiter.lus", line 42, col 25 to 25, token '=': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/arrays.lus -*** Error in file "should_work/lionel/arrays.lus", line 16, col 23 to 23, token '+': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/matrice2.lus -*** Error in file "should_work/lionel/matrice2.lus", line 6, col 22 to 22, token '+': syntax error - + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/minus.lus -*** Error in file "should_work/lionel/minus.lus", line 8, col 22 to 22, token ',': syntax error + node dummy::ck5 = dummy::ck5(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/moyenne.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck6.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type moyenne_accu - export const size - export node moyenne_step - export node moyenne + export node p + export node ck6 + export node N *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - moyenne (pack) + ck6 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "moyenne::main" +-- MAIN NODE: "ck6::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::moyenne_accu = {sum : real; moyenne : real; rank : real} Exported constants: - const dummy::size = 10 Exported nodes: -*** Error in file "should_work/lionel/moyenne.lus", line 33, col 15 to 17, token 'red': unknown node + node dummy::p = dummy::p(int) returns (int, int) on clock XXX - node dummy::moyenne_step = dummy::moyenne_step( {sum : real; moyenne : real; rank : real}, real) returns ( {sum : real; moyenne : real; rank : real}) on clock XXX + node dummy::ck6 = dummy::ck6(bool, bool, int, int) returns (int, int) on clock XXX + + node dummy::N = dummy::N(bool, int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/normal.lus +====> ../lus2lic -vl 3 should_work/NONREG/ck7.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type INTNBC - export type T_EntreeGlob - export type INTNBG - export type T_ComChg - export type T_InfoGenIndiv - export type T_EtatCharge - export type T_InfoChgGlob - export type T_InfoChgIndiv - export type T_InfoGenGlob - export const EC_LESTAGE - export const COM_ON - export const EC_OFF - export const COM_OFF - export const EC_NON_CTRL - export const EC_DELESTAGE - export const EC_ON - export const NBC - export const NBG - export const COM_ERR - export node copie - export node egal_indice - export node extract_tab_info_gen_indiv - export node extract_tab_info_chg_indiv - export node essai_traite_gen - export node fusion_com - export node extrCharge - export node essai2 - export node traite_genCore_itere - export node essai3 - export node trChItere - export node fusion_tab_com - export node traite_gen_core - export node extract_info_chg_glob - export node int2InfoGenIndiv - export node traite_gen - export node extract_info_gen_glob - export node traite_charge - export node int2InfoChgIndiv - export node extrGen - export node traiteGen - export node fusion_une_com - export node incr_acc - export node id - export node normal - export node traiteChg - export node traite_gen_bis + export node ck7 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - normal (pack) + ck7 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "normal::main" +-- MAIN NODE: "ck7::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::INTNBC = int^20 - type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} - type dummy::INTNBG = int^4 - type dummy::T_ComChg = int - type dummy::T_InfoGenIndiv = {mesure_gen : int} - type dummy::T_EtatCharge = int - type dummy::T_InfoChgGlob = {chg2gen : int^20} - type dummy::T_InfoChgIndiv = {mesure_chg : int} - type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} Exported constants: - const dummy::EC_LESTAGE = 3 - const dummy::COM_ON = 1 - const dummy::EC_OFF = 1 - const dummy::COM_OFF = 2 - const dummy::EC_NON_CTRL = 2 - const dummy::EC_DELESTAGE = 4 - const dummy::EC_ON = 0 - const dummy::NBC = 20 - const dummy::NBG = 4 - const dummy::COM_ERR = 0 Exported nodes: -*** Error in file "should_work/lionel/normal.lus", line 139, col 27 to 29, token 'map': unknown node - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/predefOp.lus -*** Error in file "should_work/lionel/predefOp.lus", line 61, col 25 to 26, token '=>': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/redIf.lus -*** Error in file "should_work/lionel/redIf.lus", line 3, col 14 to 14, token ',': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/simpleRed.lus -*** Error in file "should_work/lionel/simpleRed.lus", line 6, col 15 to 15, token '+': syntax error + node dummy::ck7 = dummy::ck7(bool, int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/lionel/testSilus.lus +====> ../lus2lic -vl 3 should_work/NONREG/clock.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type INTNBC - export type T_EntreeGlob - export type INTNBG - export type T_ComChg - export type T_InfoGenIndiv - export type BOOLNBC - export type T_EtatCharge - export type T_InfoChgGlob - export type T_InfoChgIndiv - export type T_ComChgNBC - export type T_InfoGenGlob - export const EC_LESTAGE - export const COM_ON - export const EC_OFF - export const COM_OFF - export const EC_NON_CTRL - export const EC_DELESTAGE - export const EC_ON - export const NBC - export const NBG - export const COM_ERR - export node copie - export node egal_indice - export node extract_tab_info_gen_indiv - export node extract_tab_info_chg_indiv - export node fusion_com - export node extrCharge - export node traite_genCore_itere - export node trChItere - export node fusion_tab_com - export node traite_gen_core - export node extract_info_chg_glob - export node int2InfoGenIndiv - export node traite_gen - export node extract_info_gen_glob - export node traite_charge - export node testSilus - export node int2InfoChgIndiv - export node extrGen - export node traiteGen - export node fusion_une_com - export node incr_acc - export node id - export node traiteChg + export node inOnOut + export node outOnIn + export node clock + export node outOnOut + export node inOnIn + export node all *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - testSilus (pack) + clock (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "testSilus::main" +-- MAIN NODE: "clock::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::INTNBC = int^20 - type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} - type dummy::INTNBG = int^4 - type dummy::T_ComChg = int - type dummy::T_InfoGenIndiv = {mesure_gen : int} - type dummy::BOOLNBC = bool^20 - type dummy::T_EtatCharge = int - type dummy::T_InfoChgGlob = {chg2gen : int^20} - type dummy::T_InfoChgIndiv = {mesure_chg : int} - type dummy::T_ComChgNBC = int^20 - type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} Exported constants: - const dummy::EC_LESTAGE = 3 - const dummy::COM_ON = 1 - const dummy::EC_OFF = 1 - const dummy::COM_OFF = 2 - const dummy::EC_NON_CTRL = 2 - const dummy::EC_DELESTAGE = 4 - const dummy::EC_ON = 0 - const dummy::NBC = 20 - const dummy::NBG = 4 - const dummy::COM_ERR = 0 Exported nodes: -*** Error in file "should_work/lionel/testSilus.lus", line 126, col 20 to 22, token 'map': unknown node +*** Error in file "should_work/NONREG/clock.lus", line 17, col 8 to 14, token 'boolred': unknown node + + node dummy::inOnOut = dummy::inOnOut(bool, bool) returns (bool) on clock XXX + + node dummy::outOnIn = dummy::outOnIn(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/bad_call02.lus +====> ../lus2lic -vl 3 should_work/NONREG/cminus.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node bad_call02 + export node TWO_STATES + export node TWO_BUTTONS + export node cminus *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bad_call02 (pack) + cminus (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bad_call02::main" +-- MAIN NODE: "cminus::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/call/bad_call02.lus", line 6, col 6 to 17, token 'Lustre::when': unknown node + node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX + + node dummy::TWO_BUTTONS = dummy::TWO_BUTTONS(bool, bool, bool) returns (bool) on clock XXX + + node dummy::cminus = dummy::cminus(bool, bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call07.lus +====> ../lus2lic -vl 3 should_work/NONREG/compteur.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node call07 + export node compteur *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call07 (pack) + compteur (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call07::main" +-- MAIN NODE: "compteur::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::call07 = dummy::call07(bool, bool, bool) returns (bool) on clock XXX + node dummy::compteur = dummy::compteur(bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call01.lus +====> ../lus2lic -vl 3 should_work/NONREG/cpt.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node call01 - export node toto - export node momo + export node cpt *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call01 (pack) + cpt (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call01::main" +-- MAIN NODE: "cpt::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/call/call01.lus", line 2, col 13 to 23, token 'Lustre::and': unknown node - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call03.lus -*** Error in file "should_work/call/call03.lus", line 2, col 18 to 19, token 'or': syntax error + node dummy::cpt = dummy::cpt(bool, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call04.lus +====> ../lus2lic -vl 3 should_work/NONREG/cst.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node tutu - export node titi - export node call04 - export node toto + export const i + export const j + export const k + export node cst *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call04 (pack) + cst (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call04::main" +-- MAIN NODE: "cst::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::i = dummy::i + const dummy::j = dummy::j + const dummy::k = dummy::k Exported nodes: -*** Error in file "should_work/call/call04.lus", line 4, col 13 to 15, token 'map': unknown node + node dummy::cst = dummy::cst(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call05.lus +====> ../lus2lic -vl 3 should_work/NONREG/deconne.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node call05 - export node momo + export type pendule + export const G + export const L + export const T + export node make_pend + export node cos + export node sin + export node deconne *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call05 (pack) + deconne (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call05::main" +-- MAIN NODE: "deconne::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::pendule = dummy::pendule Exported constants: + const dummy::G = 10.000000 + const dummy::L = 2.000000 + const dummy::T = 0.100000 Exported nodes: - node dummy::call05 = dummy::call05(bool, bool) returns (bool) on clock XXX + node dummy::make_pend = dummy::make_pend(real, real, real, real) returns (dummy::pendule) on clock XXX - node dummy::momo = dummy::momo(bool, bool) returns (bool) on clock XXX + node dummy::cos = dummy::cos(real) returns (real) on clock XXX + + node dummy::sin = dummy::sin(real) returns (real) on clock XXX + + node dummy::deconne = dummy::deconne(real) returns (dummy::pendule) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call06.lus +====> ../lus2lic -vl 3 should_work/NONREG/dep.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node call06 - export node bip + export node dep *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call06 (pack) + dep (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call06::main" +-- MAIN NODE: "dep::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::call06 = dummy::call06(bool, bool) returns (bool, bool) on clock XXX - - node dummy::bip = dummy::bip(bool, bool) returns (bool, bool) on clock XXX + node dummy::dep = dummy::dep(int) returns (int, int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/call/call02.lus +====> ../lus2lic -vl 3 should_work/NONREG/dependeur.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node titi - export node call02 - export node toto + export node dependeur *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call02 (pack) + dependeur (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call02::main" +-- MAIN NODE: "dependeur::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/call/call02.lus", line 2, col 13 to 23, token 'Lustre::and': unknown node - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/main.lus -*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/main.lus", line 3, col 45 to 45, token '=': syntax error + node dummy::dependeur = dummy::dependeur(int) returns (int, int, int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus +====> ../lus2lic -vl 3 should_work/NONREG/dependeur_struct.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node equals - export node gt + export type time + export node dependeur_struct *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - noeudsIndependants (pack) + dependeur_struct (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "noeudsIndependants::main" +-- MAIN NODE: "dependeur_struct::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::time = {h : int; m : int; s : int; ms : int} Exported constants: Exported nodes: - node dummy::equals = dummy::equals(int, int) returns (bool) on clock XXX - - node dummy::gt = dummy::gt(int, int) returns (bool) on clock XXX - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus -*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus", line 9, col 50 to 50, token '0': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus -*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus", line 96, col 1 to 1, token '%': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/tri.lus -*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/tri.lus", line 181, col 74 to 74, token ';': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/Condact.lus -*** Error in file "should_work/packEnvTest/Condact.lus", line 22, col 3 to 3, token '=': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/modelInst.lus -*** Error in file "should_work/packEnvTest/modelInst.lus", line 28, col 3 to 9, token 'package': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/packages2.lus -*** Error in file "should_work/packEnvTest/packages2.lus", line 63, col 1 to 4, token 'node': syntax error + node dummy::dependeur_struct = dummy::dependeur_struct(int) returns ( {h : int; m : int; s : int; ms : int}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/packEnvTest/packages.lus +====> ../lus2lic -vl 3 should_work/NONREG/drapfab.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack inter - export node preced - export const n - export type selType - init pack mainPack - export node preced - init pack pint - export node fby1 - export type t - init pack pbool - export node fby1 - export type t - init pack preal - export node fby1 - export type t + init pack dummy + export node drapfab *** SyntaxTab.create pass 3 - init symbol tables for pack inter - init symbol tables for pack mainPack - init symbol tables for pack pint - init symbol tables for pack pbool - init symbol tables for pack preal + init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - modSimple (model) - pint (pack) - pbool (pack) - preal (pack) - inter (pack) - mainPack (pack) + drapfab (pack) - - Raw model table: modSimple - - Raw Package table: inter mainPack pint pbool preal - - Package manager table: inter mainPack pint pbool preal + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pint::main" +-- MAIN NODE: "drapfab::main" *** Dump the exported items of the packages. - * package preal - Exported types: - type preal::t = real - Exported constants: - Exported nodes: - node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX - - * package pbool - Exported types: - type pbool::t = bool - Exported constants: - Exported nodes: - node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX - - * package pint - Exported types: - type pint::t = int - Exported constants: - Exported nodes: - node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX - - * package mainPack + * package dummy Exported types: - type mainPack::selType = inter::selType (imported) Exported constants: - const mainPack::n = inter::n (imported) Exported nodes: + node dummy::drapfab = dummy::drapfab(bool, bool, bool) returns (bool, bool) on clock XXX - XXX EvalNode:in file "should_work/packEnvTest/packages.lus", line 53, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! - -*** oops: an internal error occurred in file evalNode.ml, line 26, column 3 -*** when compiling lustre program should_work/packEnvTest/packages.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/bob.lus +====> ../lus2lic -vl 3 should_work/NONREG/enum.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node bob + export enum const blue + export enum const white + export enum const redd + export type color + export enum const bleu + export enum const blanc + export enum const rouge + export type couleur + export node boo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bob (pack) + enum (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bob::main" +-- MAIN NODE: "enum::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::couleur = enum {dummy::bleu, dummy::blanc, dummy::rouge} + type dummy::color = enum {dummy::blue, dummy::white, dummy::redd} Exported constants: + const dummy::bleu = dummy::bleu + const dummy::blanc = dummy::blanc + const dummy::redd = dummy::redd + const dummy::rouge = dummy::rouge + const dummy::blue = dummy::blue + const dummy::white = dummy::white Exported nodes: - node dummy::bob = dummy::bob(bool) returns (bool) on clock XXX + node dummy::boo = dummy::boo(int) returns (enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::blue, dummy::white, dummy::redd}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/def.lus +====> ../lus2lic -vl 3 should_work/NONREG/eq1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node def + export node eq1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - def (pack) + eq1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "def::main" +-- MAIN NODE: "eq1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::def = dummy::def(bool) returns (bool, bool) on clock XXX + node dummy::eq1 = dummy::eq1(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/ex.lus +====> ../lus2lic -vl 3 should_work/NONREG/ex.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node trueNode + export type t1 + export type t2 + export type s + export type t + export type s1 export node ex - export node id *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done @@ -1780,1338 +1324,943 @@ End of Syntax table dump. *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::t1 = int^1^2^3^4^4 + type dummy::t2 = {a : int; b : bool^11^22} + type dummy::s = {x : int^1^2^3^4; y : {x : int; y : int^1^2^3^4}} + type dummy::t = int^1^2^3^4 + type dummy::s1 = {x : int; y : int^1^2^3^4} Exported constants: Exported nodes: - node dummy::trueNode = dummy::trueNode(bool) returns (bool) on clock XXX - - node dummy::ex = dummy::ex(bool) returns (bool) on clock XXX - - node dummy::id = dummy::id(bool, bool) returns (bool) on clock XXX + node dummy::ex = dummy::ex( {x : int^1^2^3^4; y : {x : int; y : int^1^2^3^4}}) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/iter.lus +====> ../lus2lic -vl 3 should_work/NONREG/exclusion.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const n - export node iter - export node filled - export node plus - export node mapped - export node garcia + export node exclusion *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - iter (pack) + exclusion (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "iter::main" +-- MAIN NODE: "exclusion::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::n = 5 Exported nodes: -*** Error in file "should_work/fab_test/iter.lus", line 8, col 19 to 22, token 'fill': unknown node + node dummy::exclusion = dummy::exclusion(bool, bool, bool, bool) returns (bool, bool, bool, bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/iterate.lus +====> ../lus2lic -vl 3 should_work/NONREG/fby.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node redduced - export node iterate - export node filled - export node mapped - export node map_redduced + export node followed_by *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - iterate (pack) + fby (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "iterate::main" +-- MAIN NODE: "fby::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/fab_test/iterate.lus", line 13, col 24 to 26, token 'map': unknown node + node dummy::followed_by = dummy::followed_by(bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/lecteur.lus +====> ../lus2lic -vl 3 should_work/NONREG/flo.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node Propriete - export node lecteur - export node Controleur - export node Environnement + export node SWITCH + export node flo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - lecteur (pack) + flo (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "lecteur::main" +-- MAIN NODE: "flo::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::Propriete = dummy::Propriete(int) returns (bool) on clock XXX - - node dummy::lecteur = dummy::lecteur(int) returns (bool) on clock XXX - - node dummy::Controleur = dummy::Controleur(int) returns (int, bool, bool) on clock XXX + node dummy::SWITCH = dummy::SWITCH(bool, bool, bool) returns (bool) on clock XXX - node dummy::Environnement = dummy::Environnement(int, bool, bool) returns (bool) on clock XXX + node dummy::flo = dummy::flo(bool, bool, bool, bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/lucky.lus +====> ../lus2lic -vl 3 should_work/NONREG/hanane.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node implies - export node after - export node lucky - export node stable - export node once_from_to - export node once_since + export type structT + export type t1 + export type t2 + export type t3 + export type tabStruct + export type string2d + export type string + export const a + export const b + export const c + export node hanane *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - lucky (pack) + hanane (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "lucky::main" +-- MAIN NODE: "hanane::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::t1 = dummy::t1 + type dummy::structT = {x : int; y : real; z : int^4^4^4} + type dummy::t2 = dummy::t2 + type dummy::t3 = dummy::t3 + type dummy::tabStruct = {x : int; y : real; z : int^4^4^4}^2 + type dummy::string2d = int^4^4 + type dummy::string = int^4 Exported constants: + const dummy::a = 4 + const dummy::b = true + const dummy::c = 3.140000 Exported nodes: - node dummy::implies = dummy::implies(bool, bool) returns (bool) on clock XXX - - node dummy::lucky = dummy::lucky(int, bool) returns (bool) on clock XXX - - node dummy::after = dummy::after(bool) returns (bool) on clock XXX + node dummy::hanane = dummy::hanane(bool, int^4^4, {x : int; y : real; z : int^4^4^4}^2) returns (bool) on clock XXX - node dummy::stable = dummy::stable(bool) returns (int) on clock XXX - node dummy::once_from_to = dummy::once_from_to(bool, bool, bool) returns (bool) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/NONREG/import1.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export node import1 + export node imp +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + import1 (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "import1::main" +*** Dump the exported items of the packages. + * package dummy + Exported types: + Exported constants: + Exported nodes: + node dummy::import1 = dummy::import1(int, int) returns (int) on clock XXX - node dummy::once_since = dummy::once_since(bool, bool) returns (bool) on clock XXX + node dummy::imp = dummy::imp(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/noAlarm.lus +====> ../lus2lic -vl 3 should_work/NONREG/initial.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node noAlarm + export node initial *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - noAlarm (pack) + initial (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "noAlarm::main" +-- MAIN NODE: "initial::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::noAlarm = dummy::noAlarm(bool) returns (bool) on clock XXX + node dummy::initial = dummy::initial(bool) returns (bool, int, real) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/notTwo.lus +====> ../lus2lic -vl 3 should_work/NONREG/long_et_stupide_nom_de_noeud.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node notTwo + export node long_et_stupide_nom_de_noeud *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - notTwo (pack) + long_et_stupide_nom_de_noeud (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "notTwo::main" +-- MAIN NODE: "long_et_stupide_nom_de_noeud::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::notTwo = dummy::notTwo(bool, bool) returns (bool) on clock XXX + node dummy::long_et_stupide_nom_de_noeud = dummy::long_et_stupide_nom_de_noeud(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/onlyroll.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const NRminP - export const NRmaxP - export const NRminR - export const DELTA_PITCH - export const NRmaxR - export const FAIL_SAFE_PITCH_VALUE - export const DELTA_YAW - export const HORminP - export const NRminY - export const XFAIL_SAFE_ROLL_VALUE - export const HORmaxP - export const HORminR - export const NRmaxY - export const HORmaxR - export const CROSS_CH_TOL_PITCH - export const HORminY - export const FAIL_SAFE_YAW_VALUE - export const HORmaxY - export const OneSecond - export const FAIL_SAFE_ROLL_VALUE - export const DELTA_ROLL - export const TIME_ROLL - export const CROSS_CH_TOL_ROLL - export const TIME5 - export const BID_LAST - export const SAFE_COUNTER_TIME - export const BID_VAL - export const TIME_CROSS_ROLL - export const CROSS_CH_TOL_YAW - export node Calculate - export node onlyroll - export node Median - export node oneoffour - export node MedianValue3 - export node Monitor - export node Allocator - export node Channel - export node min2 - export node min4 - export node max2 - export node max4 - export node OlympicAverage - export node InHardoverRange - export node twooffour - export node noneof - export node threeoffour - export node InNominalRange - export node FailDetect - export node abs - export node Average2 - export node Average - export node maintain - export node values_nok + export node minmax1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - onlyroll (pack) + minmax1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "onlyroll::main" +-- MAIN NODE: "minmax1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::NRminP = -5.100000 - const dummy::NRminR = -25.300000 - const dummy::NRmaxP = 5.100000 - const dummy::DELTA_PITCH = 3.000000 - const dummy::NRmaxR = 25.300000 - const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 - const dummy::DELTA_YAW = 2.730000 - const dummy::NRminY = -5.000000 - const dummy::HORminP = -57.000000 - const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 - const dummy::NRmaxY = 5.000000 - const dummy::HORminR = -285.000000 - const dummy::HORmaxP = 57.000000 - const dummy::CROSS_CH_TOL_PITCH = 10.100000 - const dummy::HORmaxR = 285.000000 - const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 - const dummy::HORminY = -57.000000 - const dummy::DELTA_ROLL = 14.900000 - const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 - const dummy::OneSecond = 10 - const dummy::HORmaxY = 57.000000 - const dummy::TIME_ROLL = 3 - const dummy::CROSS_CH_TOL_ROLL = 51.000000 - const dummy::BID_LAST = 2.200000 - const dummy::TIME5 = 4 - const dummy::SAFE_COUNTER_TIME = 3 - const dummy::BID_VAL = 3.300000 - const dummy::CROSS_CH_TOL_YAW = 10.000000 - const dummy::TIME_CROSS_ROLL = 3 Exported nodes: - node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - - node dummy::onlyroll = dummy::onlyroll(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX - - node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - - node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX - - node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX - - node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX - - node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX - - node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX - - node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX - - node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX - - node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX - - node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX - - node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX - - node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX - - node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX - - node dummy::abs = dummy::abs(real) returns (real) on clock XXX - - node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX + node dummy::minmax1 = dummy::minmax1(int, int) returns (int, int) on clock XXX - node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/NONREG/minmax2.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export node minmax2 + export node minmax +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + minmax2 (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "minmax2::main" +*** Dump the exported items of the packages. + * package dummy + Exported types: + Exported constants: + Exported nodes: + node dummy::minmax2 = dummy::minmax2(int, int) returns (int, int) on clock XXX - node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/onlyroll2.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const NRminP - export const NRmaxP - export const NRminR - export const DELTA_PITCH - export const NRmaxR - export const FAIL_SAFE_PITCH_VALUE - export const DELTA_YAW - export const HORminP - export const NRminY - export const XFAIL_SAFE_ROLL_VALUE - export const HORmaxP - export const HORminR - export const NRmaxY - export const HORmaxR - export const CROSS_CH_TOL_PITCH - export const HORminY - export const FAIL_SAFE_YAW_VALUE - export const HORmaxY - export const OneSecond - export const FAIL_SAFE_ROLL_VALUE - export const DELTA_ROLL - export const TIME_ROLL - export const CROSS_CH_TOL_ROLL - export const TIME5 - export const BID_LAST - export const SAFE_COUNTER_TIME - export const BID_VAL - export const TIME_CROSS_ROLL - export const CROSS_CH_TOL_YAW - export node Calculate - export node Median - export node onlyroll2 - export node oneoffour - export node MedianValue3 - export node Monitor - export node Allocator - export node Channel - export node min2 - export node min4 - export node max2 - export node max4 - export node OlympicAverage - export node InHardoverRange - export node twooffour - export node noneof - export node threeoffour - export node InNominalRange - export node FailDetect - export node abs - export node Average2 - export node Average - export node maintain - export node values_nok + export node minmax3 + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - onlyroll2 (pack) + minmax3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "onlyroll2::main" +-- MAIN NODE: "minmax3::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::NRminP = -5.100000 - const dummy::NRminR = -25.300000 - const dummy::NRmaxP = 5.100000 - const dummy::DELTA_PITCH = 3.000000 - const dummy::NRmaxR = 25.300000 - const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 - const dummy::DELTA_YAW = 2.730000 - const dummy::NRminY = -5.000000 - const dummy::HORminP = -57.000000 - const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 - const dummy::NRmaxY = 5.000000 - const dummy::HORminR = -285.000000 - const dummy::HORmaxP = 57.000000 - const dummy::CROSS_CH_TOL_PITCH = 10.100000 - const dummy::HORmaxR = 285.000000 - const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 - const dummy::HORminY = -57.000000 - const dummy::DELTA_ROLL = 14.900000 - const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 - const dummy::OneSecond = 10 - const dummy::HORmaxY = 57.000000 - const dummy::TIME_ROLL = 3 - const dummy::CROSS_CH_TOL_ROLL = 51.000000 - const dummy::BID_LAST = 2.200000 - const dummy::TIME5 = 4 - const dummy::SAFE_COUNTER_TIME = 3 - const dummy::BID_VAL = 3.300000 - const dummy::CROSS_CH_TOL_YAW = 10.000000 - const dummy::TIME_CROSS_ROLL = 3 Exported nodes: - node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - - node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - - node dummy::onlyroll2 = dummy::onlyroll2(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX - - node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX - - node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX - - node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX - - node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX - - node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX - - node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX - - node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX - - node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX - - node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX - - node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX - - node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX - - node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX - - node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX - - node dummy::abs = dummy::abs(real) returns (real) on clock XXX - - node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX - - node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - - node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX + node dummy::minmax3 = dummy::minmax3(int, int, int) returns (int, int, int) on clock XXX - node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/test.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node three_outputs - export node test - export node two_outputs + export node minmax4 + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - test (pack) + minmax4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "test::main" +-- MAIN NODE: "minmax4::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::three_outputs = dummy::three_outputs(bool, bool, bool) returns (bool, bool, bool) on clock XXX - - node dummy::test = dummy::test(bool, bool) returns (bool, bool, bool, bool) on clock XXX + node dummy::minmax4 = dummy::minmax4(int, int, int, int) returns (int, int, int, int) on clock XXX - node dummy::two_outputs = dummy::two_outputs(bool, bool) returns (bool, bool) on clock XXX + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/titi.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax4_bis.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node titi + export node minmax4_bis + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - titi (pack) + minmax4_bis (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "titi::main" +-- MAIN NODE: "minmax4_bis::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::titi = dummy::titi(bool, bool) returns (bool) on clock XXX + node dummy::minmax4_bis = dummy::minmax4_bis(int, int, int, int) returns (int, int, int, int) on clock XXX + + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/toolate.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax5.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type tab1 - export type tab2 - export type tab3 - export type bool4 - export type really - export const ze_const_int - export node edge_detect - export node implies - export node after - export node bidon - export node once_from_to - export node once_since - export node toolate + export node minmax5 + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - toolate (pack) + minmax5 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "toolate::main" +-- MAIN NODE: "minmax5::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::tab1 = int^2 - type dummy::tab2 = int^3^4 - type dummy::tab3 = int^5^6^7 - type dummy::bool4 = bool^5 - type dummy::really = real Exported constants: - const dummy::ze_const_int = 5 Exported nodes: - node dummy::edge_detect = dummy::edge_detect(bool) returns (bool) on clock XXX - - node dummy::implies = dummy::implies(bool, bool) returns (bool) on clock XXX - - node dummy::after = dummy::after(bool) returns (bool) on clock XXX - - node dummy::bidon = dummy::bidon(bool) returns (bool, bool) on clock XXX - - node dummy::once_from_to = dummy::once_from_to(bool, bool, bool) returns (bool) on clock XXX - - node dummy::once_since = dummy::once_since(bool, bool) returns (bool) on clock XXX + node dummy::minmax5 = dummy::minmax5(int, int, int, int) returns (int, int, int, int) on clock XXX - node dummy::toolate = dummy::toolate(bool, bool) returns (bool) on clock XXX + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/toto.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax5_random.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node toto + export node minmax5_random + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - toto (pack) + minmax5_random (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "toto::main" +-- MAIN NODE: "minmax5_random::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::toto = dummy::toto(bool, bool) returns (bool) on clock XXX + node dummy::minmax5_random = dummy::minmax5_random(int, int, int, int) returns (int, int, int, int) on clock XXX + + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/morel4.lus +====> ../lus2lic -vl 3 should_work/NONREG/minmax6.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type toto - export type arrayb - export type tube - export type arrayi - export node morel4 - export node tab - export node mcmorel + export node minmax6 + export node minmax *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - morel4 (pack) + minmax6 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "morel4::main" +-- MAIN NODE: "minmax6::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::toto = {titi : {in : int; out : int}; tutu : bool} - type dummy::arrayb = bool^3 - type dummy::arrayi = int^2^3 - type dummy::tube = {in : int; out : int} Exported constants: Exported nodes: - node dummy::morel4 = dummy::morel4(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX + node dummy::minmax6 = dummy::minmax6(int, int, int, int, int, int) returns (int, int, int, int, int, int) on clock XXX - node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX + node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX -Warning. in file "should_work/fab_test/morel4.lus", line 33, col 17 to 17, token ',': ----> separator mismatch, ';' expected ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/morel5.lus +====> ../lus2lic -vl 3 should_work/NONREG/mm.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type toto - export type arrayb - export type tube - export type arrayi - export node morel5 - export node tab - export node mcmorel + export type pairpair + export type pair + export node mm *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - morel5 (pack) + mm (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "morel5::main" +-- MAIN NODE: "mm::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::toto = {titi : {in : int; out : int}; tutu : bool} - type dummy::arrayb = bool^3 - type dummy::arrayi = int^2^3 - type dummy::tube = {in : int; out : int} + type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} + type dummy::pair = {a : int; b : int} Exported constants: Exported nodes: - node dummy::morel5 = dummy::morel5( {titi : {in : int; out : int}; tutu : bool}, bool^3, int^2^3) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::tab = dummy::tab( {titi : {in : int; out : int}; tutu : bool}, bool^3, int^2^3) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::mcmorel = dummy::mcmorel(int) returns (int^2, int^2^2) on clock XXX + node dummy::mm = dummy::mm(int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/morel.lus +====> ../lus2lic -vl 3 should_work/NONREG/mm1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type arrayb - export type arrayi - export node tab - export node morel - export node mcmorel + export type pairpair + export type pair + export node mm1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - morel (pack) + mm1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "morel::main" +-- MAIN NODE: "mm1::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::arrayb = bool^3 - type dummy::arrayi = int^2^3 + type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} + type dummy::pair = {a : int; b : int} Exported constants: Exported nodes: - node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::morel = dummy::morel(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX + node dummy::mm1 = dummy::mm1(int, int) returns ( {a : int; b : int}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/morel2.lus +====> ../lus2lic -vl 3 should_work/NONREG/mm22.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type a32 - export type arrayb - export type a2 - export type arrayi - export node morel2 - export node mcmorel + export type pairpair + export type pair + export node mm22 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - morel2 (pack) + mm22 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "morel2::main" +-- MAIN NODE: "mm22::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::a32 = int^2^3 - type dummy::arrayb = bool^3 - type dummy::a2 = int^2 - type dummy::arrayi = int^2^3 + type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} + type dummy::pair = {a : int; b : int} Exported constants: Exported nodes: - node dummy::morel2 = dummy::morel2(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX + node dummy::mm22 = dummy::mm22(int, int) returns ( {a : int; b : int}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/fab_test/morel3.lus +====> ../lus2lic -vl 3 should_work/NONREG/mm3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type arrayb - export type arrayi - export node morel3 - export node tab - export node mcmorel + export type pairpair + export type pair + export node mm3 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - morel3 (pack) + mm3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "morel3::main" +-- MAIN NODE: "mm3::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::arrayb = bool^3 - type dummy::arrayi = int^2^3 + type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} + type dummy::pair = {a : int; b : int} Exported constants: Exported nodes: - node dummy::morel3 = dummy::morel3(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - - node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX + node dummy::mm3 = dummy::mm3( {a : int; b : int}) returns ( {a : int; b : int}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/cst.lus +====> ../lus2lic -vl 3 should_work/NONREG/mouse.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const i - export const j - export const k - export node cst + export node mouse + export node edge *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - cst (pack) + mouse (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "cst::main" +-- MAIN NODE: "mouse::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::i = dummy::i - const dummy::j = dummy::j - const dummy::k = dummy::k Exported nodes: - node dummy::cst = dummy::cst(int) returns (int) on clock XXX + node dummy::mouse = dummy::mouse(bool, bool, int) returns (bool, bool) on clock XXX + + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/CURRENT.lus +====> ../lus2lic -vl 3 should_work/NONREG/mouse1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node CURRENT + export node mouse1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - CURRENT (pack) + mouse1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "CURRENT::main" +-- MAIN NODE: "mouse1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::CURRENT = dummy::CURRENT(bool, bool) returns (bool) on clock XXX + node dummy::mouse1 = dummy::mouse1(bool, bool, int) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ex.lus +====> ../lus2lic -vl 3 should_work/NONREG/mouse2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type t1 - export type t2 - export type s - export type t - export type s1 - export node ex + export node mouse2 + export node edge *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ex (pack) + mouse2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ex::main" +-- MAIN NODE: "mouse2::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t1 = int^1^2^3^4^4 - type dummy::t2 = {a : int; b : bool^11^22} - type dummy::s = {x : int^1^2^3^4; y : {x : int; y : int^1^2^3^4}} - type dummy::t = int^1^2^3^4 - type dummy::s1 = {x : int; y : int^1^2^3^4} Exported constants: Exported nodes: - node dummy::ex = dummy::ex( {x : int^1^2^3^4; y : {x : int; y : int^1^2^3^4}}) returns (int) on clock XXX + node dummy::mouse2 = dummy::mouse2(bool, bool, int) returns (bool, bool) on clock XXX + + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/exclusion.lus +====> ../lus2lic -vl 3 should_work/NONREG/mouse3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node exclusion + export node mouse3 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - exclusion (pack) + mouse3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "exclusion::main" +-- MAIN NODE: "mouse3::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::exclusion = dummy::exclusion(bool, bool, bool, bool) returns (bool, bool, bool, bool, bool) on clock XXX + node dummy::mouse3 = dummy::mouse3(bool, bool, int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/PCOND.lus +====> ../lus2lic -vl 3 should_work/NONREG/multiclock.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node PCOND + export node moyenne + export node multiclock *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - PCOND (pack) + multiclock (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "PCOND::main" +-- MAIN NODE: "multiclock::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::PCOND = dummy::PCOND(bool, bool, bool, bool, int, int, bool, bool, bool) returns (bool, int) on clock XXX + node dummy::multiclock = dummy::multiclock(int, int, bool, int) returns (int) on clock XXX + + node dummy::moyenne = dummy::moyenne(int, int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/fby.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node followed_by + export node n1 + export node nc1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - fby (pack) + nc1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "fby::main" +-- MAIN NODE: "nc1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::followed_by = dummy::followed_by(bool) returns (int) on clock XXX + node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + + node dummy::nc1 = dummy::nc1(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/PCOND1.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc10.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node PCOND1 + export node nc10 + export node n1 + export node n2 + export node n3 + export node n4 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - PCOND1 (pack) + nc10 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "PCOND1::main" +-- MAIN NODE: "nc10::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::PCOND1 = dummy::PCOND1(bool, bool, bool, bool, int, int, bool, bool, bool) returns (bool) on clock XXX + node dummy::nc10 = dummy::nc10(int) returns (bool) on clock XXX + + node dummy::n1 = dummy::n1(int) returns (int) on clock XXX + + node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX + + node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX + + node dummy::n4 = dummy::n4(int, int, int, int) returns (int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/flo.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node SWITCH - export node flo + export node n1 + export node nc2 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - flo (pack) + nc2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "flo::main" +-- MAIN NODE: "nc2::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::SWITCH = dummy::SWITCH(bool, bool, bool) returns (bool) on clock XXX + node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX - node dummy::flo = dummy::flo(bool, bool, bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::nc2 = dummy::nc2(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/SOURIS.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node SOURIS + export node n1 + export node nc3 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - SOURIS (pack) + nc3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "SOURIS::main" +-- MAIN NODE: "nc3::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::SOURIS = dummy::SOURIS(bool, bool, bool, bool) returns (bool, bool, bool, int) on clock XXX + node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + + node dummy::nc3 = dummy::nc3(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/hanane.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type structT - export type t1 - export type t2 - export type t3 - export type tabStruct - export type string2d - export type string - export const a - export const b - export const c - export node hanane + export node n1 + export node n2 + export node nc4 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - hanane (pack) + nc4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "hanane::main" +-- MAIN NODE: "nc4::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t1 = dummy::t1 - type dummy::structT = {x : int; y : real; z : int^4^4^4} - type dummy::t2 = dummy::t2 - type dummy::t3 = dummy::t3 - type dummy::tabStruct = {x : int; y : real; z : int^4^4^4}^2 - type dummy::string2d = int^4^4 - type dummy::string = int^4 Exported constants: - const dummy::a = 4 - const dummy::b = true - const dummy::c = 3.140000 Exported nodes: - node dummy::hanane = dummy::hanane(bool, int^4^4, {x : int; y : real; z : int^4^4^4}^2) returns (bool) on clock XXX + node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + + node dummy::n2 = dummy::n2(bool, bool) returns (bool) on clock XXX + + node dummy::nc4 = dummy::nc4(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/Watch.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc5.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type STATUS_TYPE - export type ALARM_TIME_TYPE - export type ALARM_TIME_POSITION - export type WATCH_TIME_POSITION - export type DISPLAY_TYPE - export type WATCH_TIME_TYPE - export type STOPWATCH_TIME_TYPE - export type MAIN_DISPLAY_TYPE - export type LABELS_TYPE - export type DISPLAY_POSITION - export type MINI_DISPLAY_TYPE - export type string - export const INITIAL_WATCH_POSITION - export const INITIAL_WATCH_TIME - export const ALARM_DURATION - export const stringAL - export const stringST - export const INITIAL_ALARM_POSITION - export const INITIAL_ALARM_TIME - export const NULL_POSITION - export const INITIAL_STOPWATCH_TIME - export node ALARM_TO_DISPLAY_POS - export node DIVIDE - export node TWO_STATES - export node INCREMENT_STOPWATCH_TIME - export node Watch - export node WATCH_TIME_TO_MAIN_DISPLAY - export node IS_ZERO_MOD_10_MN - export node MAKE_DISPLAY - export node TOGGLE_24H_IN_ALARM_MODE - export node SET_WATCH_TIME - export node STOPWATCH - export node TIME_SCALE - export node SET_ALARM_TIME - export node LABELS - export node WATCH_DATE_TO_MINI_DISPLAY - export node IS_O_CLOCK - export node STOPWATCH_TIME_TO_MAIN_DISPLAY - export node INCREMENT_WATCH_TIME_IN_SET_MODE - export node ALARM_TIME_TO_MAIN_DISPLAY - export node MORE_RECENT - export node WATCH - export node NEXT_ALARM_TIME_POSITION - export node NEXT_WATCH_TIME_POSITION - export node WATCH_TO_DISPLAY_POS - export node TOGGLE_24H_IN_WATCH_MODE - export node SOMME - export node DISPLAY - export node EDGE - export node COMPARE_WATCH_ALARM_TIME - export node STATUS - export node WATCH_TIME_TO_MINI_DISPLAY - export node CONFIRM_TIME - export node INCREMENT_WATCH_TIME - export node BUTTONS - export node WATCH_DAY_TO_ALPHA_DISPLAY - export node ALARM + export node n1 + export node n2 + export node n3 + export node n4 + export node nc5 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - Watch (pack) + nc5 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "Watch::main" +-- MAIN NODE: "nc5::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::STATUS_TYPE = dummy::STATUS_TYPE - type dummy::ALARM_TIME_TYPE = dummy::ALARM_TIME_TYPE - type dummy::WATCH_TIME_POSITION = dummy::WATCH_TIME_POSITION - type dummy::ALARM_TIME_POSITION = dummy::ALARM_TIME_POSITION - type dummy::DISPLAY_TYPE = dummy::DISPLAY_TYPE - type dummy::WATCH_TIME_TYPE = dummy::WATCH_TIME_TYPE - type dummy::STOPWATCH_TIME_TYPE = dummy::STOPWATCH_TIME_TYPE - type dummy::MAIN_DISPLAY_TYPE = dummy::MAIN_DISPLAY_TYPE - type dummy::LABELS_TYPE = dummy::LABELS_TYPE - type dummy::DISPLAY_POSITION = dummy::DISPLAY_POSITION - type dummy::MINI_DISPLAY_TYPE = dummy::MINI_DISPLAY_TYPE - type dummy::string = dummy::string Exported constants: - const dummy::INITIAL_WATCH_POSITION = dummy::INITIAL_WATCH_POSITION - const dummy::INITIAL_WATCH_TIME = dummy::INITIAL_WATCH_TIME - const dummy::ALARM_DURATION = dummy::ALARM_DURATION - const dummy::stringST = dummy::stringST - const dummy::stringAL = dummy::stringAL - const dummy::INITIAL_ALARM_TIME = dummy::INITIAL_ALARM_TIME - const dummy::INITIAL_ALARM_POSITION = dummy::INITIAL_ALARM_POSITION - const dummy::NULL_POSITION = dummy::NULL_POSITION - const dummy::INITIAL_STOPWATCH_TIME = dummy::INITIAL_STOPWATCH_TIME Exported nodes: - node dummy::ALARM_TO_DISPLAY_POS = dummy::ALARM_TO_DISPLAY_POS(dummy::ALARM_TIME_POSITION) returns (dummy::DISPLAY_POSITION) on clock XXX - - node dummy::INCREMENT_STOPWATCH_TIME = dummy::INCREMENT_STOPWATCH_TIME(dummy::STOPWATCH_TIME_TYPE) returns (dummy::STOPWATCH_TIME_TYPE) on clock XXX - - node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX - - node dummy::DIVIDE = dummy::DIVIDE(int) returns (bool) on clock XXX - - node dummy::Watch = dummy::Watch(bool, bool, bool, bool, bool) returns (dummy::DISPLAY_TYPE, int) on clock XXX - - node dummy::IS_ZERO_MOD_10_MN = dummy::IS_ZERO_MOD_10_MN(dummy::STOPWATCH_TIME_TYPE) returns (bool) on clock XXX - - node dummy::WATCH_TIME_TO_MAIN_DISPLAY = dummy::WATCH_TIME_TO_MAIN_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - - node dummy::TOGGLE_24H_IN_ALARM_MODE = dummy::TOGGLE_24H_IN_ALARM_MODE(dummy::ALARM_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE) on clock XXX - - node dummy::MAKE_DISPLAY = dummy::MAKE_DISPLAY(dummy::LABELS_TYPE, dummy::DISPLAY_POSITION, dummy::STATUS_TYPE, dummy::string, dummy::MINI_DISPLAY_TYPE, dummy::MAIN_DISPLAY_TYPE) returns (dummy::DISPLAY_TYPE) on clock XXX - - node dummy::SET_WATCH_TIME = dummy::SET_WATCH_TIME(dummy::WATCH_TIME_POSITION, dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX - - node dummy::STOPWATCH = dummy::STOPWATCH(bool, bool, bool) returns (dummy::STOPWATCH_TIME_TYPE, bool, bool, int) on clock XXX - - node dummy::TIME_SCALE = dummy::TIME_SCALE(int) returns (int) on clock XXX - - node dummy::SET_ALARM_TIME = dummy::SET_ALARM_TIME(dummy::ALARM_TIME_POSITION, dummy::ALARM_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE) on clock XXX - - node dummy::LABELS = dummy::LABELS(bool, bool, bool, bool, bool) returns (dummy::LABELS_TYPE) on clock XXX - - node dummy::IS_O_CLOCK = dummy::IS_O_CLOCK(dummy::WATCH_TIME_TYPE) returns (bool) on clock XXX - - node dummy::WATCH_DATE_TO_MINI_DISPLAY = dummy::WATCH_DATE_TO_MINI_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MINI_DISPLAY_TYPE) on clock XXX - - node dummy::STOPWATCH_TIME_TO_MAIN_DISPLAY = dummy::STOPWATCH_TIME_TO_MAIN_DISPLAY(dummy::STOPWATCH_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - - node dummy::INCREMENT_WATCH_TIME_IN_SET_MODE = dummy::INCREMENT_WATCH_TIME_IN_SET_MODE(dummy::WATCH_TIME_POSITION, dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX - - node dummy::ALARM_TIME_TO_MAIN_DISPLAY = dummy::ALARM_TIME_TO_MAIN_DISPLAY(dummy::ALARM_TIME_TYPE) returns (dummy::MAIN_DISPLAY_TYPE) on clock XXX - - node dummy::NEXT_WATCH_TIME_POSITION = dummy::NEXT_WATCH_TIME_POSITION(dummy::WATCH_TIME_POSITION) returns (dummy::WATCH_TIME_POSITION) on clock XXX - - node dummy::NEXT_ALARM_TIME_POSITION = dummy::NEXT_ALARM_TIME_POSITION(dummy::ALARM_TIME_POSITION) returns (dummy::ALARM_TIME_POSITION) on clock XXX - - node dummy::WATCH = dummy::WATCH(bool, bool, bool, bool, bool, bool) returns (dummy::WATCH_TIME_TYPE, dummy::WATCH_TIME_POSITION, bool, int) on clock XXX - - node dummy::MORE_RECENT = dummy::MORE_RECENT(bool, int) returns (bool) on clock XXX - - node dummy::SOMME = dummy::SOMME(int, int, int) returns (int) on clock XXX - - node dummy::TOGGLE_24H_IN_WATCH_MODE = dummy::TOGGLE_24H_IN_WATCH_MODE(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX - - node dummy::WATCH_TO_DISPLAY_POS = dummy::WATCH_TO_DISPLAY_POS(dummy::WATCH_TIME_POSITION) returns (dummy::DISPLAY_POSITION) on clock XXX - - node dummy::DISPLAY = dummy::DISPLAY(bool, bool, bool, dummy::WATCH_TIME_TYPE, dummy::STOPWATCH_TIME_TYPE, dummy::ALARM_TIME_TYPE, dummy::DISPLAY_POSITION, dummy::STATUS_TYPE, dummy::LABELS_TYPE) returns (dummy::DISPLAY_TYPE) on clock XXX - - node dummy::COMPARE_WATCH_ALARM_TIME = dummy::COMPARE_WATCH_ALARM_TIME(dummy::ALARM_TIME_TYPE, dummy::WATCH_TIME_TYPE) returns (bool) on clock XXX - - node dummy::EDGE = dummy::EDGE(bool) returns (bool) on clock XXX - - node dummy::WATCH_TIME_TO_MINI_DISPLAY = dummy::WATCH_TIME_TO_MINI_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::MINI_DISPLAY_TYPE) on clock XXX - - node dummy::STATUS = dummy::STATUS(bool, bool, bool, bool) returns (dummy::STATUS_TYPE) on clock XXX - - node dummy::CONFIRM_TIME = dummy::CONFIRM_TIME(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX + node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - node dummy::INCREMENT_WATCH_TIME = dummy::INCREMENT_WATCH_TIME(dummy::WATCH_TIME_TYPE) returns (dummy::WATCH_TIME_TYPE) on clock XXX + node dummy::n2 = dummy::n2(int) returns (int) on clock XXX - node dummy::BUTTONS = dummy::BUTTONS(bool, bool, bool, bool) returns (bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) on clock XXX + node dummy::n3 = dummy::n3(int) returns (int) on clock XXX - node dummy::WATCH_DAY_TO_ALPHA_DISPLAY = dummy::WATCH_DAY_TO_ALPHA_DISPLAY(dummy::WATCH_TIME_TYPE) returns (dummy::string) on clock XXX + node dummy::n4 = dummy::n4(int) returns (int) on clock XXX - node dummy::ALARM = dummy::ALARM(bool, bool, bool, bool, bool, bool, bool, dummy::WATCH_TIME_TYPE) returns (dummy::ALARM_TIME_TYPE, bool, dummy::ALARM_TIME_POSITION, int) on clock XXX + node dummy::nc5 = dummy::nc5(int) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/X.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc6.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node X + export node n1 + export node n2 + export node n3 + export node n4 + export node nc6 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - X (pack) + nc6 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "X::main" +-- MAIN NODE: "nc6::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::X = dummy::X(bool, int) returns (bool, int, int) on clock XXX + node dummy::n1 = dummy::n1(int) returns (int) on clock XXX + + node dummy::n2 = dummy::n2(int) returns (int) on clock XXX + + node dummy::n3 = dummy::n3(int) returns (int) on clock XXX + + node dummy::n4 = dummy::n4(int) returns (int) on clock XXX + + node dummy::nc6 = dummy::nc6(int) returns (bool) on clock XXX ---------------------------------------------------------------------- @@ -3153,2825 +2302,3680 @@ End of Syntax table dump. ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/import1.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc8.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node import1 - export node imp + export node n1 + export node n2 + export node n3 + export node n4 + export node nc8 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - import1 (pack) + nc8 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "import1::main" +-- MAIN NODE: "nc8::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::import1 = dummy::import1(int, int) returns (int) on clock XXX + node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - node dummy::imp = dummy::imp(int) returns (int) on clock XXX + node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX + + node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX + + node dummy::n4 = dummy::n4(int, int, int, int) returns (int) on clock XXX + + node dummy::nc8 = dummy::nc8(int) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/X1.lus +====> ../lus2lic -vl 3 should_work/NONREG/nc9.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node X1 + export node n1 + export node n2 + export node n3 + export node n4 + export node nc9 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - X1 (pack) + nc9 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "X1::main" +-- MAIN NODE: "nc9::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::X1 = dummy::X1(bool, int) returns (int) on clock XXX + node dummy::n1 = dummy::n1(int) returns (int) on clock XXX + + node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX + + node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX + + node dummy::n4 = dummy::n4(int, int, int, int) returns (int, int) on clock XXX + + node dummy::nc9 = dummy::nc9(int) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/initial.lus +====> ../lus2lic -vl 3 should_work/NONREG/node_caller1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node initial + export node node_caller1 + export node ex1 + export node ex2 + export node ex3 + export node ex4 + export node ex5 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - initial (pack) + node_caller1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "initial::main" +-- MAIN NODE: "node_caller1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::initial = dummy::initial(bool) returns (bool, int, real) on clock XXX + node dummy::node_caller1 = dummy::node_caller1(int) returns (int) on clock XXX + + node dummy::ex1 = dummy::ex1(int) returns (int) on clock XXX + + node dummy::ex2 = dummy::ex2(int) returns (int) on clock XXX + + node dummy::ex3 = dummy::ex3(int) returns (int) on clock XXX + + node dummy::ex4 = dummy::ex4(int) returns (int) on clock XXX + + node dummy::ex5 = dummy::ex5(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/X2.lus +====> ../lus2lic -vl 3 should_work/NONREG/o2l_feux_compl.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node X2 + export node o2l_feux_compl *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - X2 (pack) + o2l_feux_compl (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "X2::main" +-- MAIN NODE: "o2l_feux_compl::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::X2 = dummy::X2(bool, int) returns (int) on clock XXX + node dummy::o2l_feux_compl = dummy::o2l_feux_compl(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/X3.lus +====> ../lus2lic -vl 3 should_work/NONREG/patrick.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node X3 + export node patrick *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - X3 (pack) + patrick (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "X3::main" +-- MAIN NODE: "patrick::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::X3 = dummy::X3(int, bool) returns (int) on clock XXX + node dummy::patrick = dummy::patrick(int, int, bool, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax1.lus +====> ../lus2lic -vl 3 should_work/NONREG/poussoir.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax1 + export node TWO_STATES + export node ONE_BUTTON + export node poussoir *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax1 (pack) + poussoir (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax1::main" +-- MAIN NODE: "poussoir::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::minmax1 = dummy::minmax1(int, int) returns (int, int) on clock XXX + node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX + + node dummy::ONE_BUTTON = dummy::ONE_BUTTON(bool, bool) returns (bool) on clock XXX + + node dummy::poussoir = dummy::poussoir(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax2.lus +====> ../lus2lic -vl 3 should_work/NONREG/rs.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax2 - export node minmax + export node rs *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax2 (pack) + rs (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax2::main" +-- MAIN NODE: "rs::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::minmax2 = dummy::minmax2(int, int) returns (int, int) on clock XXX - - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX + node dummy::rs = dummy::rs(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/X6.lus +====> ../lus2lic -vl 3 should_work/NONREG/s.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node X6 + export node s *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - X6 (pack) + s (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "X6::main" +-- MAIN NODE: "s::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::X6 = dummy::X6(int, bool) returns (int, bool, bool, int, int, int, int) on clock XXX + node dummy::s = dummy::s(int, int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax3.lus +====> ../lus2lic -vl 3 should_work/NONREG/simple.lus +*** Error in file "should_work/NONREG/simple.lus", line 2, col 20 to 20, token '{': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/NONREG/stopwatch.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax3 - export node minmax + export node simple_stopwatch + export node stopwatch *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax3 (pack) + stopwatch (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax3::main" +-- MAIN NODE: "stopwatch::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::minmax3 = dummy::minmax3(int, int, int) returns (int, int, int) on clock XXX + node dummy::simple_stopwatch = dummy::simple_stopwatch(bool, bool, bool) returns (int, bool) on clock XXX - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX + node dummy::stopwatch = dummy::stopwatch(bool, bool, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/_N_uu.lus +====> ../lus2lic -vl 3 should_work/NONREG/testCA.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node _N_uu + export node testCA *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - _N_uu (pack) + testCA (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "_N_uu::main" +-- MAIN NODE: "testCA::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::_N_uu = dummy::_N_uu(bool, bool, bool) returns (bool) on clock XXX + node dummy::testCA = dummy::testCA(int) returns (int, int, int, int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/cpt.lus +====> ../lus2lic -vl 3 should_work/NONREG/trivial.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node cpt + export node edge + export node trivial *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - cpt (pack) + trivial (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "cpt::main" +-- MAIN NODE: "trivial::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::cpt = dummy::cpt(bool, bool) returns (int) on clock XXX + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + + node dummy::trivial = dummy::trivial(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/s.lus +====> ../lus2lic -vl 3 should_work/NONREG/trivial2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node s + export node edge + export node trivial2 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - s (pack) + trivial2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "s::main" +-- MAIN NODE: "trivial2::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::s = dummy::s(int, int) returns (int) on clock XXX + node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + + node dummy::trivial2 = dummy::trivial2(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/activation_ec.lus +====> ../lus2lic -vl 3 should_work/NONREG/uu.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node activation_ec + export node uu *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - activation_ec (pack) + uu (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "activation_ec::main" +-- MAIN NODE: "uu::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::activation_ec = dummy::activation_ec(bool) returns (int) on clock XXX + node dummy::uu = dummy::uu(bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/drapfab.lus +====> ../lus2lic -vl 3 should_work/NONREG/v1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node drapfab + export node v1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - drapfab (pack) + v1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "drapfab::main" +-- MAIN NODE: "v1::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::drapfab = dummy::drapfab(bool, bool, bool) returns (bool, bool) on clock XXX + node dummy::v1 = dummy::v1(int, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax4.lus +====> ../lus2lic -vl 3 should_work/Pascal/consensus.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax4 - export node minmax + export node main + export node main2 + export node consensus + export node c8 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax4 (pack) + consensus (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax4::main" +-- MAIN NODE: "consensus::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::minmax4 = dummy::minmax4(int, int, int, int) returns (int, int, int, int) on clock XXX - - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX +*** Error in file "should_work/Pascal/consensus.lus", line 20, col 40 to 40, token '^': can't eval type: bad array size 0 ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/after.lus +====> ../lus2lic -vl 3 should_work/Pascal/fby.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node after + export node rising_edge_bis + export node rising_edge *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - after (pack) + fby (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "after::main" +-- MAIN NODE: "fby::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::after = dummy::after(bool) returns (bool) on clock XXX + node dummy::rising_edge_bis = dummy::rising_edge_bis(bool) returns (bool) on clock XXX + + node dummy::rising_edge = dummy::rising_edge(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/alarme.lus +====> ../lus2lic -vl 3 should_work/Pascal/func_with_body.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const delai_reprise - export const delai_vigilence - export const delai_alarme - export node edge - export node alarme - export node bascule - export node decompte + export node ext + export node trivial *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - alarme (pack) + func_with_body (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "alarme::main" +-- MAIN NODE: "func_with_body::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::delai_reprise = 4 - const dummy::delai_vigilence = 3 - const dummy::delai_alarme = 6 Exported nodes: - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX - - node dummy::alarme = dummy::alarme(bool, bool, bool, bool) returns (bool, bool) on clock XXX - - node dummy::bascule = dummy::bascule(bool, bool, bool) returns (bool) on clock XXX + node dummy::ext = dummy::ext(int) returns (int) on clock XXX - node dummy::decompte = dummy::decompte(bool, int, bool) returns (int) on clock XXX + node dummy::trivial = dummy::trivial(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax4_bis.lus +====> ../lus2lic -vl 3 should_work/Pascal/heater_control.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax4_bis - export node minmax + export const FAILURE + export const TMIN + export const TMAX + export const DELTA + export node not_a_sauna2 + export node Median + export node heater_control + export node min2 + export node max2 + export node alloftree + export node not_a_sauna + export node abs + export node noneoftree + export node oneoftree + export node Average *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax4_bis (pack) + heater_control (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax4_bis::main" +-- MAIN NODE: "heater_control::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::FAILURE = -999.000000 + const dummy::TMIN = 6.000000 + const dummy::TMAX = 9.000000 + const dummy::DELTA = 0.500000 Exported nodes: - node dummy::minmax4_bis = dummy::minmax4_bis(int, int, int, int) returns (int, int, int, int) on clock XXX + node dummy::not_a_sauna2 = dummy::not_a_sauna2(real, real, real, real, bool) returns (bool) on clock XXX - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX + node dummy::Median = dummy::Median(real, real, real) returns (real) on clock XXX + + node dummy::heater_control = dummy::heater_control(real, real, real, real) returns (bool) on clock XXX + + node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX + + node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX + + node dummy::not_a_sauna = dummy::not_a_sauna(real, real, real, real, bool) returns (bool) on clock XXX + + node dummy::alloftree = dummy::alloftree(bool, bool, bool) returns (bool) on clock XXX + + node dummy::abs = dummy::abs(real) returns (real) on clock XXX + + node dummy::noneoftree = dummy::noneoftree(bool, bool, bool) returns (bool) on clock XXX + + node dummy::Average = dummy::Average(real, real) returns (real) on clock XXX + + node dummy::oneoftree = dummy::oneoftree(bool, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/arbitre.lus +====> ../lus2lic -vl 3 should_work/Pascal/left.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node mutex - export node process - export node my_switch - export node xedge - export node arbitre + export type truc + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - arbitre (pack) + left (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "arbitre::main" +-- MAIN NODE: "left::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::truc = {a : bool^100^100; b : int} Exported constants: Exported nodes: - node dummy::mutex = dummy::mutex(bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX - - node dummy::process = dummy::process(bool, bool) returns (bool, bool) on clock XXX - - node dummy::my_switch = dummy::my_switch(bool, bool, bool) returns (bool) on clock XXX - - node dummy::xedge = dummy::xedge(bool) returns (bool) on clock XXX - - node dummy::arbitre = dummy::arbitre(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::toto = dummy::toto(bool) returns ( {a : bool^100^100; b : int}^3) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax5.lus +====> ../lus2lic -vl 3 should_work/Pascal/newpacks.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export node minmax5 - export node minmax + init pack inter + export node preced + export const n + export type selType + init pack mainPack + export node preced + init pack pint + export node fby1 + export type t + init pack pbool + export node fby1 + export type t + init pack preal + export node fby1 + export type t *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack inter + init symbol tables for pack mainPack + init symbol tables for pack pint + init symbol tables for pack pbool + init symbol tables for pack preal *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax5 (pack) + modSimple (model) + pint (pack) + pbool (pack) + preal (pack) + inter (pack) + mainPack (pack) - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw model table: modSimple + - Raw Package table: inter mainPack pint pbool preal + - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "minmax5::main" +-- MAIN NODE: "pint::main" *** Dump the exported items of the packages. - * package dummy + * package preal Exported types: + type preal::t = real Exported constants: Exported nodes: - node dummy::minmax5 = dummy::minmax5(int, int, int, int) returns (int, int, int, int) on clock XXX - - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX - + node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/argos.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export node argos -*** SyntaxTab.create pass 3 - init symbol tables for pack dummy -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - argos (pack) - - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy -End of Syntax table dump. » --- MAIN NODE: "argos::main" -*** Dump the exported items of the packages. - * package dummy + * package pbool Exported types: + type pbool::t = bool Exported constants: Exported nodes: - node dummy::argos = dummy::argos(bool, bool) returns (bool, bool, bool) on clock XXX - + node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax5_random.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export node minmax5_random - export node minmax -*** SyntaxTab.create pass 3 - init symbol tables for pack dummy -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - minmax5_random (pack) - - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy -End of Syntax table dump. » --- MAIN NODE: "minmax5_random::main" -*** Dump the exported items of the packages. - * package dummy + * package pint Exported types: + type pint::t = int Exported constants: Exported nodes: - node dummy::minmax5_random = dummy::minmax5_random(int, int, int, int) returns (int, int, int, int) on clock XXX - - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX - + node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/assertion.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export node assertion -*** SyntaxTab.create pass 3 - init symbol tables for pack dummy -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - assertion (pack) - - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy -End of Syntax table dump. » --- MAIN NODE: "assertion::main" -*** Dump the exported items of the packages. - * package dummy + * package mainPack Exported types: + type mainPack::selType = inter::selType (imported) Exported constants: + const mainPack::n = inter::n (imported) Exported nodes: - node dummy::assertion = dummy::assertion(bool, bool, bool, bool) returns (bool) on clock XXX + XXX evalNode.ml: + XXX in file "should_work/Pascal/newpacks.lus", line 52, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! + +*** oops: an internal error occurred in file evalNode.ml, line 27, column 3 +*** when compiling lustre program should_work/Pascal/newpacks.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/minmax6.lus +====> ../lus2lic -vl 3 should_work/Pascal/onlyroll.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node minmax6 - export node minmax + export const NRminP + export const NRmaxP + export const NRminR + export const DELTA_PITCH + export const NRmaxR + export const FAIL_SAFE_PITCH_VALUE + export const DELTA_YAW + export const HORminP + export const NRminY + export const XFAIL_SAFE_ROLL_VALUE + export const HORmaxP + export const HORminR + export const NRmaxY + export const HORmaxR + export const CROSS_CH_TOL_PITCH + export const HORminY + export const FAIL_SAFE_YAW_VALUE + export const HORmaxY + export const OneSecond + export const FAIL_SAFE_ROLL_VALUE + export const DELTA_ROLL + export const TIME_ROLL + export const CROSS_CH_TOL_ROLL + export const TIME5 + export const BID_LAST + export const SAFE_COUNTER_TIME + export const BID_VAL + export const TIME_CROSS_ROLL + export const CROSS_CH_TOL_YAW + export node Calculate + export node onlyroll + export node Median + export node oneoffour + export node MedianValue3 + export node Monitor + export node Allocator + export node Channel + export node min2 + export node min4 + export node max2 + export node max4 + export node OlympicAverage + export node InHardoverRange + export node twooffour + export node noneof + export node threeoffour + export node InNominalRange + export node FailDetect + export node abs + export node Average2 + export node Average + export node maintain + export node values_nok *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - minmax6 (pack) + onlyroll (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "minmax6::main" +-- MAIN NODE: "onlyroll::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::NRminP = -5.100000 + const dummy::NRminR = -25.300000 + const dummy::NRmaxP = 5.100000 + const dummy::DELTA_PITCH = 3.000000 + const dummy::NRmaxR = 25.300000 + const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 + const dummy::DELTA_YAW = 2.730000 + const dummy::NRminY = -5.000000 + const dummy::HORminP = -57.000000 + const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 + const dummy::NRmaxY = 5.000000 + const dummy::HORminR = -285.000000 + const dummy::HORmaxP = 57.000000 + const dummy::CROSS_CH_TOL_PITCH = 10.100000 + const dummy::HORmaxR = 285.000000 + const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 + const dummy::HORminY = -57.000000 + const dummy::DELTA_ROLL = 14.900000 + const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 + const dummy::OneSecond = 10 + const dummy::HORmaxY = 57.000000 + const dummy::TIME_ROLL = 3 + const dummy::CROSS_CH_TOL_ROLL = 51.000000 + const dummy::BID_LAST = 2.200000 + const dummy::TIME5 = 4 + const dummy::SAFE_COUNTER_TIME = 3 + const dummy::BID_VAL = 3.300000 + const dummy::CROSS_CH_TOL_YAW = 10.000000 + const dummy::TIME_CROSS_ROLL = 3 Exported nodes: - node dummy::minmax6 = dummy::minmax6(int, int, int, int, int, int) returns (int, int, int, int, int, int) on clock XXX + node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX - node dummy::minmax = dummy::minmax(int, int) returns (int, int) on clock XXX + node dummy::onlyroll = dummy::onlyroll(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX + node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mm.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export type pairpair - export type pair - export node mm -*** SyntaxTab.create pass 3 - init symbol tables for pack dummy -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - mm (pack) - - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy -End of Syntax table dump. » --- MAIN NODE: "mm::main" -*** Dump the exported items of the packages. - * package dummy - Exported types: - type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} - type dummy::pair = {a : int; b : int} - Exported constants: - Exported nodes: - node dummy::mm = dummy::mm(int, int) returns (int, int) on clock XXX + node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX + + node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX + + node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + + node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX + + node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX + + node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX + + node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX + + node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX + + node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX + + node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX + + node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX + + node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX + + node dummy::abs = dummy::abs(real) returns (real) on clock XXX + + node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX + + node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX + + node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/aux.lus +====> ../lus2lic -vl 3 should_work/Pascal/p.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export node aux + init pack inter + export node preced + export const n + export type selType + init pack mainPack + export node preced + init pack pint + export node fby1 + export type t + init pack pbool + export node fby1 + export type t + init pack preal + export node fby1 + export type t *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack inter + init symbol tables for pack mainPack + init symbol tables for pack pint + init symbol tables for pack pbool + init symbol tables for pack preal *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - aux (pack) + modSimple (model) + pint (pack) + pbool (pack) + preal (pack) + inter (pack) + mainPack (pack) - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw model table: modSimple + - Raw Package table: inter mainPack pint pbool preal + - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "aux::main" +-- MAIN NODE: "pint::main" *** Dump the exported items of the packages. - * package dummy + * package preal Exported types: + type preal::t = real Exported constants: Exported nodes: - node dummy::aux = dummy::aux(bool) returns (int) on clock XXX + node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX + + * package pbool + Exported types: + type pbool::t = bool + Exported constants: + Exported nodes: + node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX + + * package pint + Exported types: + type pint::t = int + Exported constants: + Exported nodes: + node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX + + * package mainPack + Exported types: + type mainPack::selType = inter::selType (imported) + Exported constants: + const mainPack::n = inter::n (imported) + Exported nodes: + + XXX evalNode.ml: + XXX in file "should_work/Pascal/p.lus", line 53, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! +*** oops: an internal error occurred in file evalNode.ml, line 27, column 3 +*** when compiling lustre program should_work/Pascal/p.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mm1.lus +====> ../lus2lic -vl 3 should_work/Pascal/packs.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export type pairpair - export type pair - export node mm1 + init pack inter + export node preced + export const n + export type selType + export enum const X + export enum const Y + export type toto + init pack mainPack + export type T + export enum const bleu + export enum const rose + export enum const jaune + export type couleurs + export const N + export const X + export node preced + init pack pint + export node fby1 + export type t + init pack pbool + export node fby1 + export type t + init pack preal + export node fby1 + export type t *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack inter + init symbol tables for pack mainPack + init symbol tables for pack pint + init symbol tables for pack pbool + init symbol tables for pack preal *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mm1 (pack) + modSimple (model) + pint (pack) + pbool (pack) + preal (pack) + inter (pack) + mainPack (pack) - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw model table: modSimple + - Raw Package table: inter mainPack pint pbool preal + - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "mm1::main" +-- MAIN NODE: "pint::main" *** Dump the exported items of the packages. - * package dummy + * package preal Exported types: - type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} - type dummy::pair = {a : int; b : int} + type preal::t = real Exported constants: Exported nodes: - node dummy::mm1 = dummy::mm1(int, int) returns ( {a : int; b : int}) on clock XXX + node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX + + * package pbool + Exported types: + type pbool::t = bool + Exported constants: + Exported nodes: + node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX + + * package pint + Exported types: + type pint::t = int + Exported constants: + Exported nodes: + node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX + + * package mainPack + Exported types: + type mainPack::selType = inter::selType (imported) + type mainPack::toto = inter::toto (imported) + type mainPack::T = int^8 + type mainPack::couleurs = enum {mainPack::bleu, mainPack::rose, mainPack::jaune} + Exported constants: + const mainPack::bleu = mainPack::bleu + const mainPack::n = inter::n (imported) + const mainPack::jaune = mainPack::jaune + const mainPack::N = 8 + const mainPack::rose = mainPack::rose + const mainPack::X = 8 + const mainPack::Y = inter::Y (imported) + Exported nodes: + XXX evalNode.ml: + XXX in file "should_work/Pascal/packs.lus", line 40, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! + +*** oops: an internal error occurred in file evalNode.ml, line 27, column 3 +*** when compiling lustre program should_work/Pascal/packs.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/aux1.lus +====> ../lus2lic -vl 3 should_work/Pascal/pfs.lus +*** Error in file "should_work/Pascal/pfs.lus", line 43, col 22 to 22, token '[': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/Pascal/struct0.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node aux1 + export type Toto + export node bibi *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - aux1 (pack) + struct0 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "aux1::main" +-- MAIN NODE: "struct0::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::Toto = {x : int (1); y : int (2)} Exported constants: Exported nodes: - node dummy::aux1 = dummy::aux1(int, int) returns (int, int) on clock XXX + node dummy::bibi = dummy::bibi(int) returns ( {x : int (1); y : int (2)}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mm22.lus +====> ../lus2lic -vl 3 should_work/Pascal/t.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type pairpair - export type pair - export node mm22 + export const B + export node map2 + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mm22 (pack) + t (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mm22::main" +-- MAIN NODE: "t::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} - type dummy::pair = {a : int; b : int} Exported constants: + const dummy::B = [2, 2] Exported nodes: - node dummy::mm22 = dummy::mm22(int, int) returns ( {a : int; b : int}) on clock XXX + ### skipping map2 + node dummy::toto = dummy::toto(bool) returns (int^2^3, int^2) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/bascule.lus +====> ../lus2lic -vl 3 should_work/Pascal/t0.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node bascule + export node min_4 + export node min + export node min_n + export node max *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bascule (pack) + t0 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bascule::main" +-- MAIN NODE: "t0::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::bascule = dummy::bascule(bool, bool) returns (bool, bool) on clock XXX +*** Error in file "should_work/Pascal/t0.lus", line 11, col 9 to 9, token '^': can't eval type: bad array size 0 ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mm3.lus +====> ../lus2lic -vl 3 should_work/Pascal/t1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type pairpair - export type pair - export node mm3 + export node fold_left + export node consensus + export node bt_void *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mm3 (pack) + t1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mm3::main" +-- MAIN NODE: "t1::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::pairpair = {a : {a : int; b : int}; b : {a : int; b : int}} - type dummy::pair = {a : int; b : int} Exported constants: Exported nodes: - node dummy::mm3 = dummy::mm3( {a : int; b : int}) returns ( {a : int; b : int}) on clock XXX - + ### skipping fold_left + ### skipping consensus + ### skipping bt_void ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/call.lus +====> ../lus2lic -vl 3 should_work/Pascal/t2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node f - export node n - export node p - export node call + export node fold_left + export node consensus_6_bis + export node consensus_6 + export node consensus_bis + export node consensus *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - call (pack) + t2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "call::main" +-- MAIN NODE: "t2::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::f = dummy::f(int) returns (int) on clock XXX - - node dummy::n = dummy::n(int, bool) returns (int, int) on clock XXX - - node dummy::p = dummy::p(int) returns (int, int) on clock XXX - - node dummy::call = dummy::call(int, bool) returns (int, int) on clock XXX + ### skipping fold_left +*** oops: an internal error occurred in file syntaxTab.ml, line 104, column 22 +*** when compiling lustre program should_work/Pascal/t2.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mouse.lus +====> ../lus2lic -vl 3 should_work/Pascal/test.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export node mouse - export node edge + init pack P1 + export const y + export type titi *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack P1 *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mouse (pack) + P1 (pack) - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw Package table: P1 + - Package manager table: P1 End of Syntax table dump. » --- MAIN NODE: "mouse::main" +-- MAIN NODE: "P1::main" *** Dump the exported items of the packages. - * package dummy + * package P1 Exported types: + type P1::titi = P1::titi Exported constants: + const P1::y = 3 Exported nodes: - node dummy::mouse = dummy::mouse(bool, bool, int) returns (bool, bool) on clock XXX - - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX - ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck2.lus +====> ../lus2lic -vl 3 should_work/Pascal/trivial.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node ck2 + export node trivial *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck2 (pack) + trivial (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck2::main" +-- MAIN NODE: "trivial::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::ck2 = dummy::ck2(bool, bool, int) returns (int) on clock XXX + node dummy::trivial = dummy::trivial(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mouse1.lus +====> ../lus2lic -vl 3 should_work/call/bad_call02.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node mouse1 + export node bad_call02 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mouse1 (pack) + bad_call02 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mouse1::main" +-- MAIN NODE: "bad_call02::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::mouse1 = dummy::mouse1(bool, bool, int) returns (bool, bool) on clock XXX +*** Error in file "should_work/call/bad_call02.lus", line 6, col 6 to 17, token 'Lustre::when': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck3.lus +====> ../lus2lic -vl 3 should_work/call/call01.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node ck3 + export node call01 + export node toto + export node momo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck3 (pack) + call01 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck3::main" +-- MAIN NODE: "call01::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::ck3 = dummy::ck3(bool, bool, bool) returns (bool) on clock XXX +*** Error in file "should_work/call/call01.lus", line 2, col 13 to 23, token 'Lustre::and': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mouse2.lus +====> ../lus2lic -vl 3 should_work/call/call02.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node mouse2 - export node edge + export node titi + export node call02 + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mouse2 (pack) + call02 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mouse2::main" +-- MAIN NODE: "call02::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::mouse2 = dummy::mouse2(bool, bool, int) returns (bool, bool) on clock XXX +*** Error in file "should_work/call/call02.lus", line 2, col 13 to 23, token 'Lustre::and': unknown node - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/call/call03.lus +*** Error in file "should_work/call/call03.lus", line 2, col 18 to 19, token 'or': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck4.lus +====> ../lus2lic -vl 3 should_work/call/call04.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node ck4 + export node tutu + export node titi + export node call04 + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck4 (pack) + call04 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck4::main" +-- MAIN NODE: "call04::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::ck4 = dummy::ck4(int, bool) returns (int) on clock XXX +*** Error in file "should_work/call/call04.lus", line 4, col 13 to 15, token 'map': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/mouse3.lus +====> ../lus2lic -vl 3 should_work/call/call05.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node mouse3 + export node call05 + export node momo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mouse3 (pack) + call05 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mouse3::main" +-- MAIN NODE: "call05::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::mouse3 = dummy::mouse3(bool, bool, int) returns (int) on clock XXX + node dummy::call05 = dummy::call05(bool, bool) returns (bool) on clock XXX + + node dummy::momo = dummy::momo(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck5.lus +====> ../lus2lic -vl 3 should_work/call/call06.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node edge - export node ck5 + export node call06 + export node bip *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck5 (pack) + call06 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck5::main" +-- MAIN NODE: "call06::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + node dummy::call06 = dummy::call06(bool, bool) returns (bool, bool) on clock XXX - node dummy::ck5 = dummy::ck5(bool, bool) returns (bool) on clock XXX + node dummy::bip = dummy::bip(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck6.lus +====> ../lus2lic -vl 3 should_work/call/call07.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node p - export node ck6 - export node N + export node call07 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck6 (pack) + call07 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck6::main" +-- MAIN NODE: "call07::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::p = dummy::p(int) returns (int, int) on clock XXX + node dummy::call07 = dummy::call07(bool, bool, bool) returns (bool) on clock XXX - node dummy::ck6 = dummy::ck6(bool, bool, int, int) returns (int, int) on clock XXX - node dummy::N = dummy::N(bool, int, int) returns (int, int) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/demo/Gyroscope2.lus +*** Error in file "should_work/demo/Gyroscope2.lus", line 106, col 1 to 1, token '%': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/multiclock.lus +====> ../lus2lic -vl 3 should_work/demo/alias.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node moyenne - export node multiclock + export const SIZE + export node aliasGivenNode + export node aliasPredefNot + export node unNoeud + export node aliasIterOp + export node alias + export node aliasBoolRed *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - multiclock (pack) + alias (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "multiclock::main" +-- MAIN NODE: "alias::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::SIZE = 3 Exported nodes: - node dummy::multiclock = dummy::multiclock(int, int, bool, int) returns (int) on clock XXX - - node dummy::moyenne = dummy::moyenne(int, int) returns (int) on clock XXX +*** Error in file "should_work/demo/alias.lus", line 45, col 20 to 22, token 'red': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/ck7.lus +====> ../lus2lic -vl 3 should_work/demo/bred.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node ck7 + export node bred *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - ck7 (pack) + bred (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "ck7::main" +-- MAIN NODE: "bred::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::ck7 = dummy::ck7(bool, int, int) returns (int, int) on clock XXX +*** Error in file "should_work/demo/bred.lus", line 3, col 7 to 13, token 'boolred': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc1.lus +====> ../lus2lic -vl 3 should_work/demo/bred_lv4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node nc1 + export type T1_ARRAY + export node bred *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc1 (pack) + bred_lv4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc1::main" +-- MAIN NODE: "bred_lv4::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::T1_ARRAY = bool^2 Exported constants: Exported nodes: - node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX - - node dummy::nc1 = dummy::nc1(bool, bool) returns (bool) on clock XXX +*** Error in file "should_work/demo/bred_lv4.lus", line 24, col 10 to 17, token 'br_0_1_2': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc10.lus +====> ../lus2lic -vl 3 should_work/demo/clock.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node nc10 - export node n1 - export node n2 - export node n3 - export node n4 + export node clock + export node clock2 + export node clock3 + export node clock4 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc10 (pack) + clock (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc10::main" +-- MAIN NODE: "clock::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::nc10 = dummy::nc10(int) returns (bool) on clock XXX - - node dummy::n1 = dummy::n1(int) returns (int) on clock XXX + node dummy::clock = dummy::clock(bool, bool) returns (bool, bool) on clock XXX - node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX + node dummy::clock2 = dummy::clock2(bool, bool) returns (bool) on clock XXX - node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX + node dummy::clock3 = dummy::clock3(bool) returns (bool, bool) on clock XXX - node dummy::n4 = dummy::n4(int, int, int, int) returns (int, int) on clock XXX + node dummy::clock4 = dummy::clock4(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/clock.lus +====> ../lus2lic -vl 3 should_work/demo/clock1_2ms.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node inOnOut - export node outOnIn - export node clock - export node outOnOut - export node inOnIn - export node all + export node Clock1ms_node + export node Clock2ms_node + export node clock1_2ms *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - clock (pack) + clock1_2ms (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "clock::main" +-- MAIN NODE: "clock1_2ms::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/NONREG/clock.lus", line 17, col 8 to 14, token 'boolred': unknown node + node dummy::Clock1ms_node = dummy::Clock1ms_node(bool) returns (bool) on clock XXX - node dummy::inOnOut = dummy::inOnOut(bool, bool) returns (bool) on clock XXX + node dummy::Clock2ms_node = dummy::Clock2ms_node(bool) returns (bool) on clock XXX - node dummy::outOnIn = dummy::outOnIn(bool, bool) returns (bool) on clock XXX + node dummy::clock1_2ms = dummy::clock1_2ms(bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc2.lus +====> ../lus2lic -vl 3 should_work/demo/decl.lus +*** Error in file "should_work/demo/decl.lus", line 19, col 19 to 19, token ',': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/demo/declaration.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy + export type t1 + export type t2 + export type t3 + export type t4 + export type t5 + export type coord + export type coord_tab + export enum const bleu + export enum const blanc + export enum const rouge + export type couleur + export const d + export const e + export const f + export const g + export const h + export const a + export const b + export const c + export node declaration + export node f1 export node n1 - export node nc2 + export node n2 + export node n4 + export node n5 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc2 (pack) + declaration (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc2::main" +-- MAIN NODE: "declaration::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::t1 = dummy::t1 + type dummy::t2 = dummy::t2 + type dummy::t3 = dummy::t3 + type dummy::t4 = dummy::t1^8 + type dummy::t5 = dummy::t1^8^5 + type dummy::coord = {x : real; y : real} + type dummy::coord_tab = {x : real; y : real}^1 + type dummy::couleur = enum {dummy::bleu, dummy::blanc, dummy::rouge} Exported constants: + const dummy::d = true + const dummy::e = 8.500000 + const dummy::f = dummy::blanc + const dummy::g = 4 + const dummy::h = 2 + const dummy::bleu = dummy::bleu + const dummy::blanc = dummy::blanc + const dummy::rouge = dummy::rouge + const dummy::a = dummy::a + const dummy::b = dummy::b + const dummy::c = dummy::c Exported nodes: - node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + node dummy::declaration = dummy::declaration(int) returns (int) on clock XXX - node dummy::nc2 = dummy::nc2(bool, bool) returns (bool) on clock XXX + node dummy::f1 = dummy::f1(enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::bleu, dummy::blanc, dummy::rouge}) returns (bool^2) on clock XXX + + node dummy::n1 = dummy::n1(dummy::t1, dummy::t1, dummy::t1) returns (bool) on clock XXX + + node dummy::n2 = dummy::n2(bool, dummy::t1^8, dummy::t1^8, dummy::t1^8) returns (dummy::t1^8^5) on clock XXX + + node dummy::n4 = dummy::n4(bool) returns (bool) on clock XXX + + node dummy::n5 = dummy::n5(real) returns (real) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/cminus.lus +====> ../lus2lic -vl 3 should_work/demo/def.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node TWO_STATES - export node TWO_BUTTONS - export node cminus + export type structT + export type t1 + export type t2 + export type t3 + export type tabStruct + export type string2d + export type string + export const id_int + export const a + export const b + export const c + export node def *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - cminus (pack) + def (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "cminus::main" +-- MAIN NODE: "def::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::t1 = dummy::t1 + type dummy::structT = {x : int; y : real; z : int^4^4^4} + type dummy::t2 = dummy::t2 + type dummy::t3 = dummy::t3 + type dummy::tabStruct = {x : int; y : real; z : int^4^4^4}^2 + type dummy::string2d = int^4^4 + type dummy::string = int^4 Exported constants: + const dummy::id_int = 5 + const dummy::a = 4 + const dummy::b = true + const dummy::c = 3.140000 Exported nodes: - node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX - - node dummy::TWO_BUTTONS = dummy::TWO_BUTTONS(bool, bool, bool) returns (bool) on clock XXX - - node dummy::cminus = dummy::cminus(bool, bool, bool, bool) returns (bool) on clock XXX + node dummy::def = dummy::def(bool, int^4^4, {x : int; y : real; z : int^4^4^4}^2, int^23) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc3.lus +====> ../lus2lic -vl 3 should_work/demo/filliter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node nc3 + export type t + export const NBC + export node copie + export node filliter + export node incr_acc *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc3 (pack) + filliter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc3::main" +-- MAIN NODE: "filliter::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::t = int^5 Exported constants: + const dummy::NBC = 3 Exported nodes: - node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + node dummy::copie = dummy::copie(int) returns (int, int) on clock XXX - node dummy::nc3 = dummy::nc3(bool, bool) returns (bool) on clock XXX +*** oops: an internal error occurred in file evalEq.ml, line 142, column 3 +*** when compiling lustre program should_work/demo/filliter.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/compteur.lus +====> ../lus2lic -vl 3 should_work/demo/filter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node compteur + export type complexe + export type cdouble + export node filter *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - compteur (pack) + filter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "compteur::main" +-- MAIN NODE: "filter::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::complexe = {x : real; y : real} + type dummy::cdouble = {x : {x : real; y : real}; y : {x : real; y : real}} Exported constants: Exported nodes: - node dummy::compteur = dummy::compteur(bool) returns (int) on clock XXX + node dummy::filter = dummy::filter(real, real) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc4.lus +====> ../lus2lic -vl 3 should_work/demo/lustre_test1_ok.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node n2 - export node nc4 + export node rising + export node lustre_test1_ok + export node subsys1 + export node TransFnc_1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc4 (pack) + lustre_test1_ok (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc4::main" +-- MAIN NODE: "lustre_test1_ok::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::n1 = dummy::n1(bool, bool) returns (bool) on clock XXX + node dummy::rising = dummy::rising(bool) returns (bool) on clock XXX - node dummy::n2 = dummy::n2(bool, bool) returns (bool) on clock XXX + node dummy::lustre_test1_ok = dummy::lustre_test1_ok(real, bool, bool, real, bool, bool) returns (real, real, real) on clock XXX - node dummy::nc4 = dummy::nc4(bool, bool) returns (bool) on clock XXX + node dummy::subsys1 = dummy::subsys1(real) returns (real) on clock XXX + + node dummy::TransFnc_1 = dummy::TransFnc_1(real) returns (real) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/deconne.lus +====> ../lus2lic -vl 3 should_work/demo/map_red_iter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type pendule - export const G - export const L - export const T - export node make_pend - export node cos - export node sin - export node deconne + export type INTNBC + export type T_EntreeGlob + export type INTNBG + export type T_ComChg + export type T_InfoGenIndiv + export type T_EtatCharge + export type T_InfoChgGlob + export type T_InfoChgIndiv + export type T_InfoGenGlob + export const NBC + export const NBG + export node traite_genCore_itere + export node map_red_iter *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - deconne (pack) + map_red_iter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "deconne::main" +-- MAIN NODE: "map_red_iter::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::pendule = dummy::pendule + type dummy::INTNBC = int^20 + type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} + type dummy::INTNBG = int^4 + type dummy::T_ComChg = int + type dummy::T_InfoGenIndiv = {mesure_gen : int} + type dummy::T_EtatCharge = int + type dummy::T_InfoChgGlob = {chg2gen : int^20} + type dummy::T_InfoChgIndiv = {mesure_chg : int} + type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} Exported constants: - const dummy::G = 10.000000 - const dummy::L = 2.000000 - const dummy::T = 0.100000 + const dummy::NBC = 20 + const dummy::NBG = 4 Exported nodes: - node dummy::make_pend = dummy::make_pend(real, real, real, real) returns (dummy::pendule) on clock XXX +*** Error in file "should_work/demo/map_red_iter.lus", line 63, col 23 to 29, token 'map_red': unknown node - node dummy::cos = dummy::cos(real) returns (real) on clock XXX + node dummy::traite_genCore_itere = dummy::traite_genCore_itere(int, bool, int) returns (int, int) on clock XXX - node dummy::sin = dummy::sin(real) returns (real) on clock XXX - node dummy::deconne = dummy::deconne(real) returns (dummy::pendule) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/demo/mapdeRed.lus +*** Error in file "should_work/demo/mapdeRed.lus", line 12, col 17 to 17, token '+': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc5.lus +====> ../lus2lic -vl 3 should_work/demo/mapiter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node n2 - export node n3 - export node n4 - export node nc5 + export node incr_tab + export node mapiter *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc5 (pack) + mapiter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc5::main" +-- MAIN NODE: "mapiter::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - - node dummy::n2 = dummy::n2(int) returns (int) on clock XXX - - node dummy::n3 = dummy::n3(int) returns (int) on clock XXX - - node dummy::n4 = dummy::n4(int) returns (int) on clock XXX +*** Error in file "should_work/demo/mapiter.lus", line 9, col 14 to 16, token 'map': unknown node - node dummy::nc5 = dummy::nc5(int) returns (bool) on clock XXX + node dummy::incr_tab = dummy::incr_tab(int) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/dep.lus +====> ../lus2lic -vl 3 should_work/demo/mapiter_lv4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node dep + export type T1_ARRAY + export type T2_ARRAY + export node mapiter + export node m_m_incr_tab_7_3 + export node m_incr_tab_7 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - dep (pack) + mapiter_lv4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "dep::main" +-- MAIN NODE: "mapiter_lv4::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::T1_ARRAY = int^7 + type dummy::T2_ARRAY = int^7^3 Exported constants: Exported nodes: - node dummy::dep = dummy::dep(int) returns (int, int, int) on clock XXX +*** Error in file "should_work/demo/mapiter_lv4.lus", line 37, col 8 to 15, token 'incr_tab': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc6.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export node n1 - export node n2 - export node n3 - export node n4 - export node nc6 +====> ../lus2lic -vl 3 should_work/demo/mappredef.lus +*** Error in file "should_work/demo/mappredef.lus", line 10, col 14 to 14, token ',': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/demo/plus.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export node plus *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc6 (pack) + plus (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc6::main" +-- MAIN NODE: "plus::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - - node dummy::n2 = dummy::n2(int) returns (int) on clock XXX - - node dummy::n3 = dummy::n3(int) returns (int) on clock XXX - - node dummy::n4 = dummy::n4(int) returns (int) on clock XXX - - node dummy::nc6 = dummy::nc6(int) returns (bool) on clock XXX +*** Error in file "should_work/demo/plus.lus", line 3, col 7 to 19, token 'Lustre::iplus': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/dependeur.lus +====> ../lus2lic -vl 3 should_work/demo/pre_x.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node dependeur + export node pre_x *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - dependeur (pack) + pre_x (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "dependeur::main" +-- MAIN NODE: "pre_x::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::dependeur = dummy::dependeur(int) returns (int, int, int, int) on clock XXX + node dummy::pre_x = dummy::pre_x(int, int) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/node_caller1.lus +====> ../lus2lic -vl 3 should_work/demo/rediter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node node_caller1 - export node ex1 - export node ex2 - export node ex3 - export node ex4 - export node ex5 + export node max + export node rediter *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - node_caller1 (pack) + rediter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "node_caller1::main" +-- MAIN NODE: "rediter::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::node_caller1 = dummy::node_caller1(int) returns (int) on clock XXX - - node dummy::ex1 = dummy::ex1(int) returns (int) on clock XXX - - node dummy::ex2 = dummy::ex2(int) returns (int) on clock XXX +*** Error in file "should_work/demo/rediter.lus", line 8, col 7 to 9, token 'red': unknown node - node dummy::ex3 = dummy::ex3(int) returns (int) on clock XXX + node dummy::max = dummy::max(int, int) returns (int) on clock XXX - node dummy::ex4 = dummy::ex4(int) returns (int) on clock XXX - node dummy::ex5 = dummy::ex5(int) returns (int) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/demo/redoptest.lus +*** Error in file "should_work/demo/redoptest.lus", line 8, col 17 to 17, token '+': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/dependeur_struct.lus +====> ../lus2lic -vl 3 should_work/demo/sample_time_change.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type time - export node dependeur_struct + export node make_cl1_4_2 + export node MainNode + export node make_cl1_12_3 + export node sample_time_change *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - dependeur_struct (pack) + sample_time_change (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "dependeur_struct::main" +-- MAIN NODE: "sample_time_change::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::time = {h : int; m : int; s : int; ms : int} Exported constants: Exported nodes: - node dummy::dependeur_struct = dummy::dependeur_struct(int) returns ( {h : int; m : int; s : int; ms : int}) on clock XXX + node dummy::MainNode = dummy::MainNode(real) returns (real) on clock XXX + + node dummy::make_cl1_4_2 = dummy::make_cl1_4_2(bool) returns (bool) on clock XXX + + node dummy::make_cl1_12_3 = dummy::make_cl1_12_3(bool) returns (bool) on clock XXX + + node dummy::sample_time_change = dummy::sample_time_change(bool, bool, real) returns (real) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/eq1.lus +====> ../lus2lic -vl 3 should_work/fab_test/bob.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node eq1 + export node bob *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - eq1 (pack) + bob (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "eq1::main" +-- MAIN NODE: "bob::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::eq1 = dummy::eq1(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + node dummy::bob = dummy::bob(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/long_et_stupide_nom_de_noeud.lus +====> ../lus2lic -vl 3 should_work/fab_test/def.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node long_et_stupide_nom_de_noeud + export node def *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - long_et_stupide_nom_de_noeud (pack) + def (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "long_et_stupide_nom_de_noeud::main" +-- MAIN NODE: "def::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::long_et_stupide_nom_de_noeud = dummy::long_et_stupide_nom_de_noeud(int) returns (int) on clock XXX + node dummy::def = dummy::def(bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc8.lus +====> ../lus2lic -vl 3 should_work/fab_test/ex.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node n2 - export node n3 - export node n4 - export node nc8 + export node trueNode + export node ex + export node id *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc8 (pack) + ex (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc8::main" +-- MAIN NODE: "ex::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - - node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX - - node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX + node dummy::trueNode = dummy::trueNode(bool) returns (bool) on clock XXX - node dummy::n4 = dummy::n4(int, int, int, int) returns (int) on clock XXX + node dummy::ex = dummy::ex(bool) returns (bool) on clock XXX - node dummy::nc8 = dummy::nc8(int) returns (bool) on clock XXX + node dummy::id = dummy::id(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/nc9.lus +====> ../lus2lic -vl 3 should_work/fab_test/iter.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node n1 - export node n2 - export node n3 - export node n4 - export node nc9 + export const n + export node iter + export node filled + export node plus + export node mapped + export node garcia *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - nc9 (pack) + iter (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "nc9::main" +-- MAIN NODE: "iter::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: + const dummy::n = 5 Exported nodes: - node dummy::n1 = dummy::n1(int) returns (int) on clock XXX - - node dummy::n2 = dummy::n2(int, int) returns (int) on clock XXX - - node dummy::n3 = dummy::n3(int, int) returns (int) on clock XXX - - node dummy::n4 = dummy::n4(int, int, int, int) returns (int, int) on clock XXX - - node dummy::nc9 = dummy::nc9(int) returns (bool) on clock XXX +*** Error in file "should_work/fab_test/iter.lus", line 8, col 19 to 22, token 'fill': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/o2l_feux_compl.lus +====> ../lus2lic -vl 3 should_work/fab_test/iterate.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node o2l_feux_compl + export node redduced + export node iterate + export node filled + export node mapped + export node map_redduced *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - o2l_feux_compl (pack) + iterate (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "o2l_feux_compl::main" +-- MAIN NODE: "iterate::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::o2l_feux_compl = dummy::o2l_feux_compl(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool, bool) on clock XXX +*** Error in file "should_work/fab_test/iterate.lus", line 13, col 24 to 26, token 'map': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/patrick.lus +====> ../lus2lic -vl 3 should_work/fab_test/lecteur.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node patrick + export node Propriete + export node lecteur + export node Controleur + export node Environnement *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - patrick (pack) + lecteur (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "patrick::main" +-- MAIN NODE: "lecteur::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::patrick = dummy::patrick(int, int, bool, bool) returns (int) on clock XXX + node dummy::Propriete = dummy::Propriete(int) returns (bool) on clock XXX + + node dummy::lecteur = dummy::lecteur(int) returns (bool) on clock XXX + + node dummy::Controleur = dummy::Controleur(int) returns (int, bool, bool) on clock XXX + + node dummy::Environnement = dummy::Environnement(int, bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/poussoir.lus +====> ../lus2lic -vl 3 should_work/fab_test/lucky.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node TWO_STATES - export node ONE_BUTTON - export node poussoir + export node implies + export node after + export node lucky + export node stable + export node once_from_to + export node once_since *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - poussoir (pack) + lucky (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "poussoir::main" +-- MAIN NODE: "lucky::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::TWO_STATES = dummy::TWO_STATES(bool, bool, bool) returns (bool) on clock XXX + node dummy::implies = dummy::implies(bool, bool) returns (bool) on clock XXX - node dummy::ONE_BUTTON = dummy::ONE_BUTTON(bool, bool) returns (bool) on clock XXX + node dummy::lucky = dummy::lucky(int, bool) returns (bool) on clock XXX - node dummy::poussoir = dummy::poussoir(bool, bool) returns (bool, bool) on clock XXX + node dummy::after = dummy::after(bool) returns (bool) on clock XXX + + node dummy::stable = dummy::stable(bool) returns (int) on clock XXX + + node dummy::once_from_to = dummy::once_from_to(bool, bool, bool) returns (bool) on clock XXX + + node dummy::once_since = dummy::once_since(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/rs.lus +====> ../lus2lic -vl 3 should_work/fab_test/morel.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node rs + export type arrayb + export type arrayi + export node tab + export node morel + export node mcmorel *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - rs (pack) + morel (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "rs::main" +-- MAIN NODE: "morel::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::arrayb = bool^3 + type dummy::arrayi = int^2^3 Exported constants: Exported nodes: - node dummy::rs = dummy::rs(bool, bool) returns (bool) on clock XXX + node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX + node dummy::morel = dummy::morel(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/simple.lus -*** Error in file "should_work/NONREG/simple.lus", line 2, col 20 to 20, token '{': syntax error + node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/stopwatch.lus +====> ../lus2lic -vl 3 should_work/fab_test/morel2.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node simple_stopwatch - export node stopwatch + export type a32 + export type arrayb + export type a2 + export type arrayi + export node morel2 + export node mcmorel *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - stopwatch (pack) + morel2 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "stopwatch::main" +-- MAIN NODE: "morel2::main" *** Dump the exported items of the packages. * package dummy Exported types: - Exported constants: - Exported nodes: - node dummy::simple_stopwatch = dummy::simple_stopwatch(bool, bool, bool) returns (int, bool) on clock XXX + type dummy::a32 = int^2^3 + type dummy::arrayb = bool^3 + type dummy::a2 = int^2 + type dummy::arrayi = int^2^3 + Exported constants: + Exported nodes: + node dummy::morel2 = dummy::morel2(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - node dummy::stopwatch = dummy::stopwatch(bool, bool, bool) returns (int) on clock XXX + node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/testCA.lus +====> ../lus2lic -vl 3 should_work/fab_test/morel3.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node testCA + export type arrayb + export type arrayi + export node morel3 + export node tab + export node mcmorel *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - testCA (pack) + morel3 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "testCA::main" +-- MAIN NODE: "morel3::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::arrayb = bool^3 + type dummy::arrayi = int^2^3 Exported constants: Exported nodes: - node dummy::testCA = dummy::testCA(int) returns (int, int, int, int) on clock XXX + node dummy::morel3 = dummy::morel3(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX + + node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX + + node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/trivial.lus +====> ../lus2lic -vl 3 should_work/fab_test/morel4.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node edge - export node trivial + export type toto + export type arrayb + export type tube + export type arrayi + export node morel4 + export node tab + export node mcmorel *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - trivial (pack) + morel4 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "trivial::main" +-- MAIN NODE: "morel4::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::toto = {titi : {in : int; out : int}; tutu : bool} + type dummy::arrayb = bool^3 + type dummy::arrayi = int^2^3 + type dummy::tube = {in : int; out : int} Exported constants: Exported nodes: - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + node dummy::morel4 = dummy::morel4(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX - node dummy::trivial = dummy::trivial(bool) returns (bool) on clock XXX + node dummy::tab = dummy::tab(bool, int) returns (bool, bool, bool, int, int, int) on clock XXX + node dummy::mcmorel = dummy::mcmorel(int) returns (int^2) on clock XXX + +Warning. in file "should_work/fab_test/morel4.lus", line 33, col 17 to 17, token ',': +---> separator mismatch, ';' expected ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/trivial2.lus +====> ../lus2lic -vl 3 should_work/fab_test/morel5.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node edge - export node trivial2 + export type toto + export type arrayb + export type tube + export type arrayi + export node morel5 + export node tab + export node mcmorel *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - trivial2 (pack) + morel5 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "trivial2::main" +-- MAIN NODE: "morel5::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::toto = {titi : {in : int; out : int}; tutu : bool} + type dummy::arrayb = bool^3 + type dummy::arrayi = int^2^3 + type dummy::tube = {in : int; out : int} Exported constants: Exported nodes: - node dummy::edge = dummy::edge(bool) returns (bool) on clock XXX + node dummy::morel5 = dummy::morel5( {titi : {in : int; out : int}; tutu : bool}, bool^3, int^2^3) returns (bool, bool, bool, int, int, int) on clock XXX - node dummy::trivial2 = dummy::trivial2(bool) returns (bool) on clock XXX + node dummy::tab = dummy::tab( {titi : {in : int; out : int}; tutu : bool}, bool^3, int^2^3) returns (bool, bool, bool, int, int, int) on clock XXX + + node dummy::mcmorel = dummy::mcmorel(int) returns (int^2, int^2^2) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/uu.lus +====> ../lus2lic -vl 3 should_work/fab_test/noAlarm.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node uu + export node noAlarm *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - uu (pack) + noAlarm (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "uu::main" +-- MAIN NODE: "noAlarm::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::uu = dummy::uu(bool, bool, bool) returns (bool) on clock XXX + node dummy::noAlarm = dummy::noAlarm(bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/v1.lus +====> ../lus2lic -vl 3 should_work/fab_test/notTwo.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node v1 + export node notTwo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - v1 (pack) + notTwo (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "v1::main" +-- MAIN NODE: "notTwo::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::v1 = dummy::v1(int, bool) returns (int) on clock XXX + node dummy::notTwo = dummy::notTwo(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/enum.lus +====> ../lus2lic -vl 3 should_work/fab_test/onlyroll.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export enum const blue - export enum const white - export enum const redd - export type color - export enum const bleu - export enum const blanc - export enum const rouge - export type couleur - export node boo + export const NRminP + export const NRmaxP + export const NRminR + export const DELTA_PITCH + export const NRmaxR + export const FAIL_SAFE_PITCH_VALUE + export const DELTA_YAW + export const HORminP + export const NRminY + export const XFAIL_SAFE_ROLL_VALUE + export const HORmaxP + export const HORminR + export const NRmaxY + export const HORmaxR + export const CROSS_CH_TOL_PITCH + export const HORminY + export const FAIL_SAFE_YAW_VALUE + export const HORmaxY + export const OneSecond + export const FAIL_SAFE_ROLL_VALUE + export const DELTA_ROLL + export const TIME_ROLL + export const CROSS_CH_TOL_ROLL + export const TIME5 + export const BID_LAST + export const SAFE_COUNTER_TIME + export const BID_VAL + export const TIME_CROSS_ROLL + export const CROSS_CH_TOL_YAW + export node Calculate + export node onlyroll + export node Median + export node oneoffour + export node MedianValue3 + export node Monitor + export node Allocator + export node Channel + export node min2 + export node min4 + export node max2 + export node max4 + export node OlympicAverage + export node InHardoverRange + export node twooffour + export node noneof + export node threeoffour + export node InNominalRange + export node FailDetect + export node abs + export node Average2 + export node Average + export node maintain + export node values_nok *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - enum (pack) + onlyroll (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "enum::main" +-- MAIN NODE: "onlyroll::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::couleur = enum {dummy::bleu, dummy::blanc, dummy::rouge} - type dummy::color = enum {dummy::blue, dummy::white, dummy::redd} Exported constants: - const dummy::bleu = dummy::bleu - const dummy::blanc = dummy::blanc - const dummy::redd = dummy::redd - const dummy::rouge = dummy::rouge - const dummy::blue = dummy::blue - const dummy::white = dummy::white + const dummy::NRminP = -5.100000 + const dummy::NRminR = -25.300000 + const dummy::NRmaxP = 5.100000 + const dummy::DELTA_PITCH = 3.000000 + const dummy::NRmaxR = 25.300000 + const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 + const dummy::DELTA_YAW = 2.730000 + const dummy::NRminY = -5.000000 + const dummy::HORminP = -57.000000 + const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 + const dummy::NRmaxY = 5.000000 + const dummy::HORminR = -285.000000 + const dummy::HORmaxP = 57.000000 + const dummy::CROSS_CH_TOL_PITCH = 10.100000 + const dummy::HORmaxR = 285.000000 + const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 + const dummy::HORminY = -57.000000 + const dummy::DELTA_ROLL = 14.900000 + const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 + const dummy::OneSecond = 10 + const dummy::HORmaxY = 57.000000 + const dummy::TIME_ROLL = 3 + const dummy::CROSS_CH_TOL_ROLL = 51.000000 + const dummy::BID_LAST = 2.200000 + const dummy::TIME5 = 4 + const dummy::SAFE_COUNTER_TIME = 3 + const dummy::BID_VAL = 3.300000 + const dummy::CROSS_CH_TOL_YAW = 10.000000 + const dummy::TIME_CROSS_ROLL = 3 Exported nodes: - node dummy::boo = dummy::boo(int) returns (enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::blue, dummy::white, dummy::redd}) on clock XXX + node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::onlyroll = dummy::onlyroll(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX + + node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX + + node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX + + node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + + node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX + + node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX + + node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX + + node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX + + node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX + + node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX + + node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX + + node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX + + node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX + + node dummy::abs = dummy::abs(real) returns (real) on clock XXX + + node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX + + node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX + + node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/fab_test/onlyroll2.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export const NRminP + export const NRmaxP + export const NRminR + export const DELTA_PITCH + export const NRmaxR + export const FAIL_SAFE_PITCH_VALUE + export const DELTA_YAW + export const HORminP + export const NRminY + export const XFAIL_SAFE_ROLL_VALUE + export const HORmaxP + export const HORminR + export const NRmaxY + export const HORmaxR + export const CROSS_CH_TOL_PITCH + export const HORminY + export const FAIL_SAFE_YAW_VALUE + export const HORmaxY + export const OneSecond + export const FAIL_SAFE_ROLL_VALUE + export const DELTA_ROLL + export const TIME_ROLL + export const CROSS_CH_TOL_ROLL + export const TIME5 + export const BID_LAST + export const SAFE_COUNTER_TIME + export const BID_VAL + export const TIME_CROSS_ROLL + export const CROSS_CH_TOL_YAW + export node Calculate + export node Median + export node onlyroll2 + export node oneoffour + export node MedianValue3 + export node Monitor + export node Allocator + export node Channel + export node min2 + export node min4 + export node max2 + export node max4 + export node OlympicAverage + export node InHardoverRange + export node twooffour + export node noneof + export node threeoffour + export node InNominalRange + export node FailDetect + export node abs + export node Average2 + export node Average + export node maintain + export node values_nok +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + onlyroll2 (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "onlyroll2::main" +*** Dump the exported items of the packages. + * package dummy + Exported types: + Exported constants: + const dummy::NRminP = -5.100000 + const dummy::NRminR = -25.300000 + const dummy::NRmaxP = 5.100000 + const dummy::DELTA_PITCH = 3.000000 + const dummy::NRmaxR = 25.300000 + const dummy::FAIL_SAFE_PITCH_VALUE = 4.000000 + const dummy::DELTA_YAW = 2.730000 + const dummy::NRminY = -5.000000 + const dummy::HORminP = -57.000000 + const dummy::XFAIL_SAFE_ROLL_VALUE = 1.100000 + const dummy::NRmaxY = 5.000000 + const dummy::HORminR = -285.000000 + const dummy::HORmaxP = 57.000000 + const dummy::CROSS_CH_TOL_PITCH = 10.100000 + const dummy::HORmaxR = 285.000000 + const dummy::FAIL_SAFE_YAW_VALUE = 4.000000 + const dummy::HORminY = -57.000000 + const dummy::DELTA_ROLL = 14.900000 + const dummy::FAIL_SAFE_ROLL_VALUE = 1.000000 + const dummy::OneSecond = 10 + const dummy::HORmaxY = 57.000000 + const dummy::TIME_ROLL = 3 + const dummy::CROSS_CH_TOL_ROLL = 51.000000 + const dummy::BID_LAST = 2.200000 + const dummy::TIME5 = 4 + const dummy::SAFE_COUNTER_TIME = 3 + const dummy::BID_VAL = 3.300000 + const dummy::CROSS_CH_TOL_YAW = 10.000000 + const dummy::TIME_CROSS_ROLL = 3 + Exported nodes: + node dummy::Calculate = dummy::Calculate(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::Median = dummy::Median(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::onlyroll2 = dummy::onlyroll2(real, real, real, real, real, real, real, real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, bool, int, int, int, int) on clock XXX + + node dummy::oneoffour = dummy::oneoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::MedianValue3 = dummy::MedianValue3(real, real, real) returns (real) on clock XXX + + node dummy::Monitor = dummy::Monitor(real, real, bool) returns (real, bool) on clock XXX + + node dummy::Allocator = dummy::Allocator(bool, bool, bool, bool, bool) returns (bool, bool, bool, bool) on clock XXX + + node dummy::Channel = dummy::Channel(bool, bool, bool, real, real, bool, real, real, real, bool, bool, bool, bool) returns (real, bool, bool, bool, bool, int) on clock XXX + + node dummy::min2 = dummy::min2(real, real) returns (real) on clock XXX + + node dummy::max2 = dummy::max2(real, real) returns (real) on clock XXX + + node dummy::min4 = dummy::min4(real, real, real, real) returns (real) on clock XXX + + node dummy::OlympicAverage = dummy::OlympicAverage(real, real, real, real) returns (real) on clock XXX + + node dummy::max4 = dummy::max4(real, real, real, real) returns (real) on clock XXX + + node dummy::InHardoverRange = dummy::InHardoverRange(real) returns (bool) on clock XXX + + node dummy::noneof = dummy::noneof(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::twooffour = dummy::twooffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::threeoffour = dummy::threeoffour(bool, bool, bool, bool) returns (bool) on clock XXX + + node dummy::InNominalRange = dummy::InNominalRange(real) returns (bool) on clock XXX + + node dummy::FailDetect = dummy::FailDetect(bool, real, bool, bool, bool, real, real, real, bool, bool, bool, bool) returns (bool, bool, int, bool) on clock XXX + + node dummy::abs = dummy::abs(real) returns (real) on clock XXX + + node dummy::Average2 = dummy::Average2(real, real) returns (real) on clock XXX + node dummy::Average = dummy::Average(real, real, real, real, bool, bool, bool, bool) returns (real) on clock XXX + + node dummy::values_nok = dummy::values_nok(bool, bool, bool, real, real, real, real) returns (bool) on clock XXX + + node dummy::maintain = dummy::maintain(int, bool) returns (bool) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/NONREG/Int.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack mainPack - export node Nat - init pack Int8 - export type Int - export const zero - export node incr - export node add - export const n -*** SyntaxTab.create pass 3 - init symbol tables for pack mainPack - init symbol tables for pack Int8 -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - Int (model) - Int8 (pack) - mainPack (pack) - - - Raw model table: Int - - Raw Package table: mainPack Int8 - - Package manager table: mainPack Int8 -End of Syntax table dump. » --- MAIN NODE: "Int8::main" -*** Dump the exported items of the packages. - * package Int8 - Exported types: - type Int8::Int = Int8::Int - Exported constants: -Int8::n = 8 can be provided. -*** oops: an internal error occurred in file lazyCompiler.ml, line 346, column 5 -*** when compiling lustre program should_work/NONREG/Int.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/alias.lus +====> ../lus2lic -vl 3 should_work/fab_test/test.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export const SIZE - export node aliasGivenNode - export node aliasPredefNot - export node unNoeud - export node aliasIterOp - export node alias - export node aliasBoolRed + export node three_outputs + export node test + export node two_outputs *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - alias (pack) + test (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "alias::main" +-- MAIN NODE: "test::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: - const dummy::SIZE = 3 Exported nodes: -*** Error in file "should_work/demo/alias.lus", line 45, col 20 to 22, token 'red': unknown node + node dummy::three_outputs = dummy::three_outputs(bool, bool, bool) returns (bool, bool, bool) on clock XXX + + node dummy::test = dummy::test(bool, bool) returns (bool, bool, bool, bool) on clock XXX + + node dummy::two_outputs = dummy::two_outputs(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/bred.lus +====> ../lus2lic -vl 3 should_work/fab_test/titi.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node bred + export node titi *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bred (pack) + titi (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bred::main" +-- MAIN NODE: "titi::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/demo/bred.lus", line 3, col 7 to 13, token 'boolred': unknown node + node dummy::titi = dummy::titi(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/clock1_2ms.lus +====> ../lus2lic -vl 3 should_work/fab_test/toolate.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node Clock1ms_node - export node Clock2ms_node - export node clock1_2ms + export type tab1 + export type tab2 + export type tab3 + export type bool4 + export type really + export const ze_const_int + export node edge_detect + export node implies + export node after + export node bidon + export node once_from_to + export node once_since + export node toolate *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - clock1_2ms (pack) + toolate (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "clock1_2ms::main" +-- MAIN NODE: "toolate::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::tab1 = int^2 + type dummy::tab2 = int^3^4 + type dummy::tab3 = int^5^6^7 + type dummy::bool4 = bool^5 + type dummy::really = real Exported constants: + const dummy::ze_const_int = 5 Exported nodes: - node dummy::Clock1ms_node = dummy::Clock1ms_node(bool) returns (bool) on clock XXX + node dummy::edge_detect = dummy::edge_detect(bool) returns (bool) on clock XXX - node dummy::Clock2ms_node = dummy::Clock2ms_node(bool) returns (bool) on clock XXX + node dummy::implies = dummy::implies(bool, bool) returns (bool) on clock XXX - node dummy::clock1_2ms = dummy::clock1_2ms(bool) returns (bool, bool) on clock XXX + node dummy::after = dummy::after(bool) returns (bool) on clock XXX + node dummy::bidon = dummy::bidon(bool) returns (bool, bool) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/decl.lus -*** Error in file "should_work/demo/decl.lus", line 19, col 19 to 19, token ',': syntax error + node dummy::once_from_to = dummy::once_from_to(bool, bool, bool) returns (bool) on clock XXX + + node dummy::once_since = dummy::once_since(bool, bool) returns (bool) on clock XXX + + node dummy::toolate = dummy::toolate(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/lustre_test1_ok.lus +====> ../lus2lic -vl 3 should_work/fab_test/toto.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node rising - export node lustre_test1_ok - export node subsys1 - export node TransFnc_1 + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - lustre_test1_ok (pack) + toto (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "lustre_test1_ok::main" +-- MAIN NODE: "toto::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::rising = dummy::rising(bool) returns (bool) on clock XXX - - node dummy::lustre_test1_ok = dummy::lustre_test1_ok(real, bool, bool, real, bool, bool) returns (real, real, real) on clock XXX - - node dummy::subsys1 = dummy::subsys1(real) returns (real) on clock XXX - - node dummy::TransFnc_1 = dummy::TransFnc_1(real) returns (real) on clock XXX - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/mapdeRed.lus -*** Error in file "should_work/demo/mapdeRed.lus", line 12, col 17 to 17, token '+': syntax error + node dummy::toto = dummy::toto(bool, bool) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/mapiter.lus +====> ../lus2lic -vl 3 should_work/lionel/FillFollowedByRed.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node incr_tab - export node mapiter + export node reduced + export node filled + export node FillFollowedByRed *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mapiter (pack) + FillFollowedByRed (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mapiter::main" +-- MAIN NODE: "FillFollowedByRed::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "should_work/demo/mapiter.lus", line 9, col 14 to 16, token 'map': unknown node +*** Error in file "should_work/lionel/FillFollowedByRed.lus", line 35, col 23 to 26, token 'fill': unknown node - node dummy::incr_tab = dummy::incr_tab(int) returns (int) on clock XXX + node dummy::reduced = dummy::reduced(bool, real) returns (bool) on clock XXX + + node dummy::filled = dummy::filled(real) returns (real, real) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/plus.lus +====> ../lus2lic -vl 3 should_work/lionel/Gyroscope.lus +*** Error in file "should_work/lionel/Gyroscope.lus", line 48, col 1 to 1, token '%': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/produitBool.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node plus + export type Tacc_in + export type T_isElementOf_ + export type Tacc_inShift2 + export type iteratedStruct + export type Tacc_inShift + export const size + export node _isElementOf_ + export node shift + export node shiftFill + export node selectOneStage + export node iterated_isElementOf_ + export node selectElementOfRank_inArray_ + export node produitBool + export node PLC *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - plus (pack) + produitBool (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "plus::main" +-- MAIN NODE: "produitBool::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::Tacc_in = {multiplieur : bool^10; rank : int} + type dummy::T_isElementOf_ = {eltToSearch : bool; iselementof : bool} + type dummy::iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} + type dummy::Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} + type dummy::Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} Exported constants: + const dummy::size = 10 Exported nodes: -*** Error in file "should_work/demo/plus.lus", line 3, col 7 to 19, token 'Lustre::iplus': unknown node +*** Error in file "should_work/lionel/ProduitBool/produitBool.lus", line 41, col 13 to 15, token 'red': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/pre_x.lus +====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/shiftFill_ludic.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node pre_x + export type T1_ARRAY + export type T4_STRUCT + export type T6_STRUCT + export type t_Tacc_inShift + export type T5_STRUCT + export type t_T_isElementOf_ + export type T2_STRUCT + export type t_Tacc_in + export type t_Tacc_inShift2 + export type T3_STRUCT + export type t_iteratedStruct + export const c_size + export node n_shiftFill + export node n_selectElementOfRank_inArray_ + export node n_selectOneStage *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - pre_x (pack) + shiftFill_ludic (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "pre_x::main" +-- MAIN NODE: "shiftFill_ludic::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::T1_ARRAY = bool^10 + type dummy::T4_STRUCT = {multiplieur : bool^10; rank : int} + type dummy::T6_STRUCT = {eltToSearch : bool; iselementof : bool} + type dummy::t_Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} + type dummy::T5_STRUCT = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} + type dummy::t_T_isElementOf_ = {eltToSearch : bool; iselementof : bool} + type dummy::T2_STRUCT = {multiplieur : bool^10; rank : int; actual_rank : int} + type dummy::t_Tacc_in = {multiplieur : bool^10; rank : int} + type dummy::t_Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} + type dummy::T3_STRUCT = {currentRank : int; rankToSelect : int; elementSelected : bool} + type dummy::t_iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} Exported constants: + const dummy::c_size = 10 Exported nodes: - node dummy::pre_x = dummy::pre_x(int, int) returns (bool) on clock XXX +*** Error in file "should_work/lionel/ProduitBool/shiftFill_ludic.lus", line 42, col 24 to 26, token 'red': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/rediter.lus +====> ../lus2lic -vl 3 should_work/lionel/ProduitBool/shift_ludic.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node max - export node rediter + export type T1_ARRAY + export type T4_STRUCT + export type T6_STRUCT + export type T3_ARRAY + export type t_Tacc_inShift + export type T5_STRUCT + export type t_T_isElementOf_ + export type T7_STRUCT + export type T2_STRUCT + export type t_Tacc_in + export type t_Tacc_inShift2 + export type t_iteratedStruct + export const c_size + export node n_shift + export node n_shiftFill + export node n_selectElementOfRank_inArray_ + export node n_selectOneStage *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - rediter (pack) + shift_ludic (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "rediter::main" +-- MAIN NODE: "shift_ludic::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::T1_ARRAY = bool^10 + type dummy::T4_STRUCT = {currentRank : int; rankToSelect : int; elementSelected : bool} + type dummy::T6_STRUCT = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} + type dummy::T3_ARRAY = bool^20 + type dummy::t_Tacc_inShift = {acc_in_PLC : {multiplieur : bool^10; rank : int}; actual_rank : int} + type dummy::T5_STRUCT = {multiplieur : bool^10; rank : int} + type dummy::t_T_isElementOf_ = {eltToSearch : bool; iselementof : bool} + type dummy::T7_STRUCT = {eltToSearch : bool; iselementof : bool} + type dummy::T2_STRUCT = {multiplieur : bool^10; rank : int; actual_rank : int} + type dummy::t_Tacc_in = {multiplieur : bool^10; rank : int} + type dummy::t_Tacc_inShift2 = {multiplieur : bool^10; rank : int; actual_rank : int} + type dummy::t_iteratedStruct = {currentRank : int; rankToSelect : int; elementSelected : bool} Exported constants: + const dummy::c_size = 10 Exported nodes: -*** Error in file "should_work/demo/rediter.lus", line 8, col 7 to 9, token 'red': unknown node +*** Error in file "should_work/lionel/ProduitBool/shift_ludic.lus", line 68, col 25 to 28, token 'fill': unknown node - node dummy::max = dummy::max(int, int) returns (int) on clock XXX + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/arrays.lus +*** Error in file "should_work/lionel/arrays.lus", line 16, col 23 to 23, token '+': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/sample_time_change.lus +====> ../lus2lic -vl 3 should_work/lionel/calculs_max.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node make_cl1_4_2 - export node MainNode - export node make_cl1_12_3 - export node sample_time_change + export type bool_arrays + export type int_arrays + export type struct_fill_bool + export type struct_max + export const taille + export node fill_bool + export node max + export node calculs_max *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - sample_time_change (pack) + calculs_max (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "sample_time_change::main" +-- MAIN NODE: "calculs_max::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::bool_arrays = bool^10 + type dummy::int_arrays = int^10 + type dummy::struct_fill_bool = {imax1 : int; imax2 : int; icourant : int} + type dummy::struct_max = {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int} Exported constants: + const dummy::taille = 10 Exported nodes: - node dummy::MainNode = dummy::MainNode(real) returns (real) on clock XXX - - node dummy::make_cl1_4_2 = dummy::make_cl1_4_2(bool) returns (bool) on clock XXX +*** Error in file "should_work/lionel/calculs_max.lus", line 68, col 24 to 26, token 'red': unknown node - node dummy::make_cl1_12_3 = dummy::make_cl1_12_3(bool) returns (bool) on clock XXX + node dummy::max = dummy::max( {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int}, int) returns ( {max1 : int; max2 : int; imax1 : int; imax2 : int; icourant : int}) on clock XXX - node dummy::sample_time_change = dummy::sample_time_change(bool, bool, real) returns (real) on clock XXX + node dummy::fill_bool = dummy::fill_bool( {imax1 : int; imax2 : int; icourant : int}) returns ( {imax1 : int; imax2 : int; icourant : int}, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/mapiter_lv4.lus +====> ../lus2lic -vl 3 should_work/lionel/deSimone.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type T1_ARRAY - export type T2_ARRAY - export node mapiter - export node m_m_incr_tab_7_3 - export node m_incr_tab_7 + export type tabType + export type cell_accu + export const size + export node oneCell + export node prop1_iter + export node deSimone + export node prop1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - mapiter_lv4 (pack) + deSimone (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "mapiter_lv4::main" +-- MAIN NODE: "deSimone::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::T1_ARRAY = int^7 - type dummy::T2_ARRAY = int^7^3 + type dummy::tabType = bool^10 + type dummy::cell_accu = {token : bool; grant : bool} Exported constants: + const dummy::size = 10 Exported nodes: -*** Error in file "should_work/demo/mapiter_lv4.lus", line 37, col 8 to 15, token 'incr_tab': unknown node +*** Error in file "should_work/lionel/deSimone.lus", line 38, col 33 to 39, token 'map_red': unknown node + + node dummy::oneCell = dummy::oneCell( {token : bool; grant : bool}, bool) returns ( {token : bool; grant : bool}, bool) on clock XXX + + node dummy::prop1_iter = dummy::prop1_iter(int, bool) returns (int) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/bred_lv4.lus +====> ../lus2lic -vl 3 should_work/lionel/iterFibo.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type T1_ARRAY - export node bred + export type T_fibo + export node iterFibo + export node fibo *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bred_lv4 (pack) + iterFibo (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bred_lv4::main" +-- MAIN NODE: "iterFibo::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::T1_ARRAY = bool^2 + type dummy::T_fibo = int^2 Exported constants: Exported nodes: -*** Error in file "should_work/demo/bred_lv4.lus", line 24, col 10 to 17, token 'br_0_1_2': unknown node +*** Error in file "should_work/lionel/iterFibo.lus", line 14, col 14 to 17, token 'fill': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/Gyroscope2.lus -*** Error in file "should_work/demo/Gyroscope2.lus", line 106, col 1 to 1, token '%': syntax error +====> ../lus2lic -vl 3 should_work/lionel/mapiter.lus +*** Error in file "should_work/lionel/mapiter.lus", line 42, col 25 to 25, token '=': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/clock.lus +====> ../lus2lic -vl 3 should_work/lionel/matrice.lus +*** Error in file "should_work/lionel/matrice.lus", line 15, col 22 to 22, token '+': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/matrice2.lus +*** Error in file "should_work/lionel/matrice2.lus", line 6, col 22 to 22, token '+': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/minus.lus +*** Error in file "should_work/lionel/minus.lus", line 8, col 22 to 22, token ',': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/moyenne.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node clock - export node clock2 - export node clock3 - export node clock4 + export type moyenne_accu + export const size + export node moyenne_step + export node moyenne *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - clock (pack) + moyenne (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "clock::main" +-- MAIN NODE: "moyenne::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::moyenne_accu = {sum : real; moyenne : real; rank : real} Exported constants: + const dummy::size = 10 Exported nodes: - node dummy::clock = dummy::clock(bool, bool) returns (bool, bool) on clock XXX - - node dummy::clock2 = dummy::clock2(bool, bool) returns (bool) on clock XXX - - node dummy::clock3 = dummy::clock3(bool) returns (bool, bool) on clock XXX +*** Error in file "should_work/lionel/moyenne.lus", line 33, col 15 to 17, token 'red': unknown node - node dummy::clock4 = dummy::clock4(bool, bool) returns (bool, bool) on clock XXX + node dummy::moyenne_step = dummy::moyenne_step( {sum : real; moyenne : real; rank : real}, real) returns ( {sum : real; moyenne : real; rank : real}) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/declaration.lus +====> ../lus2lic -vl 3 should_work/lionel/normal.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type t1 - export type t2 - export type t3 - export type t4 - export type t5 - export type coord - export type coord_tab - export enum const bleu - export enum const blanc - export enum const rouge - export type couleur - export const d - export const e - export const f - export const g - export const h - export const a - export const b - export const c - export node declaration - export node f1 - export node n1 - export node n2 - export node n4 - export node n5 + export type INTNBC + export type T_EntreeGlob + export type INTNBG + export type T_ComChg + export type T_InfoGenIndiv + export type T_EtatCharge + export type T_InfoChgGlob + export type T_InfoChgIndiv + export type T_InfoGenGlob + export const EC_LESTAGE + export const COM_ON + export const EC_OFF + export const COM_OFF + export const EC_NON_CTRL + export const EC_DELESTAGE + export const EC_ON + export const NBC + export const NBG + export const COM_ERR + export node copie + export node egal_indice + export node extract_tab_info_gen_indiv + export node extract_tab_info_chg_indiv + export node essai_traite_gen + export node fusion_com + export node extrCharge + export node essai2 + export node traite_genCore_itere + export node essai3 + export node trChItere + export node fusion_tab_com + export node traite_gen_core + export node extract_info_chg_glob + export node int2InfoGenIndiv + export node traite_gen + export node extract_info_gen_glob + export node traite_charge + export node int2InfoChgIndiv + export node extrGen + export node traiteGen + export node fusion_une_com + export node incr_acc + export node id + export node normal + export node traiteChg + export node traite_gen_bis *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - declaration (pack) + normal (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "declaration::main" +-- MAIN NODE: "normal::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t1 = dummy::t1 - type dummy::t2 = dummy::t2 - type dummy::t3 = dummy::t3 - type dummy::t4 = dummy::t1^8 - type dummy::t5 = dummy::t1^8^5 - type dummy::coord = {x : real; y : real} - type dummy::coord_tab = {x : real; y : real}^1 - type dummy::couleur = enum {dummy::bleu, dummy::blanc, dummy::rouge} + type dummy::INTNBC = int^20 + type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} + type dummy::INTNBG = int^4 + type dummy::T_ComChg = int + type dummy::T_InfoGenIndiv = {mesure_gen : int} + type dummy::T_EtatCharge = int + type dummy::T_InfoChgGlob = {chg2gen : int^20} + type dummy::T_InfoChgIndiv = {mesure_chg : int} + type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} Exported constants: - const dummy::d = true - const dummy::e = 8.500000 - const dummy::f = dummy::blanc - const dummy::g = 4 - const dummy::h = 2 - const dummy::bleu = dummy::bleu - const dummy::blanc = dummy::blanc - const dummy::rouge = dummy::rouge - const dummy::a = dummy::a - const dummy::b = dummy::b - const dummy::c = dummy::c - Exported nodes: - node dummy::declaration = dummy::declaration(int) returns (int) on clock XXX - - node dummy::f1 = dummy::f1(enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::bleu, dummy::blanc, dummy::rouge}, enum {dummy::bleu, dummy::blanc, dummy::rouge}) returns (bool^2) on clock XXX - - node dummy::n1 = dummy::n1(dummy::t1, dummy::t1, dummy::t1) returns (bool) on clock XXX - - node dummy::n2 = dummy::n2(bool, dummy::t1^8, dummy::t1^8, dummy::t1^8) returns (dummy::t1^8^5) on clock XXX - - node dummy::n4 = dummy::n4(bool) returns (bool) on clock XXX - - node dummy::n5 = dummy::n5(real) returns (real) on clock XXX + const dummy::EC_LESTAGE = 3 + const dummy::COM_ON = 1 + const dummy::EC_OFF = 1 + const dummy::COM_OFF = 2 + const dummy::EC_NON_CTRL = 2 + const dummy::EC_DELESTAGE = 4 + const dummy::EC_ON = 0 + const dummy::NBC = 20 + const dummy::NBG = 4 + const dummy::COM_ERR = 0 + Exported nodes: +*** Error in file "should_work/lionel/normal.lus", line 139, col 27 to 29, token 'map': unknown node ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/def.lus +====> ../lus2lic -vl 3 should_work/lionel/pipeline.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type structT - export type t1 - export type t2 - export type t3 - export type tabStruct - export type string2d - export type string - export const id_int - export const a - export const b - export const c - export node def + export const size + export node oneStep_pipe + export node pipeline *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - def (pack) + pipeline (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "def::main" +-- MAIN NODE: "pipeline::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t1 = dummy::t1 - type dummy::structT = {x : int; y : real; z : int^4^4^4} - type dummy::t2 = dummy::t2 - type dummy::t3 = dummy::t3 - type dummy::tabStruct = {x : int; y : real; z : int^4^4^4}^2 - type dummy::string2d = int^4^4 - type dummy::string = int^4 Exported constants: - const dummy::id_int = 5 - const dummy::a = 4 - const dummy::b = true - const dummy::c = 3.140000 + const dummy::size = 10 Exported nodes: - node dummy::def = dummy::def(bool, int^4^4, {x : int; y : real; z : int^4^4^4}^2, int^23) returns (bool) on clock XXX +*** Error in file "should_work/lionel/pipeline.lus", line 30, col 20 to 26, token 'map_red': unknown node + + node dummy::oneStep_pipe = dummy::oneStep_pipe(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/filliter.lus +====> ../lus2lic -vl 3 should_work/lionel/predefOp.lus +*** Error in file "should_work/lionel/predefOp.lus", line 61, col 25 to 26, token '=>': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/redIf.lus +*** Error in file "should_work/lionel/redIf.lus", line 3, col 14 to 14, token ',': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/simpleRed.lus +*** Error in file "should_work/lionel/simpleRed.lus", line 6, col 15 to 15, token '+': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/testSilus.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type t + export type INTNBC + export type T_EntreeGlob + export type INTNBG + export type T_ComChg + export type T_InfoGenIndiv + export type BOOLNBC + export type T_EtatCharge + export type T_InfoChgGlob + export type T_InfoChgIndiv + export type T_ComChgNBC + export type T_InfoGenGlob + export const EC_LESTAGE + export const COM_ON + export const EC_OFF + export const COM_OFF + export const EC_NON_CTRL + export const EC_DELESTAGE + export const EC_ON export const NBC + export const NBG + export const COM_ERR export node copie - export node filliter + export node egal_indice + export node extract_tab_info_gen_indiv + export node extract_tab_info_chg_indiv + export node fusion_com + export node extrCharge + export node traite_genCore_itere + export node trChItere + export node fusion_tab_com + export node traite_gen_core + export node extract_info_chg_glob + export node int2InfoGenIndiv + export node traite_gen + export node extract_info_gen_glob + export node traite_charge + export node testSilus + export node int2InfoChgIndiv + export node extrGen + export node traiteGen + export node fusion_une_com export node incr_acc + export node id + export node traiteChg *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - filliter (pack) + testSilus (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "filliter::main" +-- MAIN NODE: "testSilus::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t = int^5 + type dummy::INTNBC = int^20 + type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} + type dummy::INTNBG = int^4 + type dummy::T_ComChg = int + type dummy::T_InfoGenIndiv = {mesure_gen : int} + type dummy::BOOLNBC = bool^20 + type dummy::T_EtatCharge = int + type dummy::T_InfoChgGlob = {chg2gen : int^20} + type dummy::T_InfoChgIndiv = {mesure_chg : int} + type dummy::T_ComChgNBC = int^20 + type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} Exported constants: - const dummy::NBC = 3 + const dummy::EC_LESTAGE = 3 + const dummy::COM_ON = 1 + const dummy::EC_OFF = 1 + const dummy::COM_OFF = 2 + const dummy::EC_NON_CTRL = 2 + const dummy::EC_DELESTAGE = 4 + const dummy::EC_ON = 0 + const dummy::NBC = 20 + const dummy::NBG = 4 + const dummy::COM_ERR = 0 Exported nodes: - node dummy::copie = dummy::copie(int) returns (int, int) on clock XXX +*** Error in file "should_work/lionel/testSilus.lus", line 126, col 20 to 22, token 'map': unknown node -*** oops: an internal error occurred in file evalEq.ml, line 142, column 3 -*** when compiling lustre program should_work/demo/filliter.lus +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/lionel/triSel.lus +*** Error in file "should_work/lionel/triSel.lus", line 27, col 36 to 36, token ',': syntax error + ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/filter.lus +====> ../lus2lic -vl 3 should_work/packEnvTest/Condact.lus +*** Error in file "should_work/packEnvTest/Condact.lus", line 22, col 3 to 3, token '=': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus +*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus", line 9, col 50 to 50, token '0': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/main.lus +*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/main.lus", line 3, col 45 to 45, token '=': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type complexe - export type cdouble - export node filter + export node equals + export node gt *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - filter (pack) + noeudsIndependants (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "filter::main" +-- MAIN NODE: "noeudsIndependants::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::complexe = {x : real; y : real} - type dummy::cdouble = {x : {x : real; y : real}; y : {x : real; y : real}} Exported constants: Exported nodes: - node dummy::filter = dummy::filter(real, real) returns (bool) on clock XXX + node dummy::equals = dummy::equals(int, int) returns (bool) on clock XXX + + node dummy::gt = dummy::gt(int, int) returns (bool) on clock XXX ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/map_red_iter.lus +====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus +*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus", line 96, col 1 to 1, token '%': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/contractForElementSelectionInArray/tri.lus +*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/tri.lus", line 181, col 74 to 74, token ';': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/modelInst.lus +*** Error in file "should_work/packEnvTest/modelInst.lus", line 28, col 3 to 9, token 'package': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_work/packEnvTest/packages.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 - init pack dummy - export type INTNBC - export type T_EntreeGlob - export type INTNBG - export type T_ComChg - export type T_InfoGenIndiv - export type T_EtatCharge - export type T_InfoChgGlob - export type T_InfoChgIndiv - export type T_InfoGenGlob - export const NBC - export const NBG - export node traite_genCore_itere - export node map_red_iter + init pack inter + export node preced + export const n + export type selType + init pack mainPack + export node preced + init pack pint + export node fby1 + export type t + init pack pbool + export node fby1 + export type t + init pack preal + export node fby1 + export type t *** SyntaxTab.create pass 3 - init symbol tables for pack dummy + init symbol tables for pack inter + init symbol tables for pack mainPack + init symbol tables for pack pint + init symbol tables for pack pbool + init symbol tables for pack preal *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - map_red_iter (pack) + modSimple (model) + pint (pack) + pbool (pack) + preal (pack) + inter (pack) + mainPack (pack) - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy + - Raw model table: modSimple + - Raw Package table: inter mainPack pint pbool preal + - Package manager table: inter mainPack pint pbool preal End of Syntax table dump. » --- MAIN NODE: "map_red_iter::main" +-- MAIN NODE: "pint::main" *** Dump the exported items of the packages. - * package dummy + * package preal Exported types: - type dummy::INTNBC = int^20 - type dummy::T_EntreeGlob = {chg2gen : int^20; mesure_chgs : int^20; mesure_gens : int^4} - type dummy::INTNBG = int^4 - type dummy::T_ComChg = int - type dummy::T_InfoGenIndiv = {mesure_gen : int} - type dummy::T_EtatCharge = int - type dummy::T_InfoChgGlob = {chg2gen : int^20} - type dummy::T_InfoChgIndiv = {mesure_chg : int} - type dummy::T_InfoGenGlob = {elt_bidon : int; chg2gen : int^20} + type preal::t = real + Exported constants: + Exported nodes: + node preal::fby1 = preal::fby1(real, real) returns (real) on clock XXX + + * package pbool + Exported types: + type pbool::t = bool Exported constants: - const dummy::NBC = 20 - const dummy::NBG = 4 Exported nodes: -*** Error in file "should_work/demo/map_red_iter.lus", line 63, col 23 to 29, token 'map_red': unknown node + node pbool::fby1 = pbool::fby1(bool, bool) returns (bool) on clock XXX - node dummy::traite_genCore_itere = dummy::traite_genCore_itere(int, bool, int) returns (int, int) on clock XXX + * package pint + Exported types: + type pint::t = int + Exported constants: + Exported nodes: + node pint::fby1 = pint::fby1(int, int) returns (int) on clock XXX + * package mainPack + Exported types: + type mainPack::selType = inter::selType (imported) + Exported constants: + const mainPack::n = inter::n (imported) + Exported nodes: ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/mappredef.lus -*** Error in file "should_work/demo/mappredef.lus", line 10, col 14 to 14, token ',': syntax error + XXX evalNode.ml: + XXX in file "should_work/packEnvTest/packages.lus", line 53, col 13 to 22, token 'pint::fby1': imported node preal::fby1 in static args -> finish me! +*** oops: an internal error occurred in file evalNode.ml, line 27, column 3 +*** when compiling lustre program should_work/packEnvTest/packages.lus ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_work/demo/redoptest.lus -*** Error in file "should_work/demo/redoptest.lus", line 8, col 17 to 17, token '+': syntax error +====> ../lus2lic -vl 3 should_work/packEnvTest/packages2.lus +*** Error in file "should_work/packEnvTest/packages2.lus", line 63, col 1 to 4, token 'node': syntax error ---------------------------------------------------------------------- @@ -6037,76 +6041,40 @@ End of Syntax table dump. Those tests are supposed to generate errors ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/syntax/record.lus -*** Error in file "should_fail/syntax/record.lus", line 7, col 29 to 29, token '{': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/x.lus -*** SyntaxTab.create pass 1 -*** SyntaxTab.create pass 2 - init pack dummy - export const m - export const n - export const t - export const x - export const y -*** SyntaxTab.create pass 3 - init symbol tables for pack dummy -*** SyntaxTab.create done -*** « Syntax table dump: - - Package or model list: - x (pack) - - - Raw model table: - - Raw Package table: dummy - - Package manager table: dummy -End of Syntax table dump. » --- MAIN NODE: "x::main" -*** Dump the exported items of the packages. - * package dummy - Exported types: - Exported constants: -*** Error in file "should_fail/semantics/x.lus", line 4, col 7 to 7, token 'm': recursion loop detected: - > const ref in file "should_fail/semantics/x.lus", line 4, col 11 to 11, token 'x' - > const ref in file "should_fail/semantics/x.lus", line 6, col 11 to 11, token 't' - > const ref in file "should_fail/semantics/x.lus", line 8, col 11 to 11, token 'n' - > const ref in file "should_fail/semantics/x.lus", line 2, col 11 to 11, token 'm' +====> ../lus2lic -vl 3 should_fail/clock/clock.lus +*** Error in file "should_fail/clock/clock.lus", line 6, col 1 to 4, token 'node': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/def.lus +====> ../lus2lic -vl 3 should_fail/semantics/activation1.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type st - export type int4 - export node def + export node up + export node down + export node activation1 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - def (pack) + activation1 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "def::main" +-- MAIN NODE: "activation1::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::st = {x : int^4} - type dummy::int4 = int^4 Exported constants: Exported nodes: - node dummy::def = dummy::def(bool) returns ( {x : int^4}) on clock XXX + node dummy::up = dummy::up(int) returns (int) on clock XXX + node dummy::down = dummy::down(int) returns (int) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/not_a_constant.lus -*** Error in file "should_fail/semantics/not_a_constant.lus", line 10, col 23 to 24, token '--': syntax error + node dummy::activation1 = dummy::activation1(bool, bool) returns (int) on clock XXX ---------------------------------------------------------------------- @@ -6142,35 +6110,37 @@ End of Syntax table dump. ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/activation1.lus +====> ../lus2lic -vl 3 should_fail/semantics/bad_call01.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node up - export node down - export node activation1 + export node titi + export node bad_call01 + export node toto *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - activation1 (pack) + bad_call01 (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "activation1::main" +-- MAIN NODE: "bad_call01::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: - node dummy::up = dummy::up(int) returns (int) on clock XXX +*** Error in file "dummy", line 0, col 0 to 0, token 'dummy': recursion loop detected: + > node ref in file "should_fail/semantics/bad_call01.lus", line 2, col 13 to 16, token 'titi' - node dummy::down = dummy::down(int) returns (int) on clock XXX - node dummy::activation1 = dummy::activation1(bool, bool) returns (int) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_fail/semantics/bad_call03.lus +*** Error in file "should_fail/semantics/bad_call03.lus", line 2, col 18 to 18, token '+': syntax error ---------------------------------------------------------------------- @@ -6234,6 +6204,53 @@ End of Syntax table dump. *** Error in file "should_fail/semantics/const.lus", line 18, col 17 to 17, token ',': syntax error +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_fail/semantics/const2.lus +*** SyntaxTab.create pass 1 +*** SyntaxTab.create pass 2 + init pack dummy + export type t1 + export type t2 + export type t3 + export type t4 + export type t5 + export type t6 + export type t7 + export type t8 + export const c10 + export const e3 + export const M + export const N + export const O + export const P +*** SyntaxTab.create pass 3 + init symbol tables for pack dummy +*** SyntaxTab.create done +*** « Syntax table dump: + - Package or model list: + const2 (pack) + + - Raw model table: + - Raw Package table: dummy + - Package manager table: dummy +End of Syntax table dump. » +-- MAIN NODE: "const2::main" +*** Dump the exported items of the packages. + * package dummy + Exported types: + type dummy::t1 = int + type dummy::t2 = int^3 + type dummy::t3 = int^3^6 + type dummy::t4 = int^3^6^3 + type dummy::t5 = int^3^6^3^2 + type dummy::t6 = int^3^6^3^2^12 + type dummy::t7 = int^3^6^3^2^12^3 + type dummy::t8 = int^3^6^3^2^12^3^3 + Exported constants: +*** Error in file "should_fail/semantics/const2.lus", line 4, col 13 to 16, token 'when': can't eval constant: operation when not allowed in static expression + + const dummy::c10 = 12 + ---------------------------------------------------------------------- ====> ../lus2lic -vl 3 should_fail/semantics/cpt_dc.lus *** SyntaxTab.create pass 1 @@ -6261,79 +6278,80 @@ End of Syntax table dump. ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/import2.lus -*** Error in file "should_fail/semantics/import2.lus", line 2, col 1 to 4, token 'node': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/m.lus -*** Error in file "should_fail/semantics/m.lus", line 3, col 23 to 23, token ',': syntax error - - ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/piege.lus +====> ../lus2lic -vl 3 should_fail/semantics/def.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node piege - export node aux1 - export node aux2 + export type st + export type int4 + export node def *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - piege (pack) + def (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "piege::main" +-- MAIN NODE: "def::main" *** Dump the exported items of the packages. * package dummy Exported types: + type dummy::st = {x : int^4} + type dummy::int4 = int^4 Exported constants: Exported nodes: - node dummy::piege = dummy::piege(bool) returns (bool) on clock XXX + node dummy::def = dummy::def(bool) returns ( {x : int^4}) on clock XXX - node dummy::aux1 = dummy::aux1(bool, bool) returns (bool) on clock XXX - node dummy::aux2 = dummy::aux2(bool, bool) returns (bool, bool) on clock XXX +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_fail/semantics/import2.lus +*** Error in file "should_fail/semantics/import2.lus", line 2, col 1 to 4, token 'node': syntax error ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/bad_call01.lus +====> ../lus2lic -vl 3 should_fail/semantics/m.lus +*** Error in file "should_fail/semantics/m.lus", line 3, col 23 to 23, token ',': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_fail/semantics/not_a_constant.lus +*** Error in file "should_fail/semantics/not_a_constant.lus", line 10, col 23 to 24, token '--': syntax error + + +---------------------------------------------------------------------- +====> ../lus2lic -vl 3 should_fail/semantics/piege.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export node titi - export node bad_call01 - export node toto + export node piege + export node aux1 + export node aux2 *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - bad_call01 (pack) + piege (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "bad_call01::main" +-- MAIN NODE: "piege::main" *** Dump the exported items of the packages. * package dummy Exported types: Exported constants: Exported nodes: -*** Error in file "dummy", line 0, col 0 to 0, token 'dummy': recursion loop detected: - > node ref in file "should_fail/semantics/bad_call01.lus", line 2, col 13 to 16, token 'titi' + node dummy::piege = dummy::piege(bool) returns (bool) on clock XXX + node dummy::aux1 = dummy::aux1(bool, bool) returns (bool) on clock XXX ----------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/bad_call03.lus -*** Error in file "should_fail/semantics/bad_call03.lus", line 2, col 18 to 18, token '+': syntax error + node dummy::aux2 = dummy::aux2(bool, bool) returns (bool, bool) on clock XXX ---------------------------------------------------------------------- @@ -6370,55 +6388,41 @@ End of Syntax table dump. ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/semantics/const2.lus +====> ../lus2lic -vl 3 should_fail/semantics/x.lus *** SyntaxTab.create pass 1 *** SyntaxTab.create pass 2 init pack dummy - export type t1 - export type t2 - export type t3 - export type t4 - export type t5 - export type t6 - export type t7 - export type t8 - export const c10 - export const e3 - export const M - export const N - export const O - export const P + export const m + export const n + export const t + export const x + export const y *** SyntaxTab.create pass 3 init symbol tables for pack dummy *** SyntaxTab.create done *** « Syntax table dump: - Package or model list: - const2 (pack) + x (pack) - Raw model table: - Raw Package table: dummy - Package manager table: dummy End of Syntax table dump. » --- MAIN NODE: "const2::main" +-- MAIN NODE: "x::main" *** Dump the exported items of the packages. * package dummy Exported types: - type dummy::t1 = int - type dummy::t2 = int^3 - type dummy::t3 = int^3^6 - type dummy::t4 = int^3^6^3 - type dummy::t5 = int^3^6^3^2 - type dummy::t6 = int^3^6^3^2^12 - type dummy::t7 = int^3^6^3^2^12^3 - type dummy::t8 = int^3^6^3^2^12^3^3 Exported constants: -*** Error in file "should_fail/semantics/const2.lus", line 4, col 13 to 16, token 'when': can't eval constant: operation when not allowed in static expression +*** Error in file "should_fail/semantics/x.lus", line 4, col 7 to 7, token 'm': recursion loop detected: + > const ref in file "should_fail/semantics/x.lus", line 4, col 11 to 11, token 'x' + > const ref in file "should_fail/semantics/x.lus", line 6, col 11 to 11, token 't' + > const ref in file "should_fail/semantics/x.lus", line 8, col 11 to 11, token 'n' + > const ref in file "should_fail/semantics/x.lus", line 2, col 11 to 11, token 'm' - const dummy::c10 = 12 ---------------------------------------------------------------------- -====> ../lus2lic -vl 3 should_fail/clock/clock.lus -*** Error in file "should_fail/clock/clock.lus", line 6, col 1 to 4, token 'node': syntax error +====> ../lus2lic -vl 3 should_fail/syntax/record.lus +*** Error in file "should_fail/syntax/record.lus", line 7, col 29 to 29, token '{': syntax error ----------------------------------------------------------------------