import 'package:meta/meta.dart';

import '../core/context.dart';
import '../core/parser.dart';
import '../parser/action/continuation.dart';
import '../reflection/transform.dart';
import '../shared/types.dart';

/// Returns a transformed [Parser] that when being used to read input
/// visually prints its progress while progressing.
///
/// For example, the snippet
///
/// ```dart
/// final parser = letter() & word().star();
/// progress(parser).parse('f123');
/// ```
///
/// prints the following output:
///
/// ```text
/// * SequenceParser
/// * SingleCharacterParser[letter expected]
/// ** PossessiveRepeatingParser[0..*]
/// ** SingleCharacterParser[letter or digit expected]
/// *** SingleCharacterParser[letter or digit expected]
/// **** SingleCharacterParser[letter or digit expected]
/// ***** SingleCharacterParser[letter or digit expected]
/// ```
///
/// Jumps backwards mean that the parser is back-tracking. Often choices can
/// be reordered to avoid such expensive parses.
///
/// The optional [output] callback can be used to continuously receive
/// [ProgressFrame] updates with the current progress information.
@useResult
Parser<R> progress<R>(
  Parser<R> root, {
  VoidCallback<ProgressFrame> output = print,
  Predicate<Parser>? predicate,
}) => transformParser(root, <P>(parser) {
  if (predicate == null || predicate(parser)) {
    return parser.callCC((continuation, context) {
      output(_ProgressFrame(parser, context));
      return continuation(context);
    });
  } else {
    return parser;
  }
});

/// Encapsulates the data around a parser progress.
abstract class ProgressFrame {
  /// Return the parser of this frame.
  Parser get parser;

  /// Returns the activation context of this frame.
  Context get context;

  /// Returns the current position in the input.
  int get position => context.position;
}

class _ProgressFrame extends ProgressFrame {
  _ProgressFrame(this.parser, this.context);

  @override
  final Parser parser;

  @override
  final Context context;

  @override
  String toString() => '${'*' * (1 + position)} $parser';
}