Call (infer.Absint.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) matcher

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 map_matcher : 
  ('context, 'f1, 'arg_payload) matcher ->
  f:('f1 -> 'f2) ->
  ('context, 'f2, 'arg_payload) matcher

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 startsWith : string -> 'context -> string -> bool

val endsWith : string -> 'context -> string -> bool

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 contramap_arg_payload : 
  ('context, 'f, 'unwrapped_payload) matcher ->
  f:('wrapped_payload -> 'unwrapped_payload) ->
  ('context, 'f, 'wrapped_payload) matcher

type ('context, 'f_in, 'f_proc_out, 'f_out, 'arg_payload) args_matcher

type ('context, 'arg_in, 'arg_out, 'f_in, 'f_out, 'arg_payload) one_arg

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

val capt_exp : 
  ('context, IR.Exp.t, 'wrapped_arg, 'wrapped_arg -> 'f, 'f, 'arg_payload)
    one_arg

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

val any_arg_of_prim_typ : 
  IR.Typ.t ->
  ('context, unit, _, 'f, 'f, 'arg_payload) one_arg

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.