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-project

Dependency

md5=f4581fd209256823fa4d569ac96c8cee

sha512=fd4a74294beb9eeeafa80c9224b5dc30f5e5ebde4d53fa601929d283b6ca72154de313874321774914f738ac6f0d640e59452f7d03cb1db7b3a019b48b82e0d4

Sourcetype t

Sourceval mkEnv : GlobalEnv.t -> t

Sourceval globals : t -> GlobalEnv.t

Sourceval nest : (t -> 'a) -> t -> 'a

val nest_with_bindings : 
  (t -> 'a) ->
  t ->
  'a * (LibASL.Asl_utils.AST.ident * LibASL.Asl_utils.AST.ty) list

val addLocalVar : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty ->
  unit

val addLocalImplicitVar : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty ->
  unit

Sourceval getAllImplicits : t -> implicitVars

Sourceval getImplicits : t -> implicitVars

val getVar : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  (LibASL.Asl_utils.AST.ident * LibASL.Asl_utils.AST.ty) option

Sourceval markModified : t -> LibASL.Asl_utils.AST.ident -> unit

val addConstraint : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.expr ->
  unit

Sourceval getConstraints : t -> LibASL.Asl_utils.AST.expr list

Sourceval setReturnType : t -> LibASL.Asl_utils.AST.ty -> unit

Sourceval getReturnType : t -> LibASL.Asl_utils.AST.ty option