Files

Testsuite

This project has several testsuite tools

Tester

Tester emulates LSP client. It reads commands from JSON file and executes them. See more details in Tester.

Codec_Test

Codec_Test checks errors in encoders/decoders of LSP messages. It reads LSP message from JSON file, converts it to an Ada object, then it converts the Ada object back to JSON and compares result with origin JSON object. Codec_Test has no command line arguments. Instead it reads lines from the standard input. Each line has file name and Ada type name separated by space. Empty lines and lines started with '#' are ignored.