tiny_languages.pascal
Pdebug
tiny_languages.basic
tiny_languages.formula
tiny_languages.hypertalk
tiny_languages.javascript
tiny_languages.lang_asm
tiny_languages.lang_c
tiny_languages.lang_css
tiny_languages.lang_html
tiny_languages.lang_json
tiny_languages.lang_jsonnet
tiny_languages.lang_ocaml
tiny_languages.lisp
tiny_languages.postscript
tiny_languages.scheme
tiny_languages.scratch
tiny_languages.sexpr
tiny_languages.smalltalk
val procedure_at : Pcode.program -> int -> int
val line : Pcode.program -> Pmachine.machine -> int
type frame = {
procedure : int;
base : int;
static_link : int;
dynamic_link : int;
return_address : int;
}
val frames : Pcode.program -> Pmachine.machine -> frame list
val call : Pcode.program -> Pmachine.machine -> frame -> string
val watch : Pcode.program -> Pmachine.machine -> string -> string
type step =
| Trace_into
| Step_over
| To_line of int
| Continue of int list
val pause_for : Pcode.program -> step -> Pmachine.machine -> Pmachine.machine -> bool