Source file scope.ml

(* The Zelus compiler, version %%NAME%%-%%VERSION%%
  (2025-05-19-23:58) *)
open Ztypes
open Basics
let piecewise = Gtkplot.piecewise

let square = Gtkplot.square

let linear = Gtkplot.linear

let points (x_292:bool) =
  Gtkplot.points x_292

type ('c , 'b , 'a) _scopen =
  { mutable i_298 : 'c ; mutable sc_297 : 'b ; mutable ls_296 : 'a }

let scopen  = 
  
  let scopen_alloc _ =
    ();
    { i_298 = (false:bool) ;
      sc_297 = (Obj.magic ():Gtkplot.scope) ;
      ls_296 = (Obj.magic ():Gtkplot.signal list) } in
  let scopen_reset self  =
    (self.i_298 <- true:unit) in 
  let scopen_step self ((yl_294:float) ,
                        (yu_295:float) ,
                        (l_293:((string  * Gtkplot.signal_type  * float))list)) =
    (((if self.i_298 then
       self.ls_296 <- Gtkplot.signal_l (Gtkplot.getSignals l_293)) ;
      (if self.i_298 then
       self.sc_297 <- Gtkplot.scope (yl_294 , yu_295 , self.ls_296)) ;
      self.i_298 <- false ;
      (let _ = Gtkplot.update_l (self.ls_296 , (Gtkplot.getValues l_293)) in
       self.sc_297)):Gtkplot.scope) in
  Node { alloc = scopen_alloc; reset = scopen_reset ; step = scopen_step }
type ('a) _scope =
  { mutable i_390 : 'a }

let scope  = 
  let Node { alloc = i_390_alloc; step = i_390_step ; reset = i_390_reset } = scopen 
   in let scope_alloc _ =
        ();{ i_390 = i_390_alloc () (* discrete *)  } in
  let scope_reset self  =
    (i_390_reset self.i_390 :unit) in 
  let scope_step self ((yl_302:float) ,
                       (yu_303:float) ,
                       ((n1_299:string) ,
                        (t1_300:Gtkplot.signal_type) , (v1_301:float))) =
    (i_390_step self.i_390
       (yl_302 , yu_303 , ((::) ((n1_299 , t1_300 , v1_301) , ([])))):
    Gtkplot.scope) in
  Node { alloc = scope_alloc; reset = scope_reset ; step = scope_step }
type ('a) _scope2 =
  { mutable i_391 : 'a }

let scope2  = 
  let Node { alloc = i_391_alloc; step = i_391_step ; reset = i_391_reset } = scopen 
   in let scope2_alloc _ =
        ();{ i_391 = i_391_alloc () (* discrete *)  } in
  let scope2_reset self  =
    (i_391_reset self.i_391 :unit) in 
  let scope2_step self ((yl_310:float) ,
                        (yu_311:float) ,
                        ((n1_304:string) ,
                         (t1_306:Gtkplot.signal_type) , (v1_308:float)) ,
                        ((n2_305:string) ,
                         (t2_307:Gtkplot.signal_type) , (v2_309:float))) =
    (i_391_step self.i_391
       (yl_310 ,
        yu_311 ,
        ((::) ((n1_304 , t1_306 , v1_308) ,
               ((::) ((n2_305 , t2_307 , v2_309) , ([])))))):Gtkplot.scope) in
  Node { alloc = scope2_alloc; reset = scope2_reset ; step = scope2_step }
type ('a) _scope3 =
  { mutable i_392 : 'a }

let scope3  = 
  let Node { alloc = i_392_alloc; step = i_392_step ; reset = i_392_reset } = scopen 
   in let scope3_alloc _ =
        ();{ i_392 = i_392_alloc () (* discrete *)  } in
  let scope3_reset self  =
    (i_392_reset self.i_392 :unit) in 
  let scope3_step self ((yl_321:float) ,
                        (yu_322:float) ,
                        ((n1_312:string) ,
                         (t1_315:Gtkplot.signal_type) , (v1_318:float)) ,
                        ((n2_313:string) ,
                         (t2_316:Gtkplot.signal_type) , (v2_319:float)) ,
                        ((n3_314:string) ,
                         (t3_317:Gtkplot.signal_type) , (v3_320:float))) =
    (i_392_step self.i_392
       (yl_321 ,
        yu_322 ,
        ((::) ((n1_312 , t1_315 , v1_318) ,
               ((::) ((n2_313 , t2_316 , v2_319) ,
                      ((::) ((n3_314 , t3_317 , v3_320) , ([])))))))):
    Gtkplot.scope) in
  Node { alloc = scope3_alloc; reset = scope3_reset ; step = scope3_step }
type ('a) _scope4 =
  { mutable i_393 : 'a }

let scope4  = 
  let Node { alloc = i_393_alloc; step = i_393_step ; reset = i_393_reset } = scopen 
   in let scope4_alloc _ =
        ();{ i_393 = i_393_alloc () (* discrete *)  } in
  let scope4_reset self  =
    (i_393_reset self.i_393 :unit) in 
  let scope4_step self ((yl_335:float) ,
                        (yu_336:float) ,
                        ((n1_323:string) ,
                         (t1_327:Gtkplot.signal_type) , (v1_331:float)) ,
                        ((n2_324:string) ,
                         (t2_328:Gtkplot.signal_type) , (v2_332:float)) ,
                        ((n3_325:string) ,
                         (t3_329:Gtkplot.signal_type) , (v3_333:float)) ,
                        ((n4_326:string) ,
                         (t4_330:Gtkplot.signal_type) , (v4_334:float))) =
    (i_393_step self.i_393
       (yl_335 ,
        yu_336 ,
        ((::) ((n1_323 , t1_327 , v1_331) ,
               ((::) ((n2_324 , t2_328 , v2_332) ,
                      ((::) ((n3_325 , t3_329 , v3_333) ,
                             ((::) ((n4_326 , t4_330 , v4_334) , ([])))))))))):
    Gtkplot.scope) in
  Node { alloc = scope4_alloc; reset = scope4_reset ; step = scope4_step }
type ('a) _scope5 =
  { mutable i_394 : 'a }

let scope5  = 
  let Node { alloc = i_394_alloc; step = i_394_step ; reset = i_394_reset } = scopen 
   in let scope5_alloc _ =
        ();{ i_394 = i_394_alloc () (* discrete *)  } in
  let scope5_reset self  =
    (i_394_reset self.i_394 :unit) in 
  let scope5_step self ((yl_352:float) ,
                        (yu_353:float) ,
                        ((n1_337:string) ,
                         (t1_342:Gtkplot.signal_type) , (v1_347:float)) ,
                        ((n2_338:string) ,
                         (t2_343:Gtkplot.signal_type) , (v2_348:float)) ,
                        ((n3_339:string) ,
                         (t3_344:Gtkplot.signal_type) , (v3_349:float)) ,
                        ((n4_340:string) ,
                         (t4_345:Gtkplot.signal_type) , (v4_350:float)) ,
                        ((n5_341:string) ,
                         (t5_346:Gtkplot.signal_type) , (v5_351:float))) =
    (i_394_step self.i_394
       (yl_352 ,
        yu_353 ,
        ((::) ((n1_337 , t1_342 , v1_347) ,
               ((::) ((n2_338 , t2_343 , v2_348) ,
                      ((::) ((n3_339 , t3_344 , v3_349) ,
                             ((::) ((n4_340 , t4_345 , v4_350) ,
                                    ((::) ((n5_341 , t5_346 , v5_351) , ([])))))))))))):
    Gtkplot.scope) in
  Node { alloc = scope5_alloc; reset = scope5_reset ; step = scope5_step }
type ('b , 'a) _windown =
  { mutable i_359 : 'b ; mutable w_358 : 'a }

let windown  = 
  
  let windown_alloc _ =
    ();{ i_359 = (false:bool) ; w_358 = (Obj.magic ():Gtkplot.window) } in
  let windown_reset self  =
    (self.i_359 <- true:unit) in 
  let windown_step self ((title_356:string) ,
                         (imaxt_354:float) ,
                         (v_357:float) , (ls_355:(Gtkplot.scope)list)) =
    (((if self.i_359 then
       self.w_358 <- Gtkplot.window (title_356 , imaxt_354 , ls_355)) ;
      self.i_359 <- false ; Gtkplot.tick (self.w_358 , v_357)):unit) in
  Node { alloc = windown_alloc; reset = windown_reset ; step = windown_step }
type ('a) _window =
  { mutable i_395 : 'a }

let window  = 
  let Node { alloc = i_395_alloc; step = i_395_step ; reset = i_395_reset } = windown 
   in let window_alloc _ =
        ();{ i_395 = i_395_alloc () (* discrete *)  } in
  let window_reset self  =
    (i_395_reset self.i_395 :unit) in 
  let window_step self ((title_362:string) ,
                        (imaxt_360:float) ,
                        (v_363:float) , (s1_361:Gtkplot.scope)) =
    (i_395_step self.i_395
       (title_362 , imaxt_360 , v_363 , ((::) (s1_361 , ([])))):unit) in
  Node { alloc = window_alloc; reset = window_reset ; step = window_step }
type ('a) _window2 =
  { mutable i_396 : 'a }

let window2  = 
  let Node { alloc = i_396_alloc; step = i_396_step ; reset = i_396_reset } = windown 
   in let window2_alloc _ =
        ();{ i_396 = i_396_alloc () (* discrete *)  } in
  let window2_reset self  =
    (i_396_reset self.i_396 :unit) in 
  let window2_step self ((title_367:string) ,
                         (imaxt_364:float) ,
                         (v_368:float) ,
                         (s1_365:Gtkplot.scope) , (s2_366:Gtkplot.scope)) =
    (i_396_step self.i_396
       (title_367 ,
        imaxt_364 , v_368 , ((::) (s1_365 , ((::) (s2_366 , ([])))))):
    unit) in
  Node { alloc = window2_alloc; reset = window2_reset ; step = window2_step }
type ('a) _window3 =
  { mutable i_397 : 'a }

let window3  = 
  let Node { alloc = i_397_alloc; step = i_397_step ; reset = i_397_reset } = windown 
   in let window3_alloc _ =
        ();{ i_397 = i_397_alloc () (* discrete *)  } in
  let window3_reset self  =
    (i_397_reset self.i_397 :unit) in 
  let window3_step self ((title_373:string) ,
                         (imaxt_369:float) ,
                         (v_374:float) ,
                         (s1_370:Gtkplot.scope) ,
                         (s2_371:Gtkplot.scope) , (s3_372:Gtkplot.scope)) =
    (i_397_step self.i_397
       (title_373 ,
        imaxt_369 ,
        v_374 , ((::) (s1_370 , ((::) (s2_371 , ((::) (s3_372 , ([])))))))):
    unit) in
  Node { alloc = window3_alloc; reset = window3_reset ; step = window3_step }
type ('a) _window4 =
  { mutable i_398 : 'a }

let window4  = 
  let Node { alloc = i_398_alloc; step = i_398_step ; reset = i_398_reset } = windown 
   in let window4_alloc _ =
        ();{ i_398 = i_398_alloc () (* discrete *)  } in
  let window4_reset self  =
    (i_398_reset self.i_398 :unit) in 
  let window4_step self ((title_380:string) ,
                         (imaxt_375:float) ,
                         (v_381:float) ,
                         (s1_376:Gtkplot.scope) ,
                         (s2_377:Gtkplot.scope) ,
                         (s3_378:Gtkplot.scope) , (s4_379:Gtkplot.scope)) =
    (i_398_step self.i_398
       (title_380 ,
        imaxt_375 ,
        v_381 ,
        ((::) (s1_376 ,
               ((::) (s2_377 , ((::) (s3_378 , ((::) (s4_379 , ([])))))))))):
    unit) in
  Node { alloc = window4_alloc; reset = window4_reset ; step = window4_step }
type ('a) _window5 =
  { mutable i_399 : 'a }

let window5  = 
  let Node { alloc = i_399_alloc; step = i_399_step ; reset = i_399_reset } = windown 
   in let window5_alloc _ =
        ();{ i_399 = i_399_alloc () (* discrete *)  } in
  let window5_reset self  =
    (i_399_reset self.i_399 :unit) in 
  let window5_step self ((title_388:string) ,
                         (imaxt_382:float) ,
                         (v_389:float) ,
                         (s1_383:Gtkplot.scope) ,
                         (s2_384:Gtkplot.scope) ,
                         (s3_385:Gtkplot.scope) ,
                         (s4_386:Gtkplot.scope) , (s5_387:Gtkplot.scope)) =
    (i_399_step self.i_399
       (title_388 ,
        imaxt_382 ,
        v_389 ,
        ((::) (s1_383 ,
               ((::) (s2_384 ,
                      ((::) (s3_385 ,
                             ((::) (s4_386 , ((::) (s5_387 , ([])))))))))))):
    unit) in
  Node { alloc = window5_alloc; reset = window5_reset ; step = window5_step }