search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
229 stars 54 forks source link

V516-040 Add defensive programming on Get_Open_Document #968

Closed setton closed 2 years ago

setton commented 2 years ago

This adds defensive programming in some cases where Get_Open_Document is called and the result is expected to be non-null. Traces these in the log and abandon the request, rather than crashing with Constraint_Error.