org.aya.util.reporter.ThrowingReporter Maven / Gradle / Ivy

Go to download
// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
// Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
package org.aya.util.reporter;

import org.aya.util.prettier.PrettierOptions;
import org.jetbrains.annotations.NotNull;

public record ThrowingReporter(@NotNull PrettierOptions options) implements CountingReporter {
  @Override public void report(@NotNull Problem problem) {
    var render = Reporter.errorMessage(problem, options, false, false, 80);
    if (problem.level() != Problem.Severity.ERROR) {
      System.err.println(render);
      return;
    }
    throw new AssertionError("Failed with `" + problem.getClass() + "`: " + render + "\nat " + problem.sourcePos());
  }

  @Override public int problemSize(Problem.@NotNull Severity severity) {
    return 0;
  }

  @Override public void clear() {
  }
}