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

Gathers all entities (functions, types) that implement the heap-based C generator.

val is_soc_output : Soc.var_expr -> Soc.t -> bool

val gen_assign : Data.t -> string -> string -> string

gen_assign t vi vo size generated the C code that assign vo to vi, using memcpy or = depending on the type t

val gen_assign_var_expr : Soc.t -> Soc.var_expr -> Soc.var_expr -> string

ditto

val step_name : Soc.key -> string -> string

Generates the C step name from the soc key and the soc step name

val get_step_prototype : Soc.step_method -> Soc.t -> string * string * string

Returns the prototype (.c) and the decl (.h) of the step function. For the stack based approach, we need to arg I/O params.

val string_of_var_expr : Soc.t -> Soc.var_expr -> string

val ctx_var : Soc2cUtil.var_kind -> Soc.t -> Lv6Id.t -> string

gen_step_call soc called_soc vel_out vel_in ctx sname step_arg Generates the C code that performs the call to a step method of called_soc from soc.

vel_out and vel_in are the called_soc O/I arguments
ctx is the C name of the context of the called_soc
sname is the C name of the step to call
step_arg is a string holding the arg of the step (empty for proc call)

val gen_step_call : 
  Soc.t ->
  Soc.t ->
  Soc.var_expr list ->
  Soc.var_expr list ->
  string ->
  string ->
  string ->
  string

val inlined_soc : Soc.key -> bool

val typedef_of_soc : Soc.t -> string