Module `LibASL.Value`Source

ASL interpreter values

Sourcemodule AST = Asl_ast

Values

This union type is for use in an interpreter

Sourcetype value =

| VBool of bool
| VEnum of LibASL.Asl_utils.AST.ident * int
| VInt of Primops.bigint
| VReal of Primops.real
| VBits of Primops.bitvector
| VMask of Primops.mask
| VString of string
| VExc of LibASL.Asl_utils.AST.l * Primops.exc
| VTuple of value list
| VRecord of value Asl_utils.Bindings.t
| VArray of value Primops.ImmutableArray.t * value
| VRAM of Primops.ram
| VUninitialized

Exceptions thrown by interpreter

Sourceexception Return of value option

Sourceexception EvalError of LibASL.Asl_utils.AST.l * string

Sourceexception Throw of LibASL.Asl_utils.AST.l * Primops.exc

Printer for values

Sourceval pp_value : value -> string

Functions on values

Sourceval from_bool : bool -> value

Sourceval to_bool : LibASL.Asl_utils.AST.l -> value -> bool

Sourceval to_integer : LibASL.Asl_utils.AST.l -> value -> Primops.bigint

Sourceval to_int : LibASL.Asl_utils.AST.l -> value -> int

Sourceval to_bits : LibASL.Asl_utils.AST.l -> value -> Primops.bitvector

Sourceval to_mask : LibASL.Asl_utils.AST.l -> value -> Primops.mask

Sourceval to_string : LibASL.Asl_utils.AST.l -> value -> string

Source

val to_exc : 
  LibASL.Asl_utils.AST.l ->
  value ->
  LibASL.Asl_utils.AST.l * Primops.exc

Sourceval to_tuple : value list -> value

Sourceval of_tuple : LibASL.Asl_utils.AST.l -> value -> value list

Sourceval mkrecord : (LibASL.Asl_utils.AST.ident * value) list -> value

Source

val get_field : 
  LibASL.Asl_utils.AST.l ->
  value ->
  LibASL.Asl_utils.AST.ident ->
  value

Source

val set_field : 
  LibASL.Asl_utils.AST.l ->
  value ->
  LibASL.Asl_utils.AST.ident ->
  value ->
  value

Sourceval empty_array : value -> value

Sourceval get_array : LibASL.Asl_utils.AST.l -> value -> value -> value

Sourceval set_array : LibASL.Asl_utils.AST.l -> value -> value -> value -> value

Sourceval drop_chars : string -> char -> string

Delete all characters matching 'c' from string 'x'

Sourceval from_intLit : LibASL.Asl_utils.AST.intLit -> value

Sourceval from_hexLit : LibASL.Asl_utils.AST.hexLit -> value

Sourceval from_realLit : LibASL.Asl_utils.AST.realLit -> value

Sourceval from_bitsLit : LibASL.Asl_utils.AST.bitsLit -> value

Sourceval from_maskLit : LibASL.Asl_utils.AST.maskLit -> value

Sourceval from_stringLit : string -> value

Primop dispatch on values

Returns None iff function does not exist or arguments have wrong type

Sourceval eval_prim : string -> value list -> value list -> value option

Utility functions on Values

Sourceval extract_bits : LibASL.Asl_utils.AST.l -> value -> value -> value -> value

Sourceval extract_bits' : LibASL.Asl_utils.AST.l -> value -> int -> int -> value

Sourceval extract_bits'' : LibASL.Asl_utils.AST.l -> value -> value -> value -> value

Source

val insert_bits : 
  LibASL.Asl_utils.AST.l ->
  value ->
  value ->
  value ->
  value ->
  value

Source

val insert_bits' : 
  LibASL.Asl_utils.AST.l ->
  value ->
  int ->
  int ->
  value ->
  value

Sourceval eval_eq : LibASL.Asl_utils.AST.l -> value -> value -> bool

Sourceval eval_leq : LibASL.Asl_utils.AST.l -> value -> value -> bool

Sourceval eval_eq_int : LibASL.Asl_utils.AST.l -> value -> value -> bool

Sourceval eval_eq_bits : LibASL.Asl_utils.AST.l -> value -> value -> bool

Sourceval eval_inmask : LibASL.Asl_utils.AST.l -> value -> value -> bool

Sourceval eval_add_int : LibASL.Asl_utils.AST.l -> value -> value -> value

Sourceval eval_sub_int : LibASL.Asl_utils.AST.l -> value -> value -> value

Sourceval eval_concat : LibASL.Asl_utils.AST.l -> value list -> value

Unknown handling

We might want to change this in the future to model the expected non-determinism in the spec. And we might want to augment this with some form of support for uninitialized values (which would ideally trigger an error).

Sourceval eval_unknown_bits : Primops.bigint -> value

Sourceval eval_unknown_ram : Primops.bigint -> value

Sourceval eval_unknown_integer : unit -> value

Sourceval eval_unknown_real : unit -> value

Sourceval eval_unknown_string : unit -> value

package asli

Module LibASL.ValueSource

Values

Exceptions thrown by interpreter

Printer for values

Functions on values

Primop dispatch on values

Utility functions on Values

Unknown handling

Module `LibASL.Value`Source