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

(Raw) Abstract syntax tree of source Lustre V6 programs.

This is a syntax tree represented by Hash tables.

type 'a error =

| Ok of 'a
| Error of string

Constructeur de type "avec erreur info"

type t =

| PRPackBody of string list * packbody
| PRPack_or_models of string list * pack_or_model list

and pack_or_model =

| NSPack of pack_info Lxm.srcflagged
| NSModel of model_info Lxm.srcflagged

and model_info = {

mo_name : Lv6Id.pack_name;
mo_uses : Lv6Id.pack_name Lxm.srcflagged list;
mo_needs : AstCore.static_param Lxm.srcflagged list;
mo_provides : AstCore.item_info Lxm.srcflagged list option;
mo_body : packbody;

}

and pack_info = {

pa_name : Lv6Id.pack_name;
pa_def : pack_def;

}

and pack_def =

| PackGiven of pack_given
| PackInstance of pack_instance

and pack_given = {

pg_uses : Lv6Id.pack_name Lxm.srcflagged list;
pg_provides : AstCore.item_info Lxm.srcflagged list option;
pg_body : packbody;

}

and pack_instance = {

pi_model : Lv6Id.t;
pi_args : (Lv6Id.t * AstCore.static_arg Lxm.srcflagged) list;

}

and packbody = {

pk_const_table : (Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t;
pk_type_table : (Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t;
pk_node_table : (Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t;
pk_def_list : AstCore.item_ident list;

}

val give_pack_this_name : Lv6Id.pack_name -> packbody -> pack_info

val make_packbody : 
  (Lv6Id.t, AstCore.const_info Lxm.srcflagged) Hashtbl.t ->
  (Lv6Id.t, AstCore.type_info Lxm.srcflagged) Hashtbl.t ->
  (Lv6Id.t, AstCore.node_info Lxm.srcflagged) Hashtbl.t ->
  AstCore.item_ident list ->
  packbody

val lexeme_of_left_part : AstCore.left_part -> Lxm.t

val pack_or_model_to_string : pack_or_model -> string