package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

A toolset for describing and simulating StateChart-like state diagrams

Install

Dune Dependency

localhost Readme Changelog Edit opam file Versions (7)

Authors

J

Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

J

Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

rfsm-v1.6-alpha-3.tbz

sha256=eb9583d2a7e354f00f4e0f6b2ea34f2825c92a15a21b708e03fa72c570104ab6

sha512=baff3194770f85efc55e813bbf5e515e1d0d4fae44c492fc6c15ba4834cc41fae5ecb842de1b1fdea10bafe19b4b72320b829d862aeefc6d58845270d8b3088f

doc/rfsm/Rfsm/Typing/index.html

Module `Rfsm.Typing`Source

Typing

Sourcetype tenv = {

te_vars : (string * Types.typ) list;
te_ctors : (string * Types.typ) list;
te_rfields : (string * Types.typ) list;
te_defns : (string * Types.typ) list;
te_prims : (string * Types.typ_scheme) list;

}

Sourceval builtin_tenv : tenv

Exceptions

Sourceexception Undef_symbol of string * string * string

where, what, name

Sourceexception Type_error of Expr.t * Types.typ * Types.typ

where, what, name

Sourceexception Typing_error of string * string * Types.typ * Types.typ

what, where, type, type

Sourceexception Illegal_cast of Expr.t

what, where, type, type

Sourceexception Unbound_type_ctor of string

Sourceexception Invalid_record_access of Expr.t

Typing

Sourceval type_of_type_expr : tenv -> Type_expr.t -> Types.typ

type_expression env te returns the type represented by type expression te in environment env

Sourceval type_expression : tenv -> Expr.t -> Types.typ

type_expression env e returns the type of expression e in environment env, performing all required type checks.

Sourceval type_check_stim : tenv -> string -> Types.typ -> Global.stim_desc -> unit

type_stimuli env id ty sd type checks an input stimuli description sd against type ty

Sourceval type_fsm_model : tenv -> Fsm.model -> unit

type_fsm_model env m type checks an FSM model in environment env

Sourceval type_fsm_inst : tenv -> Fsm.inst -> unit

type_fsm_inst env f type checks an FSM instance f in environment env.

Printers

Sourceval dump_tenv : out_channel -> tenv -> unit

On This Page

Exceptions
Typing
Printers

package rfsm

Install

Dune Dependency

Authors

Maintainers

Sources

doc/rfsm/Rfsm/Typing/index.html

Module Rfsm.TypingSource

Exceptions

Typing

Printers

Module `Rfsm.Typing`Source