Module `LibASL.Asl_visitor`Source

ASL visitor class

For each datatype in the ASL AST, a visitor defines what actions it wants to perform on values of that type.

Sourceclass type aslVisitor = object ... end

ASL visitor functions

The following set of recursive functions are the ASL specific part of the visitor class. For each data constructor of each datatype, they invoke visitors on each field of the data constructor and then reconstruct the corresponding data constructor.

These functions implement the space-saving optimisation of only reconstructing the constructor if the sub-values are different.

Sourceval visit_exprs : aslVisitor -> Asl_ast.expr list -> Asl_ast.expr list

Sourceval visit_var : aslVisitor -> Asl_ast.ident -> Asl_ast.ident

Sourceval visit_lvar : aslVisitor -> Asl_ast.ident -> Asl_ast.ident

Sourceval visit_e_elsif : aslVisitor -> Asl_ast.e_elsif -> Asl_ast.e_elsif

Sourceval visit_slice : aslVisitor -> Asl_ast.slice -> Asl_ast.slice

Sourceval visit_patterns : aslVisitor -> Asl_ast.pattern list -> Asl_ast.pattern list

Sourceval visit_pattern : aslVisitor -> Asl_ast.pattern -> Asl_ast.pattern

Sourceval visit_expr : aslVisitor -> Asl_ast.expr -> Asl_ast.expr

Sourceval visit_types : aslVisitor -> Asl_ast.ty list -> Asl_ast.ty list

Sourceval visit_type : aslVisitor -> Asl_ast.ty -> Asl_ast.ty

Sourceval visit_lexprs : aslVisitor -> Asl_ast.lexpr list -> Asl_ast.lexpr list

Sourceval visit_lexpr : aslVisitor -> Asl_ast.lexpr -> Asl_ast.lexpr

Source

val with_locals : 
  (Asl_ast.ty * Asl_ast.ident) list ->
  aslVisitor ->
  (aslVisitor -> 'a) ->
  'a

Sourceval visit_stmts : aslVisitor -> Asl_ast.stmt list -> Asl_ast.stmt list

Sourceval visit_stmt : aslVisitor -> Asl_ast.stmt -> Asl_ast.stmt

Sourceval visit_s_elsif : aslVisitor -> Asl_ast.s_elsif -> Asl_ast.s_elsif

Sourceval visit_alt : aslVisitor -> Asl_ast.alt -> Asl_ast.alt

Sourceval visit_catcher : aslVisitor -> Asl_ast.catcher -> Asl_ast.catcher

Sourceval visit_mapfield : aslVisitor -> Asl_ast.mapfield -> Asl_ast.mapfield

Sourceval visit_sformal : aslVisitor -> Asl_ast.sformal -> Asl_ast.sformal

Source

val visit_dpattern : 
  aslVisitor ->
  Asl_ast.decode_pattern ->
  Asl_ast.decode_pattern

Sourceval visit_encoding : aslVisitor -> Asl_ast.encoding -> Asl_ast.encoding

Source

val visit_decode_case : 
  aslVisitor ->
  Asl_ast.decode_case ->
  Asl_ast.decode_case

Sourceval visit_decode_alt : aslVisitor -> Asl_ast.decode_alt -> Asl_ast.decode_alt

Source

val visit_decode_body : 
  aslVisitor ->
  Asl_ast.decode_body ->
  Asl_ast.decode_body

Source

val visit_arg : 
  aslVisitor ->
  (Asl_ast.ty * Asl_ast.ident) ->
  Asl_ast.ty * Asl_ast.ident

Source

val visit_args : 
  aslVisitor ->
  (Asl_ast.ty * Asl_ast.ident) list ->
  (Asl_ast.ty * Asl_ast.ident) list

Sourceval arg_of_sformal : Asl_ast.sformal -> Asl_ast.ty * Asl_ast.ident

Sourceval arg_of_ifield : Asl_ast.instr_field -> Asl_ast.ty * Asl_ast.ident

Sourceval args_of_encoding : Asl_ast.encoding -> (Asl_ast.ty * Asl_ast.ident) list

Sourceval visit_decl : aslVisitor -> Asl_ast.declaration -> Asl_ast.declaration

nopAslVisitor class

The nopAslVisitor class defines a visitor that recursively visits the entire tree making no change. In practice, all uses of the visitor framework are based on defining a subclass of this type.

Sourceclass nopAslVisitor : aslVisitor

Install

Dune Dependency

Authors

Maintainers

Sources

doc/asli.libASL/LibASL/Asl_visitor/index.html

Module `LibASL.Asl_visitor`Source

ASL visitor class

ASL visitor functions

nopAslVisitor class

package asli

Install

Dune Dependency

Authors

Maintainers

Sources

doc/asli.libASL/LibASL/Asl_visitor/index.html

Module LibASL.Asl_visitorSource

ASL visitor class

ASL visitor functions

nopAslVisitor class

Module `LibASL.Asl_visitor`Source