Merge pull request #9852 from tausbn/python-add-str-class

tausbn · web-flow · commit c904ba1d1602 · 2022-08-22T10:55:01.000+02:00
Python: Add `Str` class
diff --git a/python/ql/lib/semmle/python/Exprs.qll b/python/ql/lib/semmle/python/Exprs.qll
@@ -616,6 +616,9 @@ private string non_byte_prefix() {
   not result.charAt(_) in ["b", "B"]
 }
 
+/** A string constant. This is a placeholder class -- use `StrConst` instead. */
+class Str = StrConst;
+
 /** A string constant. */
 class StrConst extends Str_, ImmutableLiteral {
   /* syntax: "hello" */

Original file line number	Diff line number	Diff line change
`@@ -616,6 +616,9 @@ private string non_byte_prefix() {`
`616`	`616`	`not result.charAt(_) in ["b", "B"]`
`617`	`617`	`}`
`618`	`618`
	`619`	+/** A string constant. This is a placeholder class -- use `StrConst` instead. */
	`620`	`+class Str = StrConst;`
	`621`	`+`
`619`	`622`	`/** A string constant. */`
`620`	`623`	`class StrConst extends Str_, ImmutableLiteral {`
`621`	`624`	`/* syntax: "hello" */`