package morbig

You can search for identifiers within the package.

in-package search v0.2.0

package morbig

morbig
- Morbig
  - Aliases
  - Assignment
  - CST
  - CSTHelpers
  - CSTSerializers
  - CSTVisitors
  - Debug
  - Engine
    
    Lexer
    
    U
  - Errors
  - ExtMenhirLib
  - HereDocument
    
    Lexer
    
    U
  - JsonHelpers
  - Keyword
  - Name
  - Nesting
  - Options
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Prelexer
  - PrelexerState
    
    AtomBuffer
  - Pretoken
  - Pretokenizer
  - QuoteRemoval
  - RecursiveParser
  - Scripts
  - Token

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

Type for a table of active aliases.

type aliases = t

val empty : t

empty is an empty alias table.

val interpret : t -> CST.complete_command -> t

interpret aliases cst traverses cst to check that there are no alias or unalias invocations in a nested command (that is, a compound command, or a function definition). These are allowed in POSIX, but we have to refuse them as they cannot be expanded statically.

if this is the case then it returns an alias table which is obtained from aliases by executing all alias and unalias invocations in cst;
if this is not the case then it raises Errors.DuringAliasing.

val alias_substitution : 
  t ->
  'a Parser.MenhirInterpreter.checkpoint ->
  string ->
  t * string

alias_substitution aliases checkpoint word substitutes an alias by its definition if word is not a reserved word and if the parsing context is about to reduce a cmd_name.