package zelus

  1. Overview
  2. Docs
A synchronous language with ODEs

Install 

dune-project
 Dependency

zelus.di.ens.fr Readme Edit opam file Versions (2)

Authors

  1. T
    Timothy Bourke <timothy.bourke@inria.fr>
  2. M
    Marc Pouzet <marc.pouzet@ens.fr>

Maintainers

  1. M
    Marc Pouzet <marc.pouzet@ens.fr>

Sources

2.1.tar.gz
sha256=cb0f7bacc33a4bb425683e2def67359fcf6d402545a32f7f953c4822a9a01862
md5=83fb886e4b14ce286e7a6eb59248be4b

doc/zelus.zlcompilerlibs/Oprinter/index.html

Module Oprinter

val priority_exp : Obc.exp -> int

Priorities

val priority_inst : Obc.inst -> int
val kind : Deftypes.kind -> string
val psize : int -> Format.formatter -> Obc.size -> unit
val print_concrete_type : Format.formatter -> Obc.type_expression -> unit
val ptype : Format.formatter -> Deftypes.typ -> unit
val immediate : Format.formatter -> Obc.immediate -> unit
val pattern : Format.formatter -> Obc.pattern -> unit
val pattern_list : Format.formatter -> Obc.pattern list -> unit
val pattern_comma_list : Format.formatter -> Obc.pattern list -> unit
val method_name : Obc.method_name -> Obc.method_name
val method_call : Format.formatter -> Obc.method_call -> unit

Print the call to a method

val left_value : Format.formatter -> Obc.left_value -> unit
val left_state_value : Format.formatter -> Obc.left_state_value -> unit
val assign : Format.formatter -> Obc.left_value -> Obc.exp -> unit
val assign_state : Format.formatter -> Obc.left_state_value -> Obc.exp -> unit
val access : Format.formatter -> Obc.primitive_access -> unit
val local : Format.formatter -> Ident.t -> unit
val var : Format.formatter -> Ident.t -> unit
val letvar : Format.formatter -> Ident.t -> Deftypes.typ -> Obc.exp option -> Obc.inst -> unit
val exp : int -> Format.formatter -> Obc.exp -> unit
val inst : int -> Format.formatter -> Obc.inst -> unit
val sinst : Format.formatter -> Obc.inst -> unit
val pat_exp : Format.formatter -> (Obc.pattern * Obc.exp) -> unit
val exp_with_typ : Format.formatter -> (Obc.exp * Deftypes.typ) -> unit
val expression : Format.formatter -> Obc.exp -> unit
val match_handler : Format.formatter -> Obc.inst Obc.match_handler -> unit
val type_decl : Format.formatter -> Obc.type_decl -> unit

The main entry functions for expressions and instructions

val constr_decl : Format.formatter -> Obc.constr_decl -> unit
val memory : Format.formatter -> Obc.mentry -> unit
val instance : Format.formatter -> Obc.ientry -> unit
val pmethod : Format.formatter -> Obc.method_desc -> unit
val pinitialize : Format.formatter -> Obc.inst option -> unit
val machine : string -> Format.formatter -> Obc.machine -> unit

Print a machine

val implementation : Format.formatter -> Obc.implementation -> unit
val implementation_list : Format.formatter -> Obc.implementation list -> unit