Module CallArgs

Import path

Expressions.CallArgs

Imports

Predicates

arg_count
correct_args_if_called_as_method

Holds if call has correct number of arguments for func. Implies nothing about whether call could call func.

get_function_or_initializer
illegally_named_parameter

Whether there is an illegally named parameter called name in the call to func

overridden_call

Holds if call is a call to overriding, which overrides func.

too_few_args

Whether there are too few arguments in the call to callable where limit is the lowest number of legal arguments

too_many_args

Whether there are too many arguments in the call to func where limit is the highest number of legal arguments

wrong_args

Holds if call has too many or too few arguments for func