Skip to content

Shared: Add Ast consistency queries#21813

Draft
Copilot wants to merge 8 commits intomainfrom
copilot/add-ast-consistency-checks
Draft

Shared: Add Ast consistency queries#21813
Copilot wants to merge 8 commits intomainfrom
copilot/add-ast-consistency-checks

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 8, 2026

  • Add java/ql/consistency-queries/AstConsistency.ql mirroring CfgConsistency.ql
  • Fix trailing whitespace on blank line in shared/controlflow/codeql/controlflow/AstConsistency.qll

@aschackmull aschackmull changed the title Add Java AST consistency query and clean up AstConsistency import Shared: Add Ast consistency queries May 8, 2026
@github-actions github-actions Bot added the Java label May 8, 2026
}

/** Holds if a `getChild` relation for a structured AST node has no matching member predicate. */
query predicate getChildMissingFromMember(StructuredAstNode parent, int index, AstNode child) {
Comment thread shared/controlflow/codeql/controlflow/AstConsistency.qll
Comment thread shared/controlflow/codeql/controlflow/AstConsistency.qll Outdated
Fix compilation.

Co-authored-by: Anders Schack-Mulligen <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants