code: func NewAttemptFinished(result *JsonResult) *Attempt {
  	return &Attempt{
  		Data: &Attempt_Data{
  			AttemptType: &Attempt_Data_Finished_{
  				&Attempt_Data_Finished{Data: result}}}}
  }
docs: // NewAttemptFinished creates an Attempt in the FINISHED state.