Skip to content

Commit a176e6a

Browse files
committed
Python: comment out temporarily unused predicate
1 parent 45e30b0 commit a176e6a

File tree

1 file changed

+20
-20
lines changed

1 file changed

+20
-20
lines changed

python/ql/src/semmle/python/RegexTreeView.qll

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -493,26 +493,26 @@ class RegExpEscape extends RegExpNormalChar {
493493
// }
494494
}
495495

496-
/**
497-
* Gets the hex number for the `hex` char.
498-
*/
499-
private int toHex(string hex) {
500-
hex = [0 .. 9].toString() and
501-
result = hex.toInt()
502-
or
503-
result = 10 and hex = ["a", "A"]
504-
or
505-
result = 11 and hex = ["b", "B"]
506-
or
507-
result = 12 and hex = ["c", "C"]
508-
or
509-
result = 13 and hex = ["d", "D"]
510-
or
511-
result = 14 and hex = ["e", "E"]
512-
or
513-
result = 15 and hex = ["f", "F"]
514-
}
515-
496+
// TODO: Enable this once a supporting CLI is released.
497+
// /**
498+
// * Gets the hex number for the `hex` char.
499+
// */
500+
// private int toHex(string hex) {
501+
// hex = [0 .. 9].toString() and
502+
// result = hex.toInt()
503+
// or
504+
// result = 10 and hex = ["a", "A"]
505+
// or
506+
// result = 11 and hex = ["b", "B"]
507+
// or
508+
// result = 12 and hex = ["c", "C"]
509+
// or
510+
// result = 13 and hex = ["d", "D"]
511+
// or
512+
// result = 14 and hex = ["e", "E"]
513+
// or
514+
// result = 15 and hex = ["f", "F"]
515+
// }
516516
/**
517517
* A character class escape in a regular expression.
518518
* That is, an escaped charachter that denotes multiple characters.

0 commit comments

Comments
 (0)