[ library(port_profiler) | Reference Manual | Alphabetic Index ]
last_port_profile(++Options)
Output another port profile for the most recently profiled goal
- Options
- A list of OptionName:OptionValue structures
Description
This allows to output (again) the results of the previous call to
port_profile/2, possibly in a different format. The options are
the same as in port_profile/2. Note that the show_caller option can
only be given if it was on in the corresponding call to port_profile/2,
otherwise the corresponding information is not available.
See Also
port_profile / 2