Module `CoTraceExp`Source

COMPILATION/EXPANSION : expressions de traces

------------------------------------------------------------

Repr�sentation des expressions de traces

Comme son nom l'indique, sert exclusivement � repr�senter les expressions de traces~! Le "cast" des CoAlgExp.t bool�ennes en trace est explicite.

N.B. les exceptions sont enti�rement "r�solue" �

----------------------------------------------------------

Sourcetype escope = (CoIdent.t * CoAlgExp.t option) list

On exporte la structure du type

Sourceval new_escope : unit -> escope

Sourceval add_escope : escope -> (CoIdent.t * CoAlgExp.t option) -> escope

Sourcetype src_info = CoIdent.scope_stack

Sourcetype 't t =

| TE_eps
| TE_ref of CoIdent.t
| TE_constraint of CoAlgExp.t * src_info
| TE_fby of 't t * 't t
| TE_prio of 't t list
| TE_para of 't t list
| TE_choice of ('t t * CoAlgExp.t option) list
| TE_dyn_choice of int * (int * 't t) list
| TE_noeps of 't t
| TE_loop of 't t
| TE_omega of 't t
| TE_loopi of int * CoAlgExp.t * CoAlgExp.t * 't t * src_info
| TE_loopa of int * CoAlgExp.t * CoAlgExp.t option * 't t * src_info
| TE_dyn_loop of int -> int * int * int * 't t
| TE_assert of CoAlgExp.t * 't t * src_info
| TE_strong_assert of CoAlgExp.t * 't t * src_info
| TE_exist of escope * 't t
| TE_raise of string
| TE_try of 't t * 't t option
| TE_catch of string * 't t * 't t option
| TE_erun of string * escope * CoAlgExp.t list * 't t
| TE_dyn_erun of string * Reactive.prg * CoIdent.t list * CoAlgExp.t list * 't t
| TE_dyn_erun_ldbg of string * 't Reactive.prg_ldbg * CoIdent.t list * CoAlgExp.t list * 't t
| TE_run of string * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info
| TE_dyn_run of string * Reactive.prg * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info
| TE_dyn_run_ldbg of string * 't Reactive.prg_ldbg * CoAlgExp.t * escope * CoAlgExp.t list * 't t * src_info

Sourceval reset : unit -> unit

R�initialisation du module pour les compteurs de loop (au cas o�) ?

Sourceval nb_loops : unit -> int

Batterie de cr�ateurs

Sourceval of_erun : string -> escope -> CoAlgExp.t list -> 't t -> 't t

Source

val of_run : 
  string ->
  CoAlgExp.t ->
  escope ->
  CoAlgExp.t list ->
  't t ->
  src_info ->
  't t

Sourceval of_constraint : CoAlgExp.t -> src_info -> 't t

Sourceval of_ref : CoIdent.t -> 't t

Sourceval of_loop : 't t -> 't t

Sourceval of_omega : 't t -> 't t

Sourceval of_loope : CoAlgExp.t -> 't t -> src_info -> 't t

Sourceval of_loopi : CoAlgExp.t -> CoAlgExp.t -> 't t -> src_info -> 't t

Sourceval of_loopa : CoAlgExp.t -> CoAlgExp.t option -> 't t -> src_info -> 't t

Sourceval of_fby : 't t -> 't t -> 't t

Sourceval of_prio : 't t list -> 't t

Sourceval of_para : 't t list -> 't t

Sourceval of_choice : ('t t * CoAlgExp.t option) list -> 't t

Sourceval of_assert : CoAlgExp.t -> 't t -> src_info -> 't t

Sourceval of_strong_assert : CoAlgExp.t -> 't t -> src_info -> 't t

Sourceval of_exist : escope -> 't t -> 't t

Sourceval of_raise : string -> 't t

Sourceval of_catch : string -> 't t -> 't t option -> 't t

Sourceval of_try : 't t -> 't t option -> 't t

Sourceval dump : 't t -> unit

Pretty print

Sourceval dumps : 't t -> string

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/lutin/CoTraceExp/index.html

Module `CoTraceExp`Source

package lutin

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/lutin/CoTraceExp/index.html

Module CoTraceExpSource

dune-project
Dependency

Module `CoTraceExp`Source