Module ProcnameDispatcher.Call
module FuncArg : sig ... endLittle 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) matchertype ('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) dispatcherCombines matchers to create a dispatcher
val any_typ : ('f, 'f, accept_more) template_argEats a type
val capt_typ : (IR.Typ.t -> 'f, 'f, accept_more) template_argCaptures a type
val capt_int : (IStdlib.IStd.Int64.t -> 'f, 'f, accept_more) template_argCaptures an int
val capt_all : (IR.Typ.template_arg list -> 'f, 'f, end_of_list) template_argCaptures all template args
val (~-) : string -> ('context, 'f, 'f, 'arg_payload) name_matcherStarts a path with a name
val (~+) : ('context -> string -> bool) -> ('context, 'f, 'f, 'arg_payload) name_matcherStarts a path with a matching name that satisfies the given function
val startsWith : string -> 'context -> string -> boolval endsWith : string -> 'context -> string -> boolval (&+) : ('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_matcherSeparate 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_matcherStarts template arguments after a name
val (>::) : ('context, 'f_in, 'f_out, _, 'arg_payload) templ_matcher -> string -> ('context, 'f_in, 'f_out, 'arg_payload) name_matcherEnds 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_matcherval (&+...>::) : ('context, 'f_in, 'f_out, accept_more, 'arg_payload) templ_matcher -> string -> ('context, 'f_in, 'f_out, 'arg_payload) name_matcherEnds 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_matcherSeparates 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_matcherSeparates 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_matcherSeparates 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) dispatcherMerges two dispatchers into a dispatcher
type ('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matchertype ('context, 'arg_in, 'arg_out, 'f_in, 'f_out, 'arg_payload) one_arg
val any_arg : ('context, unit, _, 'f, 'f, 'arg_payload) one_argEats one arg
val capt_arg : ('context, 'arg_payload FuncArg.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures one arg
val capt_arg_payload : ('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures the payload of one arg at current state
val capt_exp : ('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures one arg expression
val any_arg_of_typ : ('context, unit, _, 'arg_payload) name_matcher -> ('context, unit, _, 'f, 'f, 'arg_payload) one_argEats one arg of the given type
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_argCaptures one arg of the given type
val capt_arg_payload_of_typ : ('context, unit, _, 'arg_payload) name_matcher -> ('context, 'arg_payload, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures the payload of one arg of the given type
val capt_exp_of_typ : ('context, unit, _, 'arg_payload) name_matcher -> ('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures one arg expression of the given type
val any_arg_of_prim_typ : IR.Typ.t -> ('context, unit, _, 'f, 'f, 'arg_payload) one_argEats 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_argCaptures one arg expression of the given primitive type
val capt_var_exn : ('context, IR.Ident.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload) one_argCaptures one arg Var. Fails with an internal error if the expression is not a 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_matcherSeparate 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_matcherAdd 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_matcherEnds template arguments and starts function arguments
val ($-->) : ('context, 'f_in, _, 'f_out, 'arg_payload) args_matcher -> 'f_in -> ('context, 'f_out, 'arg_payload) matcherEnds 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_matcherEnds 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_matcherEnds 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) matcherEnds 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) matcherEnds 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) matcherEnds 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) matcherEnds 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) matcherAfter 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) matcherAfter 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) matcherAfter 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) matcherAfter 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) matcherAfter 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) matcherAfter 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) matcherAfter 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) matcherEnds function arguments, accepts NO more function arguments. If the args do not match, raise an internal error.