GNATbench provides a capability to analyze an individual source file as an alternative to analyzing all the source files in the project. Like the project-level command, this command checks syntax and semantics but will also generate the required information to support those browsing and navigation commands that require it, without also producing object code or an executable.
Analysis results are displayed on the standard Eclipse Console view in a subconsole specific to the command. You can show this view using the standard Eclipse Window -> Show View command if the Console is not already open. See Viewing Command Execution for the details of using the builders' subconsoles.
The command is in the contextual menu of the Ada editor and is named "Analyze Ada File" (as shown in the figure below). Note the key binding.