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

md5=f4581fd209256823fa4d569ac96c8cee

sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

Sourcetype 'a visitAction =

| SkipChildren
(*
Do not visit the children. Return the node as it is.
*)
| DoChildren
(*
Continue with the children of this node. Rebuild the node on return if any of the children changes (use == test)
*)
| ChangeTo of 'a
(*
Replace the expression with the given one
*)
| ChangeDoChildrenPost of 'a * 'a -> 'a
(*
First consider that the entire exp is replaced by the first parameter. Then continue with the children. On return rebuild the node if any of the children has changed and then apply the function on the node
*)

Different visiting actions. 'a will be instantiated with expr, stmt, etc.

Sourceval doVisit : 'v -> 'a visitAction -> ('v -> 'a -> 'a) -> 'a -> 'a

Sourceval mapNoCopy : ('a -> 'a) -> 'a list -> 'a list

Sourceval mapNoCopyList : ('a -> 'a list) -> 'a list -> 'a list

Sourceval mapOptionNoCopy : ('a -> 'a) -> 'a option -> 'a option

val doVisitList : 
  'v ->
  'a list visitAction ->
  ('v -> 'a -> 'a) ->
  'a ->
  'a list