#check_call

Invocation

#check_call <regular_function_name> <checking_function_name> - run a provided checking function whenever the named function is called. ^{1 2}

Description

The checking function should have a signature as follows:

checking_function_name :: (
  arguments : [] Any,
  filename : string, line_number : int) -> bool {

  good := true; // replace with arbitrary checks

  if !good {
    printf("details about what was not good\n");
  }

  return good;
}

Returning true allows execution to continue; false halts execution and exits with an error message indicating the file and line where the check returned false.

More specific messages can be printed during the checking function execution.