1 --[[--

2 trace.enter_filter{

3 path = path

4 }

5

6 This function logs the call of a filter, when using execute.filtered_view{...} and execute.filtered_action{...}.

7

8 --]]--

9

10 function trace.enter_filter(args)

11 local path = args.path

12 if type(path) ~= "string" then

13 error("No path string passed to trace.enter_filter{...}.")

14 end

15 trace._open_section{ type = "filter", path = path }

16 end