ProcnameDispatcher.Call
module FuncArg : sig ... end
Little abstraction over arguments: currently actual args, we'll want formal args later
include Common
with type ('context, 'f, 'arg_payload) dispatcher =
'context ->
IR.Procname.t ->
'arg_payload FuncArg.t list ->
'f option
type ('context, 'f, 'arg_payload) dispatcher =
'context ->
IR.Procname.t ->
'arg_payload FuncArg.t list ->
'f option
val make_dispatcher :
('context, 'f, 'arg_payload) matcher list ->
('context, 'f, 'arg_payload) dispatcher
Combines matchers to create a dispatcher
val any_typ : ('f, 'f, accept_more) template_arg
Eats a type
val capt_typ : (IR.Typ.t -> 'f, 'f, accept_more) template_arg
Captures a type
val capt_int : (IStdlib.IStd.Int64.t -> 'f, 'f, accept_more) template_arg
Captures an int
val capt_all : (IR.Typ.template_arg list -> 'f, 'f, end_of_list) template_arg
Captures all template args
val (~-) : string -> ('context, 'f, 'f, 'arg_payload) name_matcher
Starts a path with a name
val (~+) :
('context -> string -> bool) ->
('context, 'f, 'f, 'arg_payload) name_matcher
Starts a path with a matching name that satisfies the given function
val (&+) :
('context, 'f_in, 'f_interm, accept_more, 'arg_payload) templ_matcher ->
('f_interm, 'f_out, 'lc) template_arg ->
('context, 'f_in, 'f_out, 'lc, 'arg_payload) templ_matcher
Separate template arguments
val (<) :
('context, 'f_in, 'f_interm, 'arg_payload) name_matcher ->
('f_interm, 'f_out, 'lc) template_arg ->
('context, 'f_in, 'f_out, 'lc, 'arg_payload) templ_matcher
Starts template arguments after a name
val (>::) :
('context, 'f_in, 'f_out, _, 'arg_payload) templ_matcher ->
string ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
Ends template arguments and starts a name
val (>::+) :
('context, 'f_in, 'f_out, 'lc, 'arg_payload) templ_matcher ->
('context -> string -> bool) ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
val (&+...>::) :
('context, 'f_in, 'f_out, accept_more, 'arg_payload) templ_matcher ->
string ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
Ends template arguments with eats-ALL and starts a name
val (&::) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
string ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
Separates names (accepts ALL template arguments on the left one)
val (&::+) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
('context -> string -> bool) ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
Separates names that satisfies the given function (accepts ALL template arguments on the left one)
val (<>::) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
string ->
('context, 'f_in, 'f_out, 'arg_payload) name_matcher
Separates names (accepts NO template arguments on the left one)
val merge_dispatchers :
('context, 'f, 'arg_payload) dispatcher ->
('context, 'f, 'arg_payload) dispatcher ->
('context, 'f, 'arg_payload) dispatcher
Merges two dispatchers into a dispatcher
val any_arg : ('context, unit, _, 'f, 'f, 'arg_payload) one_arg
Eats one arg
val capt_arg :
('context,
'arg_payload FuncArg.t,
'wrapped_arg,
'wrapped_arg ->
'f,
'f,
'arg_payload)
one_arg
Captures one arg
val capt_arg_payload :
('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures the payload of one arg at current state
Captures one arg expression
val any_arg_of_typ :
('context, unit, _, 'arg_payload) name_matcher ->
('context, unit, _, 'f, 'f, 'arg_payload) one_arg
Eats one arg of the given type
val any_arg_of_typ_exists :
('context, unit, _, 'arg_payload) name_matcher list ->
('context, unit, _, 'f, 'f, 'arg_payload) one_arg
Eats one arg of any of the given types
val capt_arg_of_typ :
('context, unit, _, 'arg_payload) name_matcher ->
('context,
'arg_payload FuncArg.t,
'wrapped_arg,
'wrapped_arg ->
'f,
'f,
'arg_payload)
one_arg
Captures one arg of the given type
val capt_arg_of_typ_exists :
('context, unit, _, 'arg_payload) name_matcher list ->
('context,
'arg_payload FuncArg.t,
'wrapped_arg,
'wrapped_arg ->
'f,
'f,
'arg_payload)
one_arg
Captures one arg of any of the given types
val capt_arg_payload_of_typ :
('context, unit, _, 'arg_payload) name_matcher ->
('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures the payload of one arg of the given type
val capt_arg_payload_of_typ_exists :
('context, unit, _, 'arg_payload) name_matcher list ->
('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures the payload of one arg of any of the given types
val capt_exp_of_typ :
('context, unit, _, 'arg_payload) name_matcher ->
('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures one arg expression of the given type
val capt_exp_of_typ_exists :
('context, unit, _, 'arg_payload) name_matcher list ->
('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures one arg expression of any of the given types
Eats one arg of the given primitive type
val capt_arg_payload_of_prim_typ :
IR.Typ.t ->
('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures the payload of one arg of the given primitive type
val capt_exp_of_prim_typ :
IR.Typ.t ->
('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures one arg expression of the given primitive type
val capt_var :
('context, IR.Ident.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
one_arg
Captures one arg Var
val ($+) :
('context, 'f_in, 'f_proc_out, 'f_interm, 'arg_payload) args_matcher ->
('context, 'arg, 'arg, 'f_interm, 'f_out, 'arg_payload) one_arg ->
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher
Separate function arguments
val ($+?) :
('context, 'f_in, 'f_proc_out, 'f_interm, 'arg_payload) args_matcher ->
('context, 'arg, 'arg option, 'f_interm, 'f_out, 'arg_payload) one_arg ->
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher
Add an optional argument
val (>$) :
('context, 'f_in, 'f_proc_out, 'ct, 'arg_payload) templ_matcher ->
('context, 'arg, 'arg, 'f_proc_out, 'f_out, 'arg_payload) one_arg ->
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher
Ends template arguments and starts function arguments
val ($-->) :
('context, 'f_in, _, 'f_out, 'arg_payload) args_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends function arguments, binds the function
val ($) :
('context, 'f_in, 'f_proc_out, 'arg_payload) name_matcher ->
('context, 'arg, 'arg, 'f_proc_out, 'f_out, 'arg_payload) one_arg ->
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher
Ends a name with accept-ALL template arguments and starts function arguments
val (<>$) :
('context, 'f_in, 'f_proc_out, 'arg_payload) name_matcher ->
('context, 'arg, 'arg, 'f_proc_out, 'f_out, 'arg_payload) one_arg ->
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher
Ends a name with accept-NO template arguments and starts function arguments
val (>-->) :
('context, 'f_in, 'f_out, _, 'arg_payload) templ_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends template arguments, accepts ALL function arguments, binds the function
val ($+...$-->) :
('context, 'f_in, _, 'f_out, 'arg_payload) args_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends function arguments with eats-ALL and binds the function
val ($++$-->) :
('context, 'f_in, _, 'arg_payload FuncArg.t list -> 'f_out, 'arg_payload)
args_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends and captures ALL function arguments as a list and binds the function
val ($+++$-->) :
('context, 'f_in, _, 'arg_payload list -> 'f_out, 'arg_payload) args_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends and captures ALL function arguments as a list and binds the function
val (>$$-->) :
('context, 'f_in, 'f_out, _, 'arg_payload) templ_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends template arguments, accepts NO function arguments, binds the function
val ($$-->) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, accepts NO function arguments, binds the function
val (<>$$-->) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts NO template arguments, accepts NO function arguments, binds the function
val (&-->) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, accepts ALL function arguments, binds the function
val (<>-->) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts NO template arguments, accepts ALL function arguments, binds the function
val (&++>) :
('context, 'f_in, 'arg_payload FuncArg.t list -> 'f_out, 'arg_payload)
name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, captures ALL function arguments as a list, binds the function
val (&::.*-->) :
('context, 'f_in, 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, accepts ALL path tails (names, templates), accepts ALL function arguments, binds the function
val (&::.*++>) :
('context, 'f_in, 'arg_payload FuncArg.t list -> 'f_out, 'arg_payload)
name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, accepts ALL path tails (names, templates), captures ALL function arguments as a list, binds the function
val (&::.*+++>) :
('context, 'f_in, 'arg_payload list -> 'f_out, 'arg_payload) name_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
After a name, accepts ALL template arguments, accepts ALL path tails (names, templates), captures ALL function arguments as a list, binds the function
val ($!-->) :
('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher ->
'f_in ->
('context, 'f_out, 'arg_payload) matcher
Ends function arguments, accepts NO more function arguments. If the args do not match, raise an internal error.