package rfsm

  1. Overview
  2. Docs
On This Page
  1. SystemC backend

Module type Guest.SYSTEMCSource

SystemC backend

module Static : STATIC
module Syntax : SYNTAX
type value
val pp_typed_symbol : Format.formatter -> (Ident.t * Syntax.type_expr) -> unit

pp_typed_symbol fmt (id,ty) should print, on formatter fmt, the SystemC declaration of symbol id with type ty.

val pp_type_expr : Format.formatter -> Syntax.type_expr -> unit

pp_type_expr fmt te should print, on formatter fmt, the SystemC type corresponding to type expression te.

val pp_type_decl : Format.formatter -> Syntax.type_decl -> unit
val pp_type_impl : Format.formatter -> Syntax.type_decl -> unit

pp_type_decl fmt td (resp. pp_type_impl fmt td) should print, on formatter fmt, the SystemC declaration and implementation (in the .h and .cpp file resp.) corresponding to type declaration td.

val pp_expr : Format.formatter -> Syntax.expr -> unit

pp_expr fmt e should print, on formatter fmt, the SystemC expression corresponding to expression e.

val pp_typ : Format.formatter -> Syntax.Types.typ -> unit

pp_typ fmt ty should print, on formatter fmt, the SystemC type corresponding to type ty.

val pp_lval : Format.formatter -> Syntax.lval -> unit

pp_lval fmt l should print, on formatter fmt, the SystemC representation of l-value l.

val pp_value : Format.formatter -> value -> unit

pp_value fmt v should print, on formatter fmt, the SystemC value corresponding to value v.