code: func NewExecutionFinished(result *JsonResult) *Execution {
  	return &Execution{
  		Data: &Execution_Data{
  			ExecutionType: &Execution_Data_Finished_{
  				&Execution_Data_Finished{Data: result}}}}
  }
docs: // NewExecutionFinished creates an Execution in the FINISHED state.