Copilot 3e0ae6ea3c Python: use newtype-branch constructors in characteristic predicates ...

Style cleanup: when a class's characteristic predicate binds via a
'cast' helper like

  IfStmt() { ifStmt = this.asStmt() }

prefer naming the newtype branch directly:

  IfStmt() { this = TPyStmt(ifStmt) }

This makes the wrapped representation explicit. Apply throughout:
~30 charpreds (every Stmt/Expr leaf wrapper, plus LoopStmt, BreakStmt,
ContinueStmt, BooleanLiteral, UnaryExpr, ArithUnaryExpr, Comprehension).

Method bodies that use asStmt/asExpr to project an underlying
Python AST node (Stmt.toString, BlockStmt.getEnclosingCallable,
UnaryExpr.getOperand, etc.) keep that form - they're projections,
not classifications.

No behaviour change: all 24 NewCfg evaluation-order tests pass; all
11 shared-CFG consistency queries report 0 violations on CPython.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

2026-05-07 19:51:38 +00:00

..

consistency-queries

python: add consistency checks

2026-05-05 15:21:42 +00:00

examples

Python: Fix example snippets

2025-11-26 12:30:30 +00:00

integration-tests/query-suite

python: Add query for prompt injection

2026-01-29 23:47:52 +01:00

lib

Python: use newtype-branch constructors in characteristic predicates

2026-05-07 19:51:38 +00:00

src

Remove the chat completion create logic.

2026-04-28 18:24:24 +01:00

test

Shared CFG: support for-else and while-else loops

2026-05-05 15:21:43 +00:00