Merge branch 'eng/ide/ada_language_server#1634' into 'master'

Set a default debug address for GNATemulator

See merge request eng/ide/ada_language_server!1984

Author: AnthonyLeonardoGracio

README.md

@@ -355,8 +355,8 @@ program using GNATemulator.
 <img src="doc/media/gnatemu-debug-codelens.gif" width="800" alt="Debug with GNATemulator CodeLens" />
 
 The port used by the debugger launched by VS Code to connect to the running GNATemulator instance
-is the one specified via the `Emulator'Debug_Port` project attribute, so make sure it is set before
-running the dedicated GNATemulator command/CodeLens.
+is the one specified via the `Emulator'Debug_Port` project attribute: when not set, the extension
+will fallback on `localhost:1234` (GNATemulator's default debug port).
 
 Note that GNATemulator is not available for all GNAT embedded toolchains. For more information about GNATemulator itself and its availabilty please refer to the [GNATemulator User's Guide](https://docs.adacore.com/gnatemulator-docs/gnatemulator.html).
 

integration/vscode/ada/src/commands.ts

@@ -726,6 +726,7 @@ async function buildAndDebugSpecifiedMain(
     const adaMain = await findAdaMain(main.fsPath);
     const target = await adaExtState.getTargetPrefix();
     const debugServerAddress = await adaExtState.getDebugServerAddress(useGNATemulator);
+
     if (adaMain) {
         /**
          * The vscode API doesn't provide a way to list both automatically
@@ -762,6 +763,17 @@ async function buildAndDebugSpecifiedMain(
         if (matchingConfig) {
             logger.debug('Found matching config: ' + JSON.stringify(matchingConfig, null, 2));
 
+            // No debug server address specified in matching debug configuration: fallback
+            // to 'localhost:1234' to match GNATemulator's default debug port.
+            if (!matchingConfig.miDebuggerServerAddress && useGNATemulator) {
+                const fallbackDebugServerAddress = 'localhost:1234';
+                logger.debug(
+                    `No debug server address specified in debug configuration for GNATemulator:
+ use '${fallbackDebugServerAddress}' as a fallback`,
+                );
+                matchingConfig.miDebuggerServerAddress = 'localhost:1234';
+            }
+
             // Trying to debug via GNATemulator: run the main via GNATemulator in debug mode
             // before starting the debug session
             if (useGNATemulator) {