ToolResultsExecution.fromJson constructor
      
      ToolResultsExecution.fromJson(
    
    
- Map json_
 
Implementation
ToolResultsExecution.fromJson(core.Map json_)
    : this(
        executionId: json_['executionId'] as core.String?,
        historyId: json_['historyId'] as core.String?,
        projectId: json_['projectId'] as core.String?,
      );