Module Jsil_syntax.BCmd

JSIL Basic Commmands

*

type t =
  1. | Skip
    (*

    Empty command

    *)
  2. | Assignment of string * Gillian.Gil_syntax.Expr.t
    (*

    Assignment

    *)
  3. | New of string * Gillian.Gil_syntax.Expr.t option * Gillian.Gil_syntax.Expr.t option
    (*

    Object creation

    *)
  4. | Lookup of string * Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t
    (*

    Field lookup

    *)
  5. | Mutation of Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t
    (*

    Field mutation

    *)
  6. | Delete of Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t
    (*

    Field deletion

    *)
  7. | DeleteObj of Gillian.Gil_syntax.Expr.t
    (*

    Object deletion

    *)
  8. | HasField of string * Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t
    (*

    Field check

    *)
  9. | GetFields of string * Gillian.Gil_syntax.Expr.t
    (*

    All fields of an object

    *)
  10. | MetaData of string * Gillian.Gil_syntax.Expr.t
    (*

    Object metadata

    *)
val pp : Stdlib.Format.formatter -> t -> unit