Documentation ¶ Index ¶ func NewJson(to io.Writer) jpf.ModelLogger func NewSlog(logFunc func(string, ...any), logMessages bool) jpf.ModelLogger Constants ¶ This section is empty. Variables ¶ This section is empty. Functions ¶ func NewJson ¶ func NewJson(to io.Writer) jpf.ModelLogger NewJson creates a ModelLogger that outputs logs in JSON format. The logs are written to the provided io.Writer, with each log entry being a JSON object containing the model interaction details. func NewSlog ¶ func NewSlog(logFunc func(string, ...any), logMessages bool) jpf.ModelLogger Logs calls made to the model to a slog-style logging function. Can optionally log the model messages too (this is very spammy). Types ¶ This section is empty. Source Files ¶ View all Source files logger_json.gologger_slog.go Click to show internal directories. Click to hide internal directories.