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 if not trace._disabled then

12 local path = args.path

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

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

15 end

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

17 end

18 end