object_dir.md

Object Directory

Short introduction

This is a custom command used by the VS Code extension to retrieve the Object Directory from the GPR project file, allowing us to get the path to the object directory currently in use.

Change description

We introduce a new type to represent the request results:

type ObjDirResponse = string;

And a new command with out arguments:

method: als-object-dir

Returning the project file of the loaded project like this:

result: ObjDirResponse