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 t

Sourceval mkempty : unit -> t

val addType : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  typedef ->
  unit

Sourceval getType : t -> LibASL.Asl_utils.AST.ident -> typedef option

Sourceval isType : t -> LibASL.Asl_utils.AST.ident -> bool

Sourceval isTycon : t -> LibASL.Asl_utils.AST.ident -> bool

Sourceval isEnum : t -> LibASL.Asl_utils.AST.ident -> bool

val addFuns : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.ident ->
  funtype list ->
  unit

Sourceval getFuns : t -> LibASL.Asl_utils.AST.ident -> funtype list

Sourceval addSetterFuns : t -> LibASL.Asl_utils.AST.ident -> sfuntype list -> unit

Sourceval getSetterFun : t -> LibASL.Asl_utils.AST.ident -> sfuntype list

val addOperators1 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.unop ->
  funtype list ->
  unit

val getOperators1 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.unop ->
  funtype list

val addOperators2 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.binop ->
  funtype list ->
  unit

val getOperators2 : 
  t ->
  LibASL.Asl_utils.AST.l ->
  LibASL.Asl_utils.AST.binop ->
  funtype list

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

Sourceval isEncoding : t -> LibASL.Asl_utils.AST.ident -> bool

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

val getGlobalVar : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.ty option

val addConstant : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.expr ->
  unit

val getConstant : 
  t ->
  LibASL.Asl_utils.AST.ident ->
  LibASL.Asl_utils.AST.expr option