jbe/bsw@0: --[[--
jbe/bsw@0: trace.enter_view{
jbe/bsw@0:   module = module, 
jbe/bsw@0:   view   = view
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function is used by execute.view and logs the call of a view.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function trace.enter_view(args)
jbe@41:   if not trace._disabled then
jbe@41:     local module = args.module
jbe@41:     local view   = args.view
jbe@41:     if type(module) ~= "string" then
jbe@41:       error("No module passed to trace.enter_view{...}.")
jbe@41:     end
jbe@41:     if type(view) ~= "string" then
jbe@41:       error("No view passed to trace.enter_view{...}.")
jbe@41:     end
jbe@41:     trace._open_section{ type = "view", module = module, view = view }
jbe/bsw@0:   end
jbe/bsw@0: end