Module `Repl.Frontend`Source

Read-eval-print-loop interactive frontend. Borrows the syntax and semantics from universal.

Interpreter state

*********************

Sourcetype ctx = {

ctx_var : Universal.Frontend.var_context;
ctx_fun : Universal.Frontend.fun_context;

}

Sourceval init_ctx : unit -> ctx

Parsing

***********

Sourceval range_of_string : ?org:int -> string -> Mopsa.range

Source

val parse_string : 
  ?org:int ->
  ((Stdlib.Lexing.lexbuf -> Mopsa_universal_parser.U_parser.token) ->
    Stdlib.Lexing.lexbuf ->
    'a) ->
  string ->
  'a

Helper to parse a string using a menhir parser entry point.

Sourceval parse_expr : ?org:int -> ctx -> string -> Mopsa.expr

Parse an expression.

Sourceval parse_stmt : ?org:int -> ctx -> string -> Mopsa.stmt

Parse a statement.

Source

val parse_vardec : 
  ?org:int ->
  ctx ->
  string ->
  ctx * Mopsa.stmt list * Mopsa.var list

Parse a variable declaration.

Sourceval parse_fundec : ?org:int -> ctx -> string -> ctx * Universal.Ast.fundec

Parse a function declaration.

Sourceval parse_var : ?org:int -> ctx -> string -> Mopsa.var

Parse a variable.

Sourcetype input_class =

| VarDecl
| FunDecl
| Stmt

Sourceval vardecl_str : Str.regexp

Sourceval fundecl_str : Str.regexp

Sourceval classify_input : string -> input_class

Try to guess the nature of the input.

Printing

************

Sourceval eol : Str.regexp

Sourceval print_highlight : string -> Mopsa.range -> unit

Prints a string with some locations highlighted.

Main loop

*************

Sourceval spaces : Str.regexp

Sourceval repl_ctx : Mopsa.LineEdit.ctx

Sourceval prompt : string

Sourceval col_reset : string

Sourceval col_error : string

Sourceval col_out : string

Sourceval pf : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

Sourceval print_usage : unit -> unit

Source

val repl_loop : 
  ctx ->
  ('a, 'b) Core.Manager.man ->
  'a Core.Flow.flow ->
  'a Core.Flow.flow

Source

val enter_repl : 
  ('a, 'b) Core.Manager.man ->
  'a Core.Flow.flow ->
  'a Core.Flow.flow

Main loop.

Interactive "program"

Sourcetype Mopsa.prog_kind +=

| P_REPL

Sourceval parse_program : 'a list -> Mopsa.program

Ignore files and return the constant P_REPL program.

Sourcemodule Domain : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/repl/Repl/Frontend/index.html

Module `Repl.Frontend`Source

Interpreter state

Parsing

Printing

Main loop

Interactive "program"

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/repl/Repl/Frontend/index.html

Module Repl.FrontendSource

Interpreter state

Parsing

Printing

Main loop

Interactive "program"

Module `Repl.Frontend`Source