A | |
add [Data.Map] | |
add [Data.Enum] | Same as |
add [Server.Data.Map] | |
add [Server.Data.Enum] | Same as |
add [Map.S] |
|
add_seq [Map.S] | Add the given bindings to the map, in order. |
append [Jbuffer] | |
array [Kernel_ast.Functions] | |
array [Server.Kernel_ast.Functions] | |
B | |
bindings [Map.S] | Return the list of all bindings of the given map. |
bprintf [Jbuffer] | Prints into the buffer formatter. |
C | |
cardinal [Map.S] | Return the number of bindings of a map. |
chapter [Server_doc] | |
choose [Map.S] | Return one binding of the given map, or raise |
choose_opt [Map.S] | Return one binding of the given map, or |
clear [Data.Index] | Clear index tables. |
clear [Server.Data.Index] | Clear index tables. |
column [States] | Populate an array model with a new field. |
column [Server.States] | Populate an array model with a new field. |
compare [Map.S] | Total ordering between maps. |
contents [Jbuffer] | Flushes the buffer and returns its JSON enoding. |
create [Kernel_ast.Marker] | Memoized unique identifier. |
create [Main] | Run a server with the provided low-level network primitives to actually exchange data. |
create [Package.Scope] | |
create [Jbuffer] | Create a formatter with |
create [Server.Kernel_ast.Marker] | Memoized unique identifier. |
create [Server.Package.Scope] | |
D | |
data [Package.Derived] | |
data [Server.Package.Derived] | |
declare [Data] | Declare a new type and returns its alias. |
declare [Package.Scope] | Must _not_ be call after |
declare [Package] | Register the declaration in the Server API. |
declare [Server.Data] | Declare a new type and returns its alias. |
declare [Server.Package.Scope] | Must _not_ be call after |
declare [Server.Package] | Register the declaration in the Server API. |
declare_id [Package] | Same as |
declare_id [Server.Package] | Same as |
decode [Package.Derived] | |
decode [Server.Package.Derived] | |
default [Data.Record.S] | |
default [Server.Data.Record.S] | |
derived [Data] | Declare the derived names for the provided type. |
derived [Package] | |
derived [Server.Data] | Declare the derived names for the provided type. |
derived [Server.Package] | |
dictionary [Request] | Register a |
dictionary [Data.Enum] | Creates an opened, empty dictionary. |
dictionary [Server.Request] | Register a |
dictionary [Server.Data.Enum] | Creates an opened, empty dictionary. |
dump [Server_doc] | Dumps all published pages of documentations. |
E | |
emit [Request] | Emit the signal to the client. |
emit [Main] | Emit the server signal to the client. |
emit [Server.Request] | Emit the signal to the client. |
empty [Data.Map] | |
empty [Server.Data.Map] | |
empty [Map.S] | The empty map. |
equal [Map.S] |
|
exec [Main] | |
exists [Map.S] |
|
extends [Data.Enum] | Publish a new instance in the documentation. |
extends [Server.Data.Enum] | Publish a new instance in the documentation. |
F | |
failure [Data] | |
failure [Server.Data] | |
failure_from_type_error [Data] | |
failure_from_type_error [Server.Data] | |
fetch [Package.Derived] | |
fetch [Server.Package.Derived] | |
field [Data.Record] | Adds a field to an opened record. |
field [Package] | |
field [Server.Data.Record] | Adds a field to an opened record. |
field [Server.Package] | |
filter [Map.S] |
|
filter_map [Map.S] |
|
find [Main] | |
find [Data.Map] | |
find [Data.Index] | |
find [Data.Enum] | Returns the value associated to some tag. |
find [Server.Data.Map] | |
find [Server.Data.Index] | |
find [Server.Data.Enum] | Returns the value associated to some tag. |
find [Map.S] |
|
find_first [Map.S] |
|
find_first_opt [Map.S] |
|
find_last [Map.S] |
|
find_last_opt [Map.S] |
|
find_opt [Map.S] |
|
find_tag [Data.Enum] | Returns the tag from its name. |
find_tag [Server.Data.Enum] | Returns the tag from its name. |
flush [Jbuffer] | |
fold [Map.S] |
|
for_all [Map.S] |
|
format [Jbuffer] | All-in-one formatter. |
formatter [Jbuffer] | The underlying formatter of a buffer. |
fprintf [Jbuffer] | Prints back a JSON encoding into the provided formatter. |
G | |
get [Data.Index] | |
get [Data.Record.S] | |
get [Server.Data.Index] | |
get [Server.Data.Record.S] | |
get_range [Parameter_sig.Int] | What is the possible range of values for this parameter. |
getter [Package.Derived] | |
getter [Server.Package.Derived] | |
H | |
has [Data.Record.S] | |
has [Server.Data.Record.S] | |
has_relative_filepath [Server_parameters] | |
href [Server_doc] | |
I | |
id [Data.IdentifiedType] | |
id [Server.Data.IdentifiedType] | |
incr [Parameter_sig.Int] | Increment the integer. |
instance [Data.Enum] | Returns the tag for a value associated with the given prefix. |
instance [Server.Data.Enum] | Returns the tag for a value associated with the given prefix. |
isRecursive [Package] | |
isRecursive [Server.Package] | |
is_empty [Parameter_sig.Filepath] | Whether the Filepath is empty. |
is_empty [Map.S] | Test whether a map is empty or not. |
iter [Package] | |
iter [Map.S] |
|
iter [Server.Package] | |
J | |
jalist [Data] | |
jalist [Server.Data] | |
jalpha [Data] | |
jalpha [Server.Data] | |
jany [Data] | |
jany [Server.Data] | |
jarray [Data] | |
jarray [Server.Data] | |
jbool [Data] | |
jbool [Server.Data] | |
jdecl [Kernel_ast.Marker] | |
jdecl [Server.Kernel_ast.Marker] | |
jexpr [Kernel_ast.Marker] | |
jexpr [Server.Kernel_ast.Marker] | |
jfloat [Data] | |
jfloat [Server.Data] | |
jglobal [Kernel_ast.Marker] | |
jglobal [Server.Kernel_ast.Marker] | |
jindex [Data] | |
jindex [Server.Data] | |
jint [Data] | |
jint [Server.Data] | |
jkey [Data] | |
jkey [Server.Data] | |
jlist [Data] | |
jlist [Server.Data] | |
jlval [Kernel_ast.Marker] | |
jlval [Server.Kernel_ast.Marker] | |
joption [Data] | |
joption [Server.Data] | |
jproperty [Kernel_ast.Marker] | |
jproperty [Server.Kernel_ast.Marker] | |
jstmt [Kernel_ast.Marker] | |
jstmt [Server.Kernel_ast.Marker] | |
jstring [Data] | |
jstring [Server.Data] | |
jterm [Kernel_ast.Marker] | |
jterm [Server.Kernel_ast.Marker] | |
jtype [Request.Output] | |
jtype [Request.Input] | |
jtype [Data.S] | |
jtype [Server.Request.Output] | |
jtype [Server.Request.Input] | |
jtype [Server.Data.S] | |
junit [Data] | |
junit [Server.Data] | |
K | |
kill [Main] | Kill the currently running request by raising an exception. |
L | |
litteral [Package] | Quoted string |
litteral [Server.Package] | Quoted string |
lookup [Kernel_ast.Marker] | Get back the localizable, if any. |
lookup [Data.Enum] | Returns the tag associated to a value. |
lookup [Server.Kernel_ast.Marker] | Get back the localizable, if any. |
lookup [Server.Data.Enum] | Returns the tag associated to a value. |
loose [Package.Derived] | |
loose [Server.Package.Derived] | |
M | |
map [Map.S] |
|
mapi [Map.S] | Same as |
max_binding [Map.S] | Same as |
max_binding_opt [Map.S] | Same as |
md_fields [Package] | |
md_fields [Server.Package] | |
md_jtype [Package] | |
md_jtype [Server.Package] | |
md_tags [Package] | |
md_tags [Server.Package] | |
mem [Map.S] |
|
merge [Map.S] |
|
min_binding [Map.S] | Return the binding with the smallest key in a given map
(with respect to the |
min_binding_opt [Map.S] | Return the binding with the smallest key in the given map
(with respect to the |
model [States] | Creates an empty array model. |
model [Server.States] | Creates an empty array model. |
N | |
name [Data.Info] | |
name [Server.Data.Info] | |
name_of_ident [Package] | |
name_of_ident [Server.Package] | |
name_of_package [Package] | |
name_of_package [Server.Package] | |
name_of_pkg [Package] | |
name_of_pkg [Server.Package] | |
name_of_pkginfo [Package] | |
name_of_pkginfo [Server.Package] | |
O | |
of_json [Request.Input] | |
of_json [Data.S] | |
of_json [Server.Request.Input] | |
of_json [Server.Data.S] | |
of_seq [Map.S] | Build a map from the given bindings |
off [Parameter_sig.Bool] | Set the boolean to |
on [Main] | Register a callback to listen for server activity. |
on [Parameter_sig.Bool] | Set the boolean to |
on_signal [Request] | Callback invoked each time the client is starting or stopping to listen to the given signal. |
on_signal [Main] | Register a callback on signal listening. |
on_signal [Server.Request] | Callback invoked each time the client is starting or stopping to listen to the given signal. |
option [States] | Populate an array model with a new optional field. |
option [Data.Record] | Adds a optional field to an opened record. |
option [Server.States] | Populate an array model with a new optional field. |
option [Server.Data.Record] | Adds a optional field to an opened record. |
order [Package.Derived] | |
order [Server.Package.Derived] | |
P | |
package [Server_doc] | Publish a package. |
package [Package] | |
package [Server.Package] | |
page [Server_doc] | Obtain the given page in the server documentation. |
param [Request] | Named input parameter. |
param [Server.Request] | Named input parameter. |
param_opt [Request] | Named optional input parameter. |
param_opt [Server.Request] | Named optional input parameter. |
partition [Map.S] |
|
path [Server_doc] | |
pop_tag [Jbuffer] | |
pp_ident [Package] | |
pp_ident [Server.Package] | |
pp_jtype [Package] | |
pp_jtype [Server.Package] | |
pp_kind [Main] | |
pp_pkgname [Package] | |
pp_pkgname [Server.Package] | |
pp_plugin [Package] | |
pp_plugin [Server.Package] | |
prefix [Data.Enum] | Register a new prefix tag in the dictionary. |
prefix [Server.Data.Enum] | Register a new prefix tag in the dictionary. |
pretty [Data] | |
pretty [Server.Data] | |
protocole [Server_doc] | Publish a protocole. |
publish [Server_doc] | Adds a section in the corresponding page. |
publish [Data.Enum] | Publish the dictionary. |
publish [Data.Record] | Publish and close an opened record. |
publish [Server.Data.Enum] | Publish the dictionary. |
publish [Server.Data.Record] | Publish and close an opened record. |
push_tag [Jbuffer] | |
R | |
register [Request] | Register a simple request of type |
register [Main] | |
register [Server.Request] | Register a simple request of type |
register_array [States] | Register everything necessary to synchronize an array with
the client: Signal |
register_array [Server.States] | Register everything necessary to synchronize an array with
the client: Signal |
register_propkind [Kernel_properties] | Documentation of ACSL extensions for |
register_propkind [Server.Kernel_properties] | Documentation of ACSL extensions for |
register_sig [Request] | Register the request JSON processing function. |
register_sig [Server.Request] | Register the request JSON processing function. |
register_state [States] | Register a (projectified) state and generates the associated signal and
requests: Signal |
register_state [Server.States] | Register a (projectified) state and generates the associated signal and
requests: Signal |
register_value [States] | Register a (projectified) value and generates the associated signal and
request: Signal |
register_value [Server.States] | Register a (projectified) value and generates the associated signal and
request: Signal |
reload [Kernel_properties] | Trigger a full reload for the table of property status. |
reload [States] | Mark the array to be fully reloaded. |
reload [Package.Derived] | |
reload [Server.Kernel_properties] | Trigger a full reload for the table of property status. |
reload [Server.States] | Mark the array to be fully reloaded. |
reload [Server.Package.Derived] | |
remove [States] | Mark an array entry as removed. |
remove [Server.States] | Mark an array entry as removed. |
remove [Map.S] |
|
reserve [Package.Scope] | Must _not_ be call after |
reserve [Server.Package.Scope] | Must _not_ be call after |
resolve [Package.Scope] | |
resolve [Package] | Assigns non-classing names for each identifier. |
resolve [Server.Package.Scope] | |
resolve [Server.Package] | Assigns non-classing names for each identifier. |
result [Request] | Named output parameter. |
result [Server.Request] | Named output parameter. |
result_opt [Request] | Named optional output parameter. |
result_opt [Server.Request] | Named optional output parameter. |
run [Main] | Run the server forever. |
S | |
safe [Package.Derived] | |
safe [Server.Package.Derived] | |
set [Data.Record.S] | |
set [Server.Data.Record.S] | |
set_lookup [Data.Enum] | Set tagging function for values. |
set_lookup [Server.Data.Enum] | Set tagging function for values. |
set_range [Parameter_sig.Int] | Set what is the possible range of values for this parameter. |
setter [Package.Derived] | |
setter [Server.Package.Derived] | |
signal [States] | Get the signal associated with the array. |
signal [Request] | Register a server signal. |
signal [Main] | |
signal [Package.Derived] | |
signal [Server.States] | Get the signal associated with the array. |
signal [Server.Request] | Register a server signal. |
signal [Server.Package.Derived] | |
signature [Request] | Create an opened request signature. |
signature [Data.Record] | Create a new, opened record type. |
signature [Server.Request] | Create an opened request signature. |
signature [Server.Data.Record] | Create a new, opened record type. |
singleton [Map.S] |
|
split [Map.S] |
|
start [Main] | Start the server in background. |
stop [Main] | Stop the server if it is running in background. |
string_of_kind [Main] | |
T | |
tag [Data.Enum] | Register a new tag in the dictionary. |
tag [Server.Data.Enum] | Register a new tag in the dictionary. |
tag_name [Data.Enum] | |
tag_name [Server.Data.Enum] | |
tags [Data.Enum] | Obtain all the tags registered in the dictionary so far. |
tags [Server.Data.Enum] | Obtain all the tags registered in the dictionary so far. |
to_json [Request.Output] | |
to_json [Data.S] | |
to_json [Jbuffer] | All-in-one formatter. |
to_json [Server.Request.Output] | |
to_json [Server.Data.S] | |
to_seq [Map.S] | Iterate on the whole map, in ascending order of keys |
to_seq_from [Map.S] |
|
U | |
union [Map.S] |
|
update [States] | Mark an array entry as updated. |
update [Package] | Replace the declaration for the given name in the package. |
update [Server.States] | Mark an array entry as updated. |
update [Map.S] |
|
update [Server.Package] | Replace the declaration for the given name in the package. |
use [Package.Scope] | |
use [Server.Package.Scope] | |
V | |
visit_decl [Package] | |
visit_decl [Server.Package] | |
visit_dkind [Package] | |
visit_dkind [Server.Package] | |
visit_field [Package] | |
visit_field [Server.Package] | |
visit_jtype [Package] | |
visit_jtype [Server.Package] | |
visit_package_decl [Package] | |
visit_package_decl [Server.Package] | |
visit_package_used [Package] | |
visit_package_used [Server.Package] | |
visit_param [Package] | |
visit_param [Server.Package] | |
visit_request [Package] | |
visit_request [Server.Package] | |
W | |
with_unfold_precond [Printer_tag.S_pp] | |
wkind [Server_parameters] | Inconsistent category warning |
wname [Server_parameters] | Invalid name warning |
wpage [Server_parameters] | Inconsistent page warning |