-
Notifications
You must be signed in to change notification settings - Fork 54
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote branch 'origin/master' into edge
- Loading branch information
Showing
27 changed files
with
2,005 additions
and
18 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
with ""; | ||
project Prj is | ||
for Source_List_File use ""; | ||
for Excluded_Source_List_File use ""; | ||
for Warning_Message use ""; | ||
package Naming is | ||
for Body ("Ada") use "" ; | ||
for Implementation ("Ada") use ""; | ||
for Spec ("Ada") use ""; | ||
for Specification ("Ada") use ""; | ||
end Naming; | ||
end Prj; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,136 @@ | ||
[ | ||
{ | ||
"comment": [ | ||
"test gpr unexpected exception handling" | ||
] | ||
}, | ||
{ | ||
"start": { | ||
"cmd": [ | ||
"${ALS}", | ||
"--language-gpr" | ||
] | ||
} | ||
}, | ||
{ | ||
"send": { | ||
"request": { | ||
"params": { | ||
"processId": 30612, | ||
"capabilities": { | ||
"workspace": { | ||
"applyEdit": false | ||
} | ||
}, | ||
"rootUri": "$URI{.}" | ||
}, | ||
"jsonrpc": "2.0", | ||
"id": 1, | ||
"method": "initialize" | ||
}, | ||
"wait": [ | ||
{ | ||
"jsonrpc": "2.0", | ||
"id": 1, | ||
"result": { | ||
"capabilities": { | ||
"textDocumentSync": { | ||
"openClose": true, | ||
"change": 1 | ||
}, | ||
"completionProvider": { | ||
"triggerCharacters": [ | ||
" " | ||
], | ||
"resolveProvider": true | ||
}, | ||
"hoverProvider": true, | ||
"definitionProvider": true, | ||
"documentSymbolProvider": {} | ||
} | ||
} | ||
} | ||
] | ||
} | ||
}, | ||
{ | ||
"send": { | ||
"request": { | ||
"jsonrpc": "2.0", | ||
"method": "initialized" | ||
}, | ||
"wait": [] | ||
} | ||
}, | ||
{ | ||
"send": { | ||
"request": { | ||
"params": { | ||
"textDocument": { | ||
"text": "with \"\";\nproject Prj is\n for Source_List_File use \"\";\n for Excluded_Source_List_File use \"\";\n for Warning_Message use \"\";\n package Naming is\n for Body (\"Ada\") use \"\" ;\n for Implementation (\"Ada\") use \"\";\n for Spec (\"Ada\") use \"\";\n for Specification (\"Ada\") use \"\";\n end Naming;\nend Prj;", | ||
"version": 0, | ||
"uri": "$URI{prj.gpr}", | ||
"languageId": "Gpr" | ||
} | ||
}, | ||
"jsonrpc": "2.0", | ||
"method": "textDocument/didOpen" | ||
}, | ||
"wait": [ | ||
{ | ||
"jsonrpc": "2.0", | ||
"method": "textDocument/publishDiagnostics", | ||
"params": { | ||
"uri": "$URI{prj.gpr}", | ||
"diagnostics": [ | ||
{ | ||
"range": { | ||
"start": { | ||
"line": 0, | ||
"character": 0 | ||
}, | ||
"end": { | ||
"line": 0, | ||
"character": 0 | ||
} | ||
}, | ||
"severity": 1, | ||
"message": "GPR parser unexpected ADA.ASSERTIONS.ASSERTION_ERROR DYNAMIC_PREDICATE failed at gpr2-project-parser.adb:83" | ||
} | ||
] | ||
} | ||
} | ||
] | ||
} | ||
}, | ||
{ | ||
"send": { | ||
"request": { | ||
"jsonrpc": "2.0", | ||
"id": "shutdown", | ||
"method": "shutdown", | ||
"params": null | ||
}, | ||
"wait": [ | ||
{ | ||
"id": "shutdown", | ||
"result": null | ||
} | ||
] | ||
} | ||
}, | ||
{ | ||
"send": { | ||
"request": { | ||
"jsonrpc": "2.0", | ||
"method": "exit" | ||
}, | ||
"wait": [] | ||
} | ||
}, | ||
{ | ||
"stop": { | ||
"exit_code": 0 | ||
} | ||
} | ||
] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
title: 'gpr2 parsing assertions error handling' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.