jbe/bsw@0: --[[--
jbe/bsw@0: trace.enter_filter{
jbe/bsw@0:   path = path
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function logs the call of a filter, when using execute.filtered_view{...} and execute.filtered_action{...}.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function trace.enter_filter(args)
jbe@41:   if not trace._disabled then
jbe@41:     local path = args.path
jbe@41:     if type(path) ~= "string" then
jbe@41:       error("No path string passed to trace.enter_filter{...}.")
jbe@41:     end
jbe@41:     trace._open_section{ type = "filter", path = path }
jbe/bsw@0:   end
jbe/bsw@0: end