Call

constructor(id: String? = null, tool: String, args: String)(source)


constructor(id: String? = null, tool: String, args: JsonObject)(source)

Convenience constructor that accepts a JsonObject and serialises it to args.

Parameters

args

The tool arguments as a JsonObject.