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/bsw@0:   local module = args.module
jbe/bsw@0:   local view   = args.view
jbe/bsw@0:   if type(module) ~= "string" then
jbe/bsw@0:     error("No module passed to trace.enter_view{...}.")
jbe/bsw@0:   end
jbe/bsw@0:   if type(view) ~= "string" then
jbe/bsw@0:     error("No view passed to trace.enter_view{...}.")
jbe/bsw@0:   end
jbe/bsw@0:   trace._open_section{ type = "view", module = module, view = view }
jbe/bsw@0: end