module Cil_manipulation: sig
.. end
Substitute all its internal varinfo from removel by the associated exp from addl.
Parse a cil expression of type exp_node that have to be a Lval.
val lval_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated exp from addl.
Parse a cil expression of type exp_node that have to be a Lval.
val exp_substitution : Cil_types.exp -> String.t list -> Cil_types.exp_node list -> Cil_types.exp
Substitute all its internal varinfo from removel by the associated varinfo from addl.
Parse a cil expression of type exp.
val exp_node_substitution : Cil_types.exp_node ->
String.t list -> Cil_types.exp_node list -> Cil_types.exp_node
Substitute all its internal varinfo from removel by the associated expression from addl.
Parse a cil expression of type exp_node.
val term_lval_substitution : Cil_types.term_lval ->
String.t list -> Cil_types.term_lhost list -> Cil_types.term_lval
val term_substitution : Cil_types.term ->
String.t list -> Cil_types.term_lhost list -> Cil_types.term
val term_list_substitution : Cil_types.term list ->
String.t list -> Cil_types.term_lhost list -> Cil_types.term list
val named_predicate_substitution : Cil_types.predicate Cil_types.named ->
String.t list ->
Cil_types.term_lhost list -> Cil_types.predicate Cil_types.named
val predicate_substitution : Cil_types.predicate ->
String.t list -> Cil_types.term_lhost list -> Cil_types.predicate