Python: Add Str class

tausbn · web-flow · commit bde47836d079 · 2022-07-19T12:25:10.000Z
This makes the AST viewer (which annotates string constant nodes as
`Str`) a bit more consistent.
diff --git a/python/ql/lib/semmle/python/Exprs.qll b/python/ql/lib/semmle/python/Exprs.qll
@@ -616,8 +616,11 @@ private string non_byte_prefix() {
   not result.charAt(_) in ["b", "B"]
 }
 
+/** A string constant. This is a placeholder class -- use `StrConst` instead. */
+class Str extends Str_ { }
+
 /** A string constant. */
-class StrConst extends Str_, ImmutableLiteral {
+class StrConst extends Str, ImmutableLiteral {
   /* syntax: "hello" */
   predicate isUnicode() {
     this.getPrefix() = unicode_prefix()
