verilog_ls.cc

// Copyright 2021-2022 The Verible Authors.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//

#include <functional>
#include <iostream>

#include "common/util/init_command_line.h"
#include "verilog/tools/ls/verilog-language-server.h"

#ifndef _WIN32
#include <unistd.h>
#else
#include <fcntl.h>
#include <io.h>
#include <stdio.h>
// Windows doesn't have Posix read(), but something called _read
#define read(fd, buf, size) _read(fd, buf, size)
#endif

int main(int argc, char *argv[]) {
  verible::InitCommandLine(argv[0], &argc, &argv);

#ifdef _WIN32
  // Windows messes with newlines by default. Fix this here.
  _setmode(_fileno(stdin), _O_BINARY);
  _setmode(_fileno(stdout), _O_BINARY);
#endif

  std::cerr << "Verible Verilog Language Server built at "
            << verible::GetRepositoryVersion() << "\n";

  // -- Input and output is stdin and stdout.

  // Output: provided write-function is called with entire response messages.
  verilog::VerilogLanguageServer server([](absl::string_view reply) {
    // Output formatting as header/body chunk as required by LSP spec to stdout.
    std::cout << "Content-Length: " << reply.size() << "\r\n\r\n";
    std::cout << reply << std::flush;
  });

  // Input: Messages received from the read function are dispatched and
  // processed until shutdown message received.
  constexpr int kInputFD = 0;  // STDIN_FILENO, but Win does not have that macro
  absl::Status status = server.Run([](char *buf, int size) -> int {  //
    return read(kInputFD, buf, size);
  });

  std::cerr << status.message() << std::endl;

  server.PrintStatistics();
}