#!/usr/bin/env tclsh
# generated by: rp2luc

lappend auto_path  $::env(LUSTRE_INSTALL)/tcl
package require Luciole 2.0
namespace import luc::*

# accepts default luciole opts
luc::parse_args

# change font magnification (%)
ezfont::scale 20

ecexe _basic_ "basic.ec" {
   { "x" "bool" }
   { "y" "bool" }
   { "z" "int" }
   { "t" "int" }
   { "u" "real" }
} {
   { "bout1" "bool" -text "x or y" }
   { "bout2" "bool" -text "after y" }
   { "iout1" "int" -text "succ z" }
   { "iout2" "int" -text "counter"}
   { "rout" "real" -text "twice u" }
}

panel p1 col -text "Booleans" {
	hbar -text "(inputs)" { line { $x } line { $y } }
	line { $bout1 $bout2 }
} 

panel p2 col -text "Integers" {
	line { $z $t }
	hbar { $iout1 $iout2 }
}

panel p3 hbar -text "Reals" { $u $rout }

stdgui col { $p1 $p2 $p3 }

