Python: Deprecate old bottle points-to extension

RasmusWL · RasmusWL · commit 438a01e911d6 · 2022-02-04T12:02:09.000+01:00
diff --git a/python/ql/lib/semmle/python/types/Extensions.qll b/python/ql/lib/semmle/python/types/Extensions.qll
@@ -87,7 +87,7 @@ class RangeIterationVariableFact extends PointsToExtension {
 }
 
 /* bottle module route constants */
-class BottleRoutePointToExtension extends PointsToExtension {
+deprecated class BottleRoutePointToExtension extends PointsToExtension {
   string name;
 
   BottleRoutePointToExtension() {

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@ class RangeIterationVariableFact extends PointsToExtension {`
`87`	`87`	`}`
`88`	`88`
`89`	`89`	`/* bottle module route constants */`
`90`		`-class BottleRoutePointToExtension extends PointsToExtension {`
	`90`	`+deprecated class BottleRoutePointToExtension extends PointsToExtension {`
`91`	`91`	`string name;`
`92`	`92`
`93`	`93`	`BottleRoutePointToExtension() {`