Module `Ast.Stmt`Source

Statements

This module is responsible for extending the Mopsa AST with new statements. This is done by creating new variant constructor of the extensible type stmt_kind, for instance

  type stmt_kind += S_assign of expr * expr

creates a new assignment statement, which needs to be registered

  let () = register_stmt {
      compare = (fun next s1 s2 ->
          match skind s1, skind s2 with
          | S_assign(x1,e1), S_assign(x2,e2) ->
            Compare.pair compare_expr compare_expr (x1,e1) (x2,e2)
          | _ -> next s1 s2
        );
      print = (fun next s ->
          match skind s with
          | S_assign(x,e) -> Format.fprintf fmt "%a = %a;" pp_expr x pp_expr e
          | _    -> next fmt s
        );
    }

Sourcetype stmt_kind = ..

Extensible kinds of statements

Sourcetype stmt = {

skind : stmt_kind;
(*
kind of the statement
*)
srange : Mopsa_utils.Location.range;
(*
location range of the statement
*)

}

Statements

Sourceval mk_stmt : stmt_kind -> Mopsa_utils.Location.range -> stmt

Create a statement

Sourceval skind : stmt -> stmt_kind

Get the kind of a statement

Sourceval srange : stmt -> Mopsa_utils.Location.range

Get the location range of a statement

Sourceval compare_stmt : stmt -> stmt -> int

Total order between statements

Sourceval pp_stmt : Stdlib.Format.formatter -> stmt -> unit

Pretty-printer of statements

Registration

Sourceval register_stmt : stmt Mopsa_utils.TypeExt.info -> unit

register_stmt info registers a new statement by registering its compare function info.compare and pretty-printer info.print

Sourceval register_stmt_compare : stmt Mopsa_utils.TypeExt.compare -> unit

Sourceval register_stmt_pp : stmt Mopsa_utils.TypeExt.print -> unit

Blocks

Sourcetype block = stmt list

Blocks are sequences of statements

Sourceval pp_block : Stdlib.Format.formatter -> block -> unit

Pretty-printer for blocks

Common statements

Sourcetype stmt_kind +=

| S_program of Program.program * string list option
(*
Command-line arguments as given to Mopsa after --
*)

Programs

Sourcetype stmt_kind +=

| S_assign of Expr.expr * Expr.expr
(*
rhs
*)

Assignments

Sourceval mk_assign : Expr.expr -> Expr.expr -> Mopsa_utils.Location.range -> stmt

mk_assign lhs rhs range creates the assignment lhs = rhs;

Sourcetype stmt_kind +=

| S_assume of Expr.expr
(*
condition
*)

Tests

Sourceval mk_assume : Expr.expr -> Mopsa_utils.Location.range -> stmt

Create a test statement

Sourcetype stmt_kind +=

| S_add of Expr.expr
(*
Add a dimension to the environment
*)
| S_remove of Expr.expr
(*
Remove a dimension from the environment and invalidate all references to it
*)
| S_invalidate of Expr.expr
(*
Invalidate all references to a dimension without removing it
*)
| S_rename of Expr.expr * Expr.expr
(*
new
*)
| S_forget of Expr.expr
(*
Forget a dimension by putting ⊤ (all possible values) in it. Note that the dimension is not removed
*)
| S_project of Expr.expr list
(*
Project the environment on the given list of dimensions. All other dimensions are removed
*)
| S_expand of Expr.expr * Expr.expr list
(*
Expand a dimension into a list of other dimensions. The expanded dimension is untouched
*)
| S_fold of Expr.expr * Expr.expr list
(*
Fold a list of dimensions into a single one. The folded dimensions are removed
*)
| S_block of stmt list * Var.var list
(*
local variables declared within the block
*)
| S_breakpoint of string
(*
Trigger a breakpoint
*)

Dimensions

Sourceval mk_rename : Expr.expr -> Expr.expr -> Mopsa_utils.Location.range -> stmt

Utility functions to create various statements for dimension management

Sourceval mk_rename_var : Var.var -> Var.var -> Mopsa_utils.Location.range -> stmt

Sourceval mk_remove : Expr.expr -> Mopsa_utils.Location.range -> stmt

Sourceval mk_remove_var : Var.var -> Mopsa_utils.Location.range -> stmt

Sourceval mk_invalidate : Expr.expr -> Mopsa_utils.Location.range -> stmt

Sourceval mk_invalidate_var : Var.var -> Mopsa_utils.Location.range -> stmt

Sourceval mk_add : Expr.expr -> Mopsa_utils.Location.range -> stmt

Sourceval mk_add_var : Var.var -> Mopsa_utils.Location.range -> stmt

Sourceval mk_project : Expr.expr list -> Mopsa_utils.Location.range -> stmt

Sourceval mk_project_vars : Var.var list -> Mopsa_utils.Location.range -> stmt

Sourceval mk_forget : Expr.expr -> Mopsa_utils.Location.range -> stmt

Sourceval mk_forget_var : Var.var -> Mopsa_utils.Location.range -> stmt

Source

val mk_expand : 
  Expr.expr ->
  Expr.expr list ->
  Mopsa_utils.Location.range ->
  stmt

Source

val mk_expand_var : 
  Var.var ->
  Var.var list ->
  Mopsa_utils.Location.range ->
  stmt

Sourceval mk_fold : Expr.expr -> Expr.expr list -> Mopsa_utils.Location.range -> stmt

Sourceval mk_fold_var : Var.var -> Var.var list -> Mopsa_utils.Location.range -> stmt

Sourceval mk_breakpoint : string -> Mopsa_utils.Location.range -> stmt

Containers of statements

module StmtSet : Mopsa_utils.SetExtSig.S with type elt = stmt

Sets of statements

module StmtMap : Mopsa_utils.MapExtSig.S with type key = stmt

Maps of statements

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ast/Ast/Stmt/index.html

Module `Ast.Stmt`Source

Registration

Blocks

Common statements

Containers of statements

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ast/Ast/Stmt/index.html

Module Ast.StmtSource

Registration

Blocks

Common statements

Containers of statements

Module `Ast.Stmt`Source