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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/asli.libASL/LibASL/Value/index.html

Module `LibASL.Value`Source

Values

Exceptions thrown by interpreter

Printer for values

Functions on values

Primop dispatch on values

Utility functions on Values

Unknown handling

package asli

Install

Dune Dependency

Authors

Maintainers

Sources

doc/asli.libASL/LibASL/Value/index.html

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