Class CompilerLibrary

compiler/compiler.h:43–80

A CompilerLibrary represents a package of CEL configuration that can be added to a Compiler. It may contain either or both of a Parser configuration and a TypeChecker configuration.

// It may contain either or both of a Parser configuration and a
// TypeChecker configuration.
struct CompilerLibrary {
  // Optional identifier to avoid collisions re-adding the same library.
  // If id is empty, it is not considered.
  std::string id;
  // Optional callback for configuring the parser.
  ParserBuilderConfigurer configure_parser;
  // Optional callback for configuring the type checker.
  TypeCheckerBuilderConfigurer configure_checker;

  CompilerLibrary(std::string id, ParserBuilderConfigurer configure_parser,
                  TypeCheckerBuilderConfigurer configure_checker = nullptr)
      : id(std::move(id)),
        configure_parser(std::move(configure_parser)),
        configure_checker(std::move(configure_checker)) {}

  CompilerLibrary(std::string id,
                  TypeCheckerBuilderConfigurer configure_checker)
      : id(std::move(id)),
        configure_parser(std::move(nullptr)),
        configure_checker(std::move(configure_checker)) {}

  // Convenience conversion from the CheckerLibrary type.
  //
  // Note: if a related CompilerLibrary exists, prefer to use that to
  // include expected parser configuration.
  static CompilerLibrary FromCheckerLibrary(CheckerLibrary checker_library) {
    return CompilerLibrary(std::move(checker_library.id),
                           /*configure_parser=*/nullptr,
                           std::move(checker_library.configure));
  }

  // For backwards compatibility. To be removed.
  // NOLINTNEXTLINE(google-explicit-constructor)
  CompilerLibrary(CheckerLibrary checker_library)
      : id(std::move(checker_library.id)),
        configure_parser(nullptr),
        configure_checker(std::move(checker_library.configure)) {}
};

struct CompilerLibrarySubset {
  // The id of the library to subset. Only one subset can be applied per