SpecCore (p.goblint.2.0.0.doc.goblint.lib.Goblint

exception Endl

exception Eof

type lval =

| Ptr of lval
| Var of string
| Ident of string

type fcall = {

fname : string;
args : exp list;

}

and exp =

| Fun of fcall
| Exp_
| Lval of lval
| Regex of string
| String of string
| Bool of bool
| Int of int
| Float of float
| Binop of string * exp * exp
| Unop of string * exp

type stmt = {

lval : lval option;
exp : exp;

}

type def =

| Node of string * string
| Edge of string * string list * bool * string * stmt

val fname_is : string -> stmt -> bool

val is_wildcard : stmt -> bool

val branch_exp : stmt -> (exp * bool) option

val is_branch : stmt -> bool

val startnode : ('a * 'b * 'c * 'd * 'e) list -> 'a

val warning : 'a -> ('a * 'b) list -> 'b option

val get_lval : stmt -> [> `Ident | `Ptr | `Var ] option

val get_exp : 
  exp ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]

val get_rval : 
  stmt ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]

val get_key_variant : 
  stmt ->
  [> `Arg of string * int | `Lval of string | `None | `Rval of string ]

val equal_form : 'a option -> stmt -> bool

val get_fun_args : 
  stmt ->
  [> `Bool of bool
  | `Error of string
  | `Float of float
  | `Free
  | `Ident of string
  | `Int of int
  | `Regex of string
  | `String of string
  | `Var of string ]
    list

val lval_to_string : lval -> string

val exp_to_string : exp -> string

val stmt_to_string : stmt -> string

val arrow_to_string : string list -> bool -> string

val def_to_string : def -> string

val to_dot_graph : def list -> string