Python: Add deprecated comment for FinalCustomPointsToFact

RasmusWL · RasmusWL · commit b179a0bdc242 · 2020-04-15T16:59:07.000+02:00
diff --git a/python/ql/src/semmle/python/types/Extensions.qll b/python/ql/src/semmle/python/types/Extensions.qll
@@ -37,7 +37,7 @@ abstract deprecated class CustomPointsToFact extends @py_flow_node {
     abstract predicate pointsTo(Context context, Object value, ClassObject cls, ControlFlowNode origin);
 }
 
-/* For backwards compatibility */
+/** DEPRECATED -- Use PointsToExtension instead */
 deprecated class FinalCustomPointsToFact = CustomPointsToFact;
 
 abstract deprecated class CustomPointsToOriginFact extends CustomPointsToFact {

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ abstract deprecated class CustomPointsToFact extends @py_flow_node {`
`37`	`37`	`abstract predicate pointsTo(Context context, Object value, ClassObject cls, ControlFlowNode origin);`
`38`	`38`	`}`
`39`	`39`
`40`		`-/* For backwards compatibility */`
	`40`	`+/** DEPRECATED -- Use PointsToExtension instead */`
`41`	`41`	`deprecated class FinalCustomPointsToFact = CustomPointsToFact;`
`42`	`42`
`43`	`43`	`abstract deprecated class CustomPointsToOriginFact extends CustomPointsToFact {`