package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

package lustre-v6

lustre-v6
- Action
- ActionsDeps
- Ast2lic
- AstCore
- AstInstanciateModel
- AstPredef
- AstRecognizePredef
- AstTab
- AstTabSymbol
- AstV6
- AstV6Dump
- Dbg
- EvalClock
- EvalConst
- EvalType
- FilenameExtras
- FreshName
- IdSolver
- L2lCheckCKeyWord
- L2lCheckKcgKeyWord
- L2lCheckLoops
- L2lCheckMemSafe
- L2lCheckOutputs
- L2lExpandArrays
- L2lExpandEnum
- L2lExpandMetaOp
- L2lExpandNodes
- L2lNoWhenNot
- L2lOptimIte
- L2lRemoveAlias
- L2lRmPoly
- L2lSplit
- L2lWhenOnId
- Lic
  - TopoSortVarInfo
- Lic2soc
- LicDump
- LicEvalClock
- LicEvalConst
- LicEvalType
- LicMetaOp
- LicPrg
- LicTab
- Lv6Compile
- Lv6Id
- Lv6MainArgs
- Lv6Misc
- Lv6Run
- Lv6Verbose
- Lv6errors
- Lv6lexer
- Lv6parser
- Lv6parserUtils
- Lv6util
- Lv6version
- Lxm
- Soc
  - SocMap
- Soc2c
- Soc2cDep
- Soc2cExtern
- Soc2cGenAssign
- Soc2cHeap
- Soc2cIdent
- Soc2cInstances
- Soc2cPredef
- Soc2cStack
- Soc2cUtil
- SocExec
- SocExecDbg
- SocExecEvalPredef
- SocExecValue
- SocPredef
- SocPredef2cHeap
- SocPredef2cStack
- SocUtils
- SocVar
- SortActions
- SortActionsExpe
- TopoSort
  - Make
    
    PO
  - PartialOrder
  - S
- UnifyClock
- UnifyType

Legend:
Library
Module
Module type
Parameter
Class
Class type

Utilities for managing node environements (items tables)

type t = {

id2const : Lv6Id.idref -> Lxm.t -> Lic.const;
id2type : Lv6Id.idref -> Lxm.t -> Lic.type_;
id2node : Lv6Id.idref -> Lic.static_arg list -> Lxm.t -> Lic.node_exp;
id2var : Lv6Id.t -> Lxm.t -> Lic.var_info;
global_symbols : AstTabSymbol.t;
all_srcs : AstTab.t;

}

type local_env = {

lenv_node_key : Lic.node_key;
lenv_types : (Lv6Id.t, Lic.type_) Hashtbl.t;
lenv_const : (Lv6Id.t, Lic.const) Hashtbl.t;
lenv_nodes : (Lv6Id.t, Lic.node_key) Hashtbl.t;
lenv_vars : (Lv6Id.t, Lic.var_info) Hashtbl.t;

}

val make_local_env : Lic.node_key -> local_env

val dump_local_env : out_channel -> local_env -> unit

type node_env = {

local : local_env;
global : t;

}

val lookup_type : local_env -> Lv6Id.idref -> Lxm.t -> Lic.type_

val lookup_node : local_env -> Lv6Id.idref -> Lxm.t -> Lic.node_key

val lookup_const : local_env -> Lv6Id.idref -> Lxm.t -> Lic.const

val lookup_var : local_env -> Lv6Id.t -> Lxm.t -> Lic.var_info

val node_exp_of_node_key : t -> Lic.node_key -> Lxm.t -> Lic.node_exp

val var_info_of_ident : t -> Lv6Id.t -> Lxm.t -> Lic.var_info

val const_eff_of_item_key : t -> Lic.item_key -> Lxm.t -> Lic.const