package failsafe

import (
	"context"
	"sync"
	"sync/atomic"
	"time"

	"github.com/failsafe-go/failsafe-go/common"
)

// ExecutionInfo contains execution info.
type ExecutionInfo interface {
	// Context returns the context configured for the execution, else context.Background if none was configured. For
	// executions involving a timeout or hedge, each attempt will get a separate child context.
	Context() context.Context

	// Attempts returns the number of execution attempts so far, including attempts that are currently in progress and
	// attempts that were blocked before being executed, such as by a CircuitBreaker or RateLimiter. These can include an initial
	// execution along with retries and hedges.
	Attempts() int

	// Executions returns the number of completed executions. Executions that are blocked, such as when a CircuitBreaker is
	// open, are not counted.
	Executions() int

	// Retries returns the number of retries so far, including retries that are currently in progress.
	Retries() int

	// Hedges returns the number of hedges that have been executed so far, including hedges that are currently in progress.
	Hedges() int

	// StartTime returns the time that the initial execution attempt started at.
	StartTime() time.Time

	// ElapsedTime returns the elapsed time since initial execution attempt began.
	ElapsedTime() time.Duration
}

// ExecutionAttempt contains information for an execution attempt.
type ExecutionAttempt[R any] interface {
	ExecutionInfo

	// LastResult returns the result, if any, from the last execution attempt.
	LastResult() R

	// LastError returns the error, if any, from the last execution attempt.
	LastError() error

	// IsFirstAttempt returns true when Attempts is 1, meaning this is the first execution attempt.
	IsFirstAttempt() bool

	// IsRetry returns true when Attempts is > 1, meaning the execution is being retried.
	IsRetry() bool

	// IsHedge returns true when the execution is part of a hedged attempt.
	IsHedge() bool

	// AttemptStartTime returns the time that the most recent execution attempt started at.
	AttemptStartTime() time.Time

	// ElapsedAttemptTime returns the elapsed time since the last execution attempt began.
	ElapsedAttemptTime() time.Duration
}

// Execution contains information about an execution.
type Execution[R any] interface {
	ExecutionAttempt[R]

	// IsCanceled returns whether the execution has been canceled by an external Context or a timeout.Timeout.
	IsCanceled() bool

	// Canceled returns a channel that is closed when the execution is canceled, either by an external Context or a
	// timeout.Timeout.
	Canceled() <-chan struct{}
}

type execution[R any] struct {
	// Shared state across instances
	mu         *sync.Mutex
	startTime  time.Time
	attempts   *atomic.Uint32
	retries    *atomic.Uint32
	hedges     *atomic.Uint32
	executions *atomic.Uint32

	// Partly shared cancellation state
	ctx            context.Context
	cancelFunc     context.CancelFunc
	canceledResult **common.PolicyResult[R]

	// Per execution state
	attemptStartTime time.Time
	isHedge          bool
	lastResult       R     // The last error that occurred, else the zero value for R.
	lastError        error // The last error that occurred, else nil.
}

var _ Execution[any] = &execution[any]{}
var _ ExecutionInfo = &execution[any]{}

func (e *execution[R]) Attempts() int {
	return int(e.attempts.Load())
}

func (e *execution[R]) Executions() int {
	return int(e.executions.Load())
}

func (e *execution[R]) Retries() int {
	return int(e.retries.Load())
}

func (e *execution[R]) Hedges() int {
	return int(e.hedges.Load())
}

func (e *execution[R]) StartTime() time.Time {
	return e.startTime
}

func (e *execution[R]) IsFirstAttempt() bool {
	return e.attempts.Load() == 1
}

func (e *execution[R]) IsRetry() bool {
	return e.attempts.Load() > 1
}

func (e *execution[R]) IsHedge() bool {
	return e.isHedge
}

func (e *execution[R]) ElapsedTime() time.Duration {
	return time.Since(e.startTime)
}

func (e *execution[R]) LastResult() R {
	return e.lastResult
}

func (e *execution[R]) LastError() error {
	if e.lastError == nil && e.ctx.Err() != nil {
		return e.ctx.Err()
	}
	return e.lastError
}

func (e *execution[R]) Context() context.Context {
	return e.ctx
}

func (e *execution[R]) AttemptStartTime() time.Time {
	return e.attemptStartTime
}

func (e *execution[_]) ElapsedAttemptTime() time.Duration {
	return time.Since(e.attemptStartTime)
}

func (e *execution[_]) IsCanceled() bool {
	return e.ctx.Err() != nil
}

func (e *execution[_]) Canceled() <-chan struct{} {
	return e.ctx.Done()
}

func (e *execution[R]) RecordResult(result *common.PolicyResult[R]) *common.PolicyResult[R] {
	// Lock to guard against a race with a Timeout canceling the execution
	e.mu.Lock()
	defer e.mu.Unlock()
	if canceled, cancelResult := e.isCanceledWithResult(); canceled {
		return cancelResult
	}
	if result != nil {
		e.lastResult = result.Result
		e.lastError = result.Error
	}
	return nil
}

func (e *execution[R]) InitializeRetry() *common.PolicyResult[R] {
	// Lock to guard against a race with a Timeout canceling the execution
	e.mu.Lock()
	defer e.mu.Unlock()
	if canceled, cancelResult := e.isCanceledWithResult(); canceled {
		return cancelResult
	}

	if e.attempts.Add(1) > 1 {
		e.retries.Add(1)
	}
	e.attemptStartTime = time.Now()
	*e.canceledResult = nil
	return nil
}

func (e *execution[R]) Cancel(result *common.PolicyResult[R]) {
	e.mu.Lock()
	defer e.mu.Unlock()
	if canceled, _ := e.isCanceledWithResult(); canceled {
		return
	}

	*e.canceledResult = result
	if result != nil {
		e.lastResult = result.Result
		e.lastError = result.Error
	}
	if e.cancelFunc != nil {
		e.cancelFunc()
	}
}

func (e *execution[R]) IsCanceledWithResult() (bool, *common.PolicyResult[R]) {
	e.mu.Lock()
	defer e.mu.Unlock()
	return e.isCanceledWithResult()
}

// isCanceledWithResult must be locked externally
func (e *execution[R]) isCanceledWithResult() (bool, *common.PolicyResult[R]) {
	if e.ctx.Err() != nil {
		if *e.canceledResult == nil {
			return true, &common.PolicyResult[R]{
				Error: e.ctx.Err(),
				Done:  true,
			}
		}
		return true, *e.canceledResult
	}
	return false, nil
}

func (e *execution[R]) CopyWithResult(result *common.PolicyResult[R]) Execution[R] {
	c := e.copy()
	if result != nil {
		c.lastResult = result.Result
		c.lastError = result.Error
	}
	return c
}

func (e *execution[R]) CopyForCancellable() Execution[R] {
	c := e.copy()
	c.ctx, c.cancelFunc = context.WithCancel(c.ctx)
	return c
}

func (e *execution[R]) CopyForHedge() Execution[R] {
	c := e.copy()
	c.isHedge = true
	c.attempts.Add(1)
	c.hedges.Add(1)
	c.ctx, c.cancelFunc = context.WithCancel(c.ctx)
	return c
}

func (e *execution[R]) copy() *execution[R] {
	e.mu.Lock()
	c := *e
	e.mu.Unlock()
	return &c
}

func (e *execution[R]) record() {
	e.executions.Add(1)
}

func newExecution[R any](ctx context.Context) *execution[R] {
	attempts := atomic.Uint32{}
	retries := atomic.Uint32{}
	hedges := atomic.Uint32{}
	executions := atomic.Uint32{}
	attempts.Add(1)
	var canceledResult *common.PolicyResult[R]
	now := time.Now()
	return &execution[R]{
		ctx:              ctx,
		mu:               &sync.Mutex{},
		attempts:         &attempts,
		retries:          &retries,
		hedges:           &hedges,
		executions:       &executions,
		canceledResult:   &canceledResult,
		attemptStartTime: now,
		startTime:        now,
	}
}

// executionAnyWrapper adapts execution[R] to execution[any], allowing Policy[any] to be used in compositions with Policy[R].
type executionAnyWrapper[R any] struct {
	*execution[R]
}

func (w *executionAnyWrapper[R]) LastResult() any {
	return w.execution.LastResult()
}

func (w *executionAnyWrapper[R]) RecordResult(anyResult *common.PolicyResult[any]) *common.PolicyResult[any] {
	rResult := w.execution.RecordResult(resultFromAny[R](anyResult))
	return resultToAny(rResult)
}

func (w *executionAnyWrapper[R]) InitializeRetry() *common.PolicyResult[any] {
	rResult := w.execution.InitializeRetry()
	return resultToAny(rResult)
}

func (w *executionAnyWrapper[R]) Cancel(anyResult *common.PolicyResult[any]) {
	w.execution.Cancel(resultFromAny[R](anyResult))
}

func (w *executionAnyWrapper[R]) IsCanceledWithResult() (bool, *common.PolicyResult[any]) {
	canceled, rResult := w.execution.IsCanceledWithResult()
	return canceled, resultToAny(rResult)
}

func (w *executionAnyWrapper[R]) CopyWithResult(anyResult *common.PolicyResult[any]) Execution[any] {
	copied := w.execution.CopyWithResult(resultFromAny[R](anyResult))
	return &executionAnyWrapper[R]{execution: copied.(*execution[R])}
}

func (w *executionAnyWrapper[R]) CopyForCancellable() Execution[any] {
	copied := w.execution.CopyForCancellable()
	return &executionAnyWrapper[R]{execution: copied.(*execution[R])}
}

func (w *executionAnyWrapper[R]) CopyForHedge() Execution[any] {
	copied := w.execution.CopyForHedge()
	return &executionAnyWrapper[R]{execution: copied.(*execution[R])}
}

func resultToAny[R any](result *common.PolicyResult[R]) *common.PolicyResult[any] {
	if result == nil {
		return nil
	}
	return &common.PolicyResult[any]{
		Result:     result.Result,
		Error:      result.Error,
		Done:       result.Done,
		Success:    result.Success,
		SuccessAll: result.SuccessAll,
	}
}

func resultFromAny[R any](anyResult *common.PolicyResult[any]) *common.PolicyResult[R] {
	if anyResult == nil {
		return nil
	}
	var result R
	if anyResult.Result != nil {
		result = anyResult.Result.(R)
	}
	return &common.PolicyResult[R]{
		Result:     result,
		Error:      anyResult.Error,
		Done:       anyResult.Done,
		Success:    anyResult.Success,
		SuccessAll: anyResult.SuccessAll,
	}
}
