package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

rdbg-plugin
- Data
- Event
- Expr
- LocalGenlex
- OcamlRM
- OcamlRun
- RdbgPlugin
- RifIO
rdbg-plugin.rdbg
- Coverage
- ExtTool
- GnuplotRif
- Luciole
- LucioleRun
- LutinRdbg
- Mypervasives
  - StringMap
- RdbgArg
- RdbgMain
- RdbgMisc
- RdbgRun
- RdbgStdLib
- StdioRun
- Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

RIF (Reactive Input Format) utilities

val read_interface : 
  ?debug:bool ->
  ?label:string ->
  Pervasives.in_channel ->
  Pervasives.out_channel option ->
  Data.vntl * Data.vntl

read_interface label ic oc_opt reads the IO names and types on ic. The string read on ic should looks like : #inputs v1:t1 v2:t2 ... #outputs x1:tx1 ... #step

label is a string used in debug mode to hint who is calling.

exception Bye

val read : 
  ?debug:bool ->
  ?label:string ->
  ?pragma:string list ->
  Pervasives.in_channel ->
  Pervasives.out_channel option ->
  Data.vntl ->
  Data.subst list

Reads the input values. raises Bye if a line equal to "q" is read.

val write : Pervasives.out_channel -> string -> unit

val write_outputs : 
  Pervasives.out_channel ->
  (float -> string) ->
  Data.vntl ->
  Data.subst list ->
  unit

write_outputs oc float_to_string outputs writes the outputs

val write_interface : 
  Pervasives.out_channel ->
  Data.vntl ->
  Data.vntl ->
  Data.vntl option ->
  Data.vntl list option ->
  unit

write_interface oc in_vars_ out_vars loc_vars oracle_vars writes the input and output var names and types

val flush : Pervasives.out_channel -> unit