# Copyright 2013-2024 Lawrence Livermore National Security, LLC and other
# Spack Project Developers. See the top-level COPYRIGHT file for details.
#
# SPDX-License-Identifier: (Apache-2.0 OR MIT)
from typing import Any, Dict, List
[docs]
class Reporter:
"""Base class for report writers."""
[docs]
def build_report(self, filename: str, specs: List[Dict[str, Any]]):
raise NotImplementedError("must be implemented by derived classes")
[docs]
def test_report(self, filename: str, specs: List[Dict[str, Any]]):
raise NotImplementedError("must be implemented by derived classes")
[docs]
def concretization_report(self, filename: str, msg: str):
raise NotImplementedError("must be implemented by derived classes")