package oasis

You can search for identifiers within the package.

in-package search v0.2.0

package oasis

oasis
- FormatExt
- OASISBuildSection
- OASISContext
- OASISData
- OASISDataNotation
- OASISDocument
- OASISExec
- OASISExecutable
- OASISExpr
- OASISFeatures
  - Data
  - MapPlugin
- OASISFileSystem
  - closer
  - fs
  - host_fs
  - reader
  - writer
- OASISFileTemplate
- OASISFileUtil
- OASISFindlib
- OASISFlag
- OASISGettext
- OASISGraph
  - SetInt
- OASISHostPath
  - Map
- OASISLibrary
- OASISLicense
- OASISMessage
- OASISObject
- OASISPackage
- OASISParse
- OASISPlugin
  - Build
  - Configure
  - Doc
  - Extra
  - Install
  - MapPlugin
  - PLUGINS
  - SetPlugin
  - Test
- OASISSchema
- OASISSection
- OASISSetupUpdate
- OASISSourcePatterns
- OASISSourceRepository
- OASISString
- OASISTest
- OASISText
- OASISTypes
- OASISUnixPath
  - Set
- OASISUtils
  - HashStringCsl
  - MapExt
    
    Make
    
    Ord
    
    S
  - MapString
  - POSIXShell
  - SetExt
    
    Make
    
    Ord
    
    S
  - SetString
  - SetStringCsl
- OASISValues
- OASISVersion
  - StringVersion
- PropList
  - Data
  - Field
  - FieldRO
  - Schema
oasis.base
- BaseArgExt
- BaseBuilt
- BaseCheck
- BaseCompat
  - Compat_0_3
  - Compat_0_4
    
    BaseSetup
- BaseContext
- BaseCustom
- BaseData
- BaseDoc
- BaseDynVar
- BaseEnv
- BaseEnvLight
  - MapString
- BaseFileAB
- BaseGenerate
- BaseLog
- BaseMessage
- BaseOCamlcConfig
- BaseSetup
- BaseStandardVar
- BaseTest
oasis.builtin-plugins
oasis.cli
oasis.dynrun
- OASISDynRun
  - BaseSetup
plugin-loader
- PluginLoader
  - SetEntry
  - SetString
  - StringSet
  - foo

Legend:
Library
Module
Module type
Parameter
Class
Class type

Maintain a log of actions done

author Sylvain Le Gall

val default_filename : OASISContext.source_filename

Default file for registering log.

val load : ctxt:OASISContext.t -> unit -> (OASISTypes.name * string) list

Load the log file.

val register : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit

Add an event to the log file.

val unregister : ctxt:OASISContext.t -> OASISTypes.name -> string -> unit

Remove an event from the log file.

val filter : 
  ctxt:OASISContext.t ->
  OASISTypes.name list ->
  (OASISTypes.name * string) list

Filter events of the log file.

val exists : ctxt:OASISContext.t -> OASISTypes.name -> string -> bool

Check if an event exists in the log file.