feat : field completions#615
feat : field completions#615Sypher845 wants to merge 2 commits intoaviatesk:avi/ASTTypeAnnotatorfrom
Conversation
d1194a9 to
23641b8
Compare
Implement the `ASTTypeAnnotator` pipeline, which takes a `SyntaxTree`, generates `CodeInfo` from it, and performs type annotation via abstract interpretation. By maintaining a reverse mapping from `CodeInfo` back to `SyntaxTree`, we can trace from a specific statement in `CodeInfo` to its source representation. This is needed for implementing type on hover, inlay type hints, and property completions, etc. Marked as WIP since there are still many edge cases and inference result caching is not yet implemented.
|
This PR implements Also, there should be additional points to discuss:
Lastly, please rebase this PR and set #620 as the merge target. |
23641b8 to
b56705b
Compare
Signed-off-by: Sypher845 <suyashpatil845@gmail.com>
b56705b to
3fc3361
Compare
|
@aviatesk i have addressed the main review points,
Current limitation: Please take a look when you have time |
e355af5 to
355440b
Compare
Codecov Report❌ Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## avi/ASTTypeAnnotator #615 +/- ##
========================================================
+ Coverage 69.14% 69.23% +0.09%
========================================================
Files 51 53 +2
Lines 8734 9034 +300
========================================================
+ Hits 6039 6255 +216
- Misses 2695 2779 +84
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
355440b to
1058286
Compare
This PR adds field completion support to JETLS. When a user types
x.and triggers completions (e.g., viaCtrl+Space), the server now suggests available fields for the inferred type ofx.