Module `Core.Avalue`Source

Abstract value representation

Sourcetype _ avalue_kind = ..

Sourcetype avalue_pool = {

}

Sourcetype avalue_info = {

typ : 'v. avalue_pool -> 'v avalue_kind -> Ast.Typ.typ;
bottom : 'v. avalue_pool -> 'v avalue_kind -> 'v;
top : 'v. avalue_pool -> 'v avalue_kind -> 'v;
join : 'v. avalue_pool -> 'v avalue_kind -> 'v -> 'v -> 'v;
meet : 'v. avalue_pool -> 'v avalue_kind -> 'v -> 'v -> 'v;
compare : 'v 'w. avalue_pool -> 'v avalue_kind -> 'v -> 'w avalue_kind -> 'w -> int;
print : 'v. avalue_pool -> 'v avalue_kind -> Stdlib.Format.formatter -> 'v -> unit;

}

Sourceval register_avalue : avalue_info -> unit

Sourceval type_of_avalue : 'v avalue_kind -> Ast.Typ.typ

Sourceval bottom_avalue : 'v avalue_kind -> 'v

Sourceval top_avalue : 'v avalue_kind -> 'v

Sourceval join_avalue : 'v avalue_kind -> 'v -> 'v -> 'v

Sourceval meet_avalue : 'v avalue_kind -> 'v -> 'v -> 'v

Sourceval compare_avalue : 'v avalue_kind -> 'v -> 'w avalue_kind -> 'w -> int

Sourceval pp_avalue : 'v avalue_kind -> Stdlib.Format.formatter -> 'v -> unit

Sourcetype Ast.Constant.constant +=

val mk_avalue_expr : 
  'v avalue_kind ->
  'v ->
  Mopsa_utils.Location.range ->
  Ast.Expr.expr

Sourceval mk_avalue_constant : 'v avalue_kind -> 'v -> Ast.Constant.constant

Sourcetype Query.query +=

Sourceval mk_avalue_query : Ast.Expr.expr -> 'v avalue_kind -> ('a, 'v) Query.query

Install