package asli

You can search for identifiers within the package.

in-package search v0.2.0

Interpreter for Arm's Architecture Specification Language (ASL)

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

A

Alastair Reid

Maintainers

A

Alastair Reid <alastair.d.reid@gmail.com>

Sources

0.2.0.tar.gz

md5=f4581fd209256823fa4d569ac96c8cee

sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

doc/asli.libASL/LibASL/Asl_utils/class-substClass/index.html

Class `Asl_utils.substClass`Source

Performing variable substitutions in expressions and types

Note that it does not replace type constructors, global constants or enumerations in patterns, array indexes and types so this is limited to replacing local variables. It also does not replace variables used as l-expressions though that it easily changed if we think it should.

inherit LibASL.Asl_visitor.nopAslVisitor

method vexpr : LibASL.Asl_ast.expr ->
  LibASL.Asl_ast.expr LibASL.Visitor.visitAction