Skip to content

Conversation

Copy link

Copilot AI commented Dec 8, 2025

What This PR Contributes

  • Updated isTypeUsed predicate annotations from override to override[local?] in two TypeModel implementations:
    • ControlTypeInHandlerModel in UI5View.qll
    • XSJSDollarTypeModel in AsyncXSJS.qll

The [local?] modifier provides flexibility for predicates to be either locally overridden (terminal) or non-locally overridden (extensible), eliminating the need for explicit [local] or [nonlocal] specification.

Future Works

  • No additional work required; this is a targeted annotation update for CodeQL compatibility.
Original prompt

Add overlay[local?] to each override predicate called isTypeUsed


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Co-authored-by: asgerf <316427+asgerf@users.noreply.github.com>
Copilot AI changed the title [WIP] Add overlay[local?] to isTypeUsed override predicate Add override[local?] annotation to isTypeUsed predicates Dec 8, 2025
Copilot AI requested a review from asgerf December 8, 2025 08:55
@data-douser
Copy link
Collaborator

Superseded by #268

@data-douser data-douser closed this Dec 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants