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
- Soc2yaml
- SocExec
- SocExecDbg
- SocExecEvalPredef
- SocExecValue
- SocNameC
- SocPredef
- SocPredef2cHeap
- SocPredef2cStack
- SocUtils
- SocVar
- SortActions
- SortActionsExpe
- TopoSort
  - Make
    
    PO
  - PartialOrder
  - S
- UnifyClock
- UnifyType

Legend:
Library
Module
Module type
Parameter
Class
Class type

Synchronous Object Components

The very last data structure. Soc.t is meant to be pretty-printed to generate, for instance, C code. It can also be interpreted (cf SocExec)

type ident = string

ident are just strings because:

it's more ocamldebug-friendly
Name clashing issues ougth to have been fixed before

type var = ident * Data.t

type var_expr =

| Var of var
| Const of var
| Field of var_expr * ident * Data.t
| Index of var_expr * int * Data.t
| Slice of var_expr * int * int * int * int * Data.t

type key_opt =

| Nomore
| Slic of int * int * int
| MemInit of var_expr
| Curr of Lv6Id.long

type key = ident * Data.t list * key_opt

type instance = ident * key

val data_type_of_var_expr : var_expr -> Data.t

type atomic_operation =

| Assign
| Method of instance * ident
| Procedure of key

type gao =

| Case of ident * (ident * gao list) list * Lxm.t
| Call of var_expr list * atomic_operation * var_expr list * Lxm.t

type step_impl =

| Predef
| Gaol of var list * gao list
| Iterator of string * key * int
| Boolred of int * int * int
| Condact of key * var_expr list
| Extern

nb: Iterator and Boolred are removed with lv6 --expand-iterators

type step_method = {

name : ident;
lxm : Lxm.t;
idx_ins : int list;
idx_outs : int list;
impl : step_impl;

}

type precedence = ident * ident list

type memory =

| No_mem
| Mem of Data.t
| Mem_hidden

type t = {

key : key;
profile : var list * var list;
clock_profile : (var * (var * Lv6Id.long)) list;
step : step_method list;
precedences : precedence list;
instances : instance list;
memory : memory;
assertions : (Lxm.t * var) list;

}

module SocMap : sig ... end

type tbl = t SocMap.t

val cpt : int ref

val make : key -> instance