Module `Eval.Env`Source

Environment representing both global and local state of the system

Sourcetype t

Sourceval empty : t

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

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

Sourceval addLocalVar : LibASL.Value.AST.l -> t -> AST.ident -> Value.value -> unit

Sourceval addLocalConst : LibASL.Value.AST.l -> t -> AST.ident -> Value.value -> unit

Sourceval addGlobalConst : t -> AST.ident -> Value.value -> unit

Sourceval getGlobalConst : t -> AST.ident -> Value.value

Sourceval addEnum : t -> AST.ident -> Value.value list -> unit

Sourceval getEnum : t -> AST.ident -> Value.value list option

Sourceval isEnumEq : t -> AST.ident -> bool

Sourceval isEnumNeq : t -> AST.ident -> bool

val addRecord : 
  t ->
  AST.ident ->
  (LibASL.Value.AST.ty * AST.ident) list ->
  unit

Sourceval getRecord : t -> AST.ident -> (LibASL.Value.AST.ty * AST.ident) list option

Sourceval addTypedef : t -> AST.ident -> LibASL.Value.AST.ty -> unit

Sourceval getTypedef : t -> AST.ident -> LibASL.Value.AST.ty option

Sourceval addGlobalVar : t -> AST.ident -> Value.value -> unit

Sourceval getVar : LibASL.Value.AST.l -> t -> AST.ident -> Value.value

Sourceval setVar : LibASL.Value.AST.l -> t -> AST.ident -> Value.value -> unit

val getFun : 
  LibASL.Value.AST.l ->
  t ->
  AST.ident ->
  AST.ident list * AST.ident list * LibASL.Value.AST.l * AST.stmt list

val addFun : 
  LibASL.Value.AST.l ->
  t ->
  AST.ident ->
  (AST.ident list * AST.ident list * LibASL.Value.AST.l * AST.stmt list) ->
  unit

val getInstruction : 
  LibASL.Value.AST.l ->
  t ->
  AST.ident ->
  AST.encoding * AST.stmt list option * bool * AST.stmt list

val addInstruction : 
  LibASL.Value.AST.l ->
  t ->
  AST.ident ->
  (AST.encoding * AST.stmt list option * bool * AST.stmt list) ->
  unit

Sourceval getDecoder : t -> AST.ident -> AST.decode_case

Sourceval addDecoder : t -> AST.ident -> AST.decode_case -> unit

Sourceval setImpdef : t -> string -> Value.value -> unit

Sourceval getImpdef : LibASL.Value.AST.l -> t -> string -> Value.value

Install