Module `Scripting.Environment`Source

Sourcemodule AcgEnv = AcgData.Environment.Environment

Sourcemodule AcgSig = AcgData.Signature.Data_Signature

Sourcemodule AcgLex = AcgData.Acg_lexicon.Data_Lexicon

Sourcetype sig_ref =

| Real_sig of AcgSig.t
| Arg_sig of int

Sourcetype var =

| Bool of bool * UtilsLib.Error.pos
| Int of int * UtilsLib.Error.pos
| Sig of AcgSig.t * UtilsLib.Error.pos
| Lex of AcgLex.t * UtilsLib.Error.pos
| Entry of AcgEnv.entry * UtilsLib.Error.pos
| LexList of AcgLex.t list * UtilsLib.Error.pos
| String of string * UtilsLib.Error.pos
| StringList of string list * UtilsLib.Error.pos
| Type of Logic.Lambda.Lambda.stype * UtilsLib.Error.pos

Sourcetype completion_info =

| Ci_Path
| Ci_Fun
| Ci_List of string list
| Ci_None

Sourcetype var_type =

| T_Bool
| T_Int
| T_Sig
| T_Lex
| T_Entry
| T_LexList
| T_String of completion_info
| T_StringList of completion_info
| T_Type of sig_ref

Sourcetype var_arg =

| Bool_a of bool * UtilsLib.Error.pos
| Int_a of int * UtilsLib.Error.pos
| Sig_a of AcgSig.t * UtilsLib.Error.pos
| Lex_a of AcgLex.t * UtilsLib.Error.pos
| Entry_a of AcgEnv.entry * UtilsLib.Error.pos
| LexList_a of AcgLex.t list * UtilsLib.Error.pos
| String_a of string * UtilsLib.Error.pos
| StringList_a of string list * UtilsLib.Error.pos
| Type_a of Logic.Lambda.Lambda.stype * UtilsLib.Error.pos
| Argument_a of int * var_type * UtilsLib.Error.pos

Sourcetype var_temp =

| Bool_t of bool * UtilsLib.Error.pos
| Int_t of int * UtilsLib.Error.pos
| Sig_t of AcgSig.t * UtilsLib.Error.pos
| Lex_t of AcgLex.t * UtilsLib.Error.pos
| Entry_t of AcgEnv.entry * UtilsLib.Error.pos
| LexList_t of AcgLex.t list * UtilsLib.Error.pos
| String_t of string * UtilsLib.Error.pos
| StringList_t of string list * UtilsLib.Error.pos
| Type_t_s of sig_ref * string * UtilsLib.Error.pos
| Type_t_r of Logic.Lambda.Lambda.stype * UtilsLib.Error.pos
| Argument_t of int * var_type * UtilsLib.Error.pos

Sourcetype var_spec =

| Bool_s of bool option
| Int_s of int option
| Sig_s of AcgSig.t option
| Lex_s of AcgLex.t option
| Entry_s of AcgEnv.entry option
| LexList_s of AcgLex.t list option
| String_s of string option * completion_info
| StringList_s of string list option * completion_info
| Type_s of sig_ref * Logic.Lambda.Lambda.stype option

Sourcetype vlist_type =

| StringList_lt
| IdList_lt

Sourcetype vlist_elem =

| Vl_elem of string * UtilsLib.Error.pos
| Completion_list_val

Sourcetype arg_parse =

| Int_p of int * UtilsLib.Error.pos
| Id_p of string * UtilsLib.Error.pos
| Data_p of string * UtilsLib.Error.pos
| Bool_p of bool * UtilsLib.Error.pos
| VList_p of vlist_elem list * UtilsLib.Error.pos
| StringList_p of vlist_elem list * UtilsLib.Error.pos
| Completion_val

Sourcetype var_type_parse =

| T_Bool_p of UtilsLib.Error.pos
| T_Int_p of UtilsLib.Error.pos
| T_Sig_p of UtilsLib.Error.pos
| T_Lex_p of UtilsLib.Error.pos
| T_Entry_p of UtilsLib.Error.pos
| T_VListF_p of UtilsLib.Error.pos
| T_LexList_p of UtilsLib.Error.pos
| T_LexListF_p of UtilsLib.Error.pos
| T_StringList_p of UtilsLib.Error.pos * completion_info
| T_StringListF_p of UtilsLib.Error.pos * completion_info option
| T_String_p of UtilsLib.Error.pos * completion_info
| T_Type_p of sig_ref option * UtilsLib.Error.pos
| T_Id_p of UtilsLib.Error.pos
| T_Data_p of UtilsLib.Error.pos

Sourcetype arg_full =

| Arg of (string * UtilsLib.Error.pos) option * arg_parse
| Completion_name of var_type option * string * char

Source

type binding_list =
  ((string * UtilsLib.Error.pos) * var_type_parse option * bool) list

Sourcetype param = (string * UtilsLib.Error.pos) * arg_parse option

Sourcetype param_list = param list

Sourcetype func_type =

| All
| AtStart
| Generation
| Computation
| Consumption
| Special
| End

Sourcetype func =

| Generation_f of var list -> env -> Value.value
| Computation_f of var list -> env -> Value.value -> Value.value
| Consumption_f of var list -> env -> Value.value -> unit
| Special_f of var list -> env -> env

Sourceand func_spec = {

name : string;
help_text : string;
args : (string * var_spec) list;
f : func;

}

Sourceand env = {

config : Config.config;
acg_env : AcgEnv.t;
functions : func_spec list;
last_value : Value.value option;

}

Sourcetype completion =

| Compl_Fun_name of func_type
| Compl_Arg_name of string * string * char * var_type option * string list
| Compl_Arg_val of var_spec * string list
| Compl_None
| Compl_Custom of string list

Sourceexception Completion of completion

Source

val add_fun : 
  env ->
  string ->
  param_list ->
  UtilsLib.Error.pos ->
  UtilsLib.Error.pos ->
  (func_type ->
    binding_list ->
    env ->
    func_type
    * binding_list
    * (var list ->
    env ->
    Value.value option ->
    Value.value option * env)) ->
  env

Source

val call_fun : 
  string ->
  arg_full list ->
  UtilsLib.Error.pos ->
  UtilsLib.Error.pos ->
  func_type ->
  binding_list ->
  env ->
  func_type
  * binding_list
  * (var list ->
  env ->
  Value.value option ->
  Value.value option * env)

Sourceval doc_pp : Format.formatter -> func_spec list -> unit

This function is used to generate the documentation in odoc format. It uses the function specifications and the help texts defined in the module Functions.

Sourceval print_help : env -> string -> unit

Sourceval short_print : env -> unit

Sourcetype completion_element =

| Ce_String of string * string * char
| Ce_Path

Sourceval gen_completions : completion -> string -> env -> completion_element list

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.scripting/Scripting/Environment/index.html

Module `Scripting.Environment`Source

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.scripting/Scripting/Environment/index.html

Module Scripting.EnvironmentSource

Module `Scripting.Environment`Source