bolt/include/bolt/ConsolePrinter.hpp

#pragma once

#include <iostream>

#include "bolt/ByteString.hpp"
#include "bolt/CST.hpp"

namespace bolt {

class Node;
class Diagnostic;

enum class Color {
  None,
  Black,
  White,
  Red,
  Yellow,
  Green,
  Blue,
  Cyan,
  Magenta,
};

enum StyleFlags : unsigned {
  StyleFlags_None = 0,
  StyleFlags_Bold = 1 << 0,
  StyleFlags_Underline = 1 << 1,
  StyleFlags_Italic = 1 << 2,
};

class Style {

  unsigned Flags = StyleFlags_None;

  Color FgColor = Color::None;
  Color BgColor = Color::None;

public:

  Color getForegroundColor() const noexcept {
    return FgColor;
  }

  Color getBackgroundColor() const noexcept {
    return BgColor;
  }

  void setForegroundColor(Color NewColor) noexcept {
    FgColor = NewColor;
  }

  void setBackgroundColor(Color NewColor) noexcept {
    BgColor = NewColor;
  }

  bool hasForegroundColor() const noexcept {
    return FgColor != Color::None;
  }

  bool hasBackgroundColor() const noexcept {
    return BgColor != Color::None;
  }

  void clearForegroundColor() noexcept {
    FgColor = Color::None;
  }

  void clearBackgroundColor() noexcept {
    BgColor = Color::None;
  }

  bool isUnderline() const noexcept {
    return Flags & StyleFlags_Underline;
  }

  bool isItalic() const noexcept {
    return Flags & StyleFlags_Italic;
  }

  bool isBold() const noexcept {
    return Flags & StyleFlags_Bold;
  }

  void setUnderline(bool Enable) noexcept {
    if (Enable) {
      Flags |= StyleFlags_Underline;
    } else {
      Flags &= ~StyleFlags_Underline;
    }
  }

  void setItalic(bool Enable) noexcept {
    if (Enable) {
      Flags |= StyleFlags_Italic;
    } else {
      Flags &= ~StyleFlags_Italic;
    }
  }

  void setBold(bool Enable) noexcept {
    if (Enable) {
      Flags |= StyleFlags_Bold;
    } else {
      Flags &= ~StyleFlags_Bold;
    }
  }

  void reset() noexcept {
    FgColor = Color::None;
    BgColor = Color::None;
    Flags = 0;
  }

};

/**
 * Prints any diagnostic message that was added to it to the console.
 */
class ConsolePrinter {

  std::ostream& Out;

  Style ActiveStyle;

  void setForegroundColor(Color C);
  void setBackgroundColor(Color C);
  void applyStyles();

  void setBold(bool Enable);
  void setItalic(bool Enable);
  void setUnderline(bool Enable);
  void resetStyles();

  void writeGutter(
    std::size_t GutterWidth,
    std::string Text
  );

  void writeHighlight(
    std::size_t GutterWidth,
    TextRange Range,
    Color HighlightColor,
    std::size_t Line,
    std::size_t LineLength
  );

  void writeExcerpt(
    const TextFile& File,
    TextRange ToPrint,
    TextRange ToHighlight,
    Color HighlightColor
  );

  void writeNode(const Node* N);

  void writePrefix(const Diagnostic& D);
  void writeBinding(const ByteString& Name);
  void writeLoc(const TextFile& File, const TextLoc& Loc);
  void writeType(Type* Ty);

  void write(const std::string_view& S);
  void write(std::size_t N);
  void write(char C);

public:

  unsigned ExcerptLinesPre = 2;
  unsigned ExcerptLinesPost = 2;
  std::size_t MaxTypeSubsitutionCount = 0;
  bool PrintFilePosition = true;
  bool PrintExcerpts = true;
  bool EnableColors = true;

  ConsolePrinter(std::ostream& Out = std::cerr);

  void writeDiagnostic(const Diagnostic& D);

};

}