package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
All new identifier names ougth to be created via this module.
To be called just after the parsing (to make sure that fresh var names won't clash with user idents. )
Indeed, during the parsing, we collect the set of forbidden id that we (somehow) transmit to the fresh id generator below.
val node_key : Lic.node_key -> string -> stringnode_key nk returns a fresh node ident.
The idea is the following: the caller propose a name to map the node key. But since that name may clash, we sometimes need to work a little bit more. This is the purpose of that function.
nb : for a node key, it will always return the same string (which means that name migth be ignored).
Dealing with fresh local (to the node) variable idents
val var_info : string -> Lic.type_ -> Lic.id_clock -> Lic.var_infoReturns a fresh local var_info
val array_type : Lic.type_ -> string -> string