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.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6

doc/zelus.zlcompilerlibs/Ocamlprinter/index.html

Module Ocamlprinter

val immediate : Format.formatter -> Obc.immediate -> unit
val default_list_of_methods : string list
val constructor_for_kind : Deftypes.kind -> string
val extra_methods : string list -> string list
val expected_list_of_methods : Deftypes.kind -> string list
val print_concrete_type : Format.formatter -> Obc.type_expression -> unit
val ptype : Format.formatter -> Deftypes.typ -> 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_call : Format.formatter -> Obc.method_call -> unit

Print the call to a method

val var : 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 letvar : Format.formatter -> Zident.t -> Obc.is_mutable -> 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 match_handler : Format.formatter -> Obc.inst Obc.match_handler -> unit
val print_memory : Format.formatter -> Obc.mentry -> unit
val def_type_for_a_machine : Format.formatter -> string -> Obc.mentry list -> Obc.ientry list -> unit

Define the data-type for the internal state of a machine

val pmethod : string -> Format.formatter -> Obc.method_desc -> unit

Print the method as a function

val array_make : (Format.formatter -> 'a -> unit) -> 'a -> Format.formatter -> Obc.exp list -> unit
val array_of : Obc.exp option -> Deftypes.typ -> Format.formatter -> Obc.exp list -> unit
val print_initialize : Format.formatter -> Obc.inst option -> unit
val palloc : string -> Obc.inst option -> Obc.mentry list -> Format.formatter -> Obc.ientry list -> unit

Print the allocation function

val pcopy : string -> Obc.mentry list -> Format.formatter -> Obc.ientry list -> unit
val def_instance_function : Format.formatter -> Obc.ientry -> unit
val machine : string -> Format.formatter -> Obc.machine -> unit

and a collection of functions

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