Nullary predicates always show "This query returned no results"

Đang mở
#1,743 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
3/5
Thời gian dự kiến
1-2 ngày
Mức phù hợp với người mới
45/100
Loại issue
Lỗi
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
typescript
Lĩnh vực
tooling

Hướng nghiên cứu

Bắt đầu bằng cách chạy truy vấn được cung cấp query predicate foo() { any() } trong tiện ích mở rộng VS Code và kiểm tra chế độ xem kết quả hiển thị các thông báo mâu thuẫn. Theo dõi cách các kết quả của predicate không có đối số được gắn nhãn, sau đó xác minh rằng thông báo không có kết quả không được hiển thị đối với một kết quả và rằng số lượng cùng cách diễn đạt được hiển thị là nhất quán.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

bug VSCode

Describe the bug
A nullary predicate with a result shows the "This query returned no results" message even if it has a result.
It does show "1 result" in the top left as well leading to a contradictory view of results

Version
CodeQL extension version: 1.7.5
CodeQL CLI version: 2.11.3
Platform: linux x64

To reproduce
Run:

query predicate foo() { any() }

Look at the results

Expected behavior
Something like "1 nullary result" or "1 empty result".

Additional context
I don't think this is that important in general to fix as nullary predicates are not commonly used but it is wrong.

Ngôn ngữ chính
TypeScript
Star
539
Fork
240
Merge trung bình
2 ngày 6 giờ
Pull request đã merge (30 ngày)
29

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của github/vscode-codeql

Tất cả issue của github/vscode-codeql

Issue tương tự

Thêm issue về TypeScript

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.