Method Pike.low_check_call()

Method low_check_call

type|zero low_check_call(type fun_type, type arg_type)
type|zero low_check_call(type fun_type, type arg_type, int flags)
type|zero low_check_call(type fun_type, type arg_type, int flags, mapping state)
type|zero low_check_call(type fun_type, type arg_type, int flags, mapping state, mixed val)

Description

Check whether a function of type fun_type may be called with a first argument of type arg_type.

Parameter flags

The following flags are currently defined:

1	Strict types. Fail if not all possible values in arg_type are valid as the first argument to fun_type.
2	Last argument. arg_type is the last argument to fun_type.
3	Both strict types and last argument as above.

Parameter state

State mapping. This mapping may be used by attribute handlers to store state between different arguments. Note that attribute handlers may alter the contents of the mapping.

Parameter val

Value of the argument if known.

Returns

Returns a continuation type on success.

Returns 0 (zero) on failure.