@@ -86,9 +86,35 @@ export const CMD_SPARK_LIMIT_SUBP_ARG = 'ada.spark.limitSubpArg';
8686export const CMD_SPARK_LIMIT_REGION_ARG = 'ada.spark.limitRegionArg' ;
8787export const CMD_SPARK_PROVE_SUBP = 'ada.spark.proveSubprogram' ;
8888
89+ /**
90+ * Identifier for the command that shows the extension's output in the Output panel.
91+ */
92+ export const CMD_SHOW_EXTENSION_LOGS = 'ada.showExtensionOutput' ;
93+
94+ /**
95+ * Identifier for the command that shows the output of the ALS for Ada in the Output panel.
96+ */
97+ export const CMD_SHOW_ADA_LS_OUTPUT = 'ada.showAdaLSOutput' ;
98+
99+ /**
100+ * Identifier for the command that shows the output of the ALS for GPR in the Output panel.
101+ */
102+ export const CMD_SHOW_GPR_LS_OUTPUT = 'ada.showGprLSOutput' ;
103+
104+ /**
105+ * Identifier for the command that reloads the currently loaded project on server-side.
106+ */
107+ export const CMD_RELOAD_PROJECT = 'als-reload-project' ;
108+
109+ /**
110+ * Identifier for the command that restarts all the language servers spawned by the extension
111+ * (Ada and GPR).
112+ */
113+ export const CMD_RESTART_LANG_SERVERS = 'ada.restartLanguageServers' ;
114+
89115export function registerCommands ( context : vscode . ExtensionContext , clients : ExtensionState ) {
90116 context . subscriptions . push (
91- vscode . commands . registerCommand ( 'ada.restartLanguageServers' , restartLanguageServers ) ,
117+ vscode . commands . registerCommand ( CMD_RESTART_LANG_SERVERS , restartLanguageServers ) ,
92118 ) ;
93119 context . subscriptions . push (
94120 vscode . commands . registerCommand ( 'ada.createHelloWorldProject' , createHelloWorldProject ) ,
@@ -116,15 +142,15 @@ export function registerCommands(context: vscode.ExtensionContext, clients: Exte
116142 vscode . commands . registerCommand ( 'ada.subprogramBox' , addSubprogramBoxCommand ) ,
117143 ) ;
118144 context . subscriptions . push (
119- vscode . commands . registerCommand ( 'ada.showExtensionOutput' , ( ) => mainOutputChannel . show ( ) ) ,
145+ vscode . commands . registerCommand ( CMD_SHOW_EXTENSION_LOGS , ( ) => mainOutputChannel . show ( ) ) ,
120146 ) ;
121147 context . subscriptions . push (
122- vscode . commands . registerCommand ( 'ada.showAdaLSOutput' , ( ) =>
148+ vscode . commands . registerCommand ( CMD_SHOW_ADA_LS_OUTPUT , ( ) =>
123149 clients . adaClient . outputChannel . show ( ) ,
124150 ) ,
125151 ) ;
126152 context . subscriptions . push (
127- vscode . commands . registerCommand ( 'ada.showGprLSOutput' , ( ) =>
153+ vscode . commands . registerCommand ( CMD_SHOW_GPR_LS_OUTPUT , ( ) =>
128154 clients . gprClient . outputChannel . show ( ) ,
129155 ) ,
130156 ) ;
0 commit comments