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

Sourcemodule AST = Asl_ast

Sourcemodule TC = Tcheck

Sourceval report_parse_error : (unit -> 'a) -> (unit -> 'a) -> 'a

Sourceval report_type_error : (unit -> 'a) -> (unit -> 'a) -> 'a

Sourceval report_eval_error : (unit -> 'a) -> (unit -> 'a) -> 'a

Sourceval read_file : string -> bool -> bool -> Asl_ast.declaration list

Parse and typecheck ASL file

Sourceval read_spec : string -> bool -> Asl_ast.declaration list

Sourceval parse_file : string -> bool -> bool -> Asl_ast.declaration list

Parse ASL file, but do not typecheck

Sourceval read_impdef : TC.Env.t -> AST.l -> string -> string * AST.expr

Sourceval read_expr : TC.Env.t -> AST.l -> string -> AST.expr

Sourceval read_stmt : TC.Env.t -> string -> AST.stmt