package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

lustre-v6
- Library 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
    
    PartialOrder
    
    S
    
    Make
  - UnifyClock
  - UnifyType
- Sources
  - lustre-v6
    
    action.ml
    
    actionsDeps.ml
    
    ast2lic.ml
    
    astCore.ml
    
    astInstanciateModel.ml
    
    astPredef.ml
    
    astRecognizePredef.ml
    
    astTab.ml
    
    astTabSymbol.ml
    
    astV6.ml
    
    astV6Dump.ml
    
    dbg.ml
    
    evalClock.ml
    
    evalConst.ml
    
    evalType.ml
    
    filenameExtras.ml
    
    freshName.ml
    
    idSolver.ml
    
    l2lCheckCKeyWord.ml
    
    l2lCheckKcgKeyWord.ml
    
    l2lCheckLoops.ml
    
    l2lCheckMemSafe.ml
    
    l2lCheckOutputs.ml
    
    l2lExpandArrays.ml
    
    l2lExpandEnum.ml
    
    l2lExpandMetaOp.ml
    
    l2lExpandNodes.ml
    
    l2lNoWhenNot.ml
    
    l2lOptimIte.ml
    
    l2lRemoveAlias.ml
    
    l2lRmPoly.ml
    
    l2lSplit.ml
    
    l2lWhenOnId.ml
    
    lic.ml
    
    lic2soc.ml
    
    licDump.ml
    
    licEvalClock.ml
    
    licEvalConst.ml
    
    licEvalType.ml
    
    licMetaOp.ml
    
    licPrg.ml
    
    licTab.ml
    
    lv6Compile.ml
    
    lv6Id.ml
    
    lv6MainArgs.ml
    
    lv6Misc.ml
    
    lv6Run.ml
    
    lv6Verbose.ml
    
    lv6errors.ml
    
    lv6lexer.ml
    
    lv6parser.ml
    
    lv6parserUtils.ml
    
    lv6util.ml
    
    lv6version.ml
    
    lxm.ml
    
    soc.ml
    
    soc2c.ml
    
    soc2cDep.ml
    
    soc2cExtern.ml
    
    soc2cGenAssign.ml
    
    soc2cHeap.ml
    
    soc2cIdent.ml
    
    soc2cInstances.ml
    
    soc2cPredef.ml
    
    soc2cStack.ml
    
    soc2cUtil.ml
    
    soc2yaml.ml
    
    socExec.ml
    
    socExecDbg.ml
    
    socExecEvalPredef.ml
    
    socExecValue.ml
    
    socNameC.ml
    
    socPredef.ml
    
    socPredef2cHeap.ml
    
    socPredef2cStack.ml
    
    socUtils.ml
    
    socVar.ml
    
    sortActions.ml
    
    sortActionsExpe.ml
    
    topoSort.ml
    
    unifyClock.ml
    
    unifyType.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `L2lCheckOutputs`Source

Check that each output and each local variable is defined at most and at least once. Also check that one does not try to define an input.

Sourceval check_node : Lic.node_exp -> unit

Sourceval doit : LicPrg.t -> unit

package lustre-v6

Module L2lCheckOutputsSource

Module `L2lCheckOutputs`Source