@@ -37,8 +37,8 @@ abstract deprecated class CustomPointsToFact extends @py_flow_node {
3737 abstract predicate pointsTo ( Context context , Object value , ClassObject cls , ControlFlowNode origin ) ;
3838}
3939
40- /* For backwards compatibility */
41- class FinalCustomPointsToFact = CustomPointsToFact ;
40+ /** DEPRECATED -- Use PointsToExtension instead */
41+ deprecated class FinalCustomPointsToFact = CustomPointsToFact ;
4242
4343abstract deprecated class CustomPointsToOriginFact extends CustomPointsToFact {
4444 abstract predicate pointsTo ( Object value , ClassObject cls ) ;
@@ -151,7 +151,7 @@ class ReModulePointToExtension extends PointsToExtension {
151151 private predicate pointsTo_helper ( Context context ) { context .appliesTo ( this ) }
152152}
153153
154- private class BackwardCompatiblePointToExtension extends PointsToExtension {
154+ deprecated private class BackwardCompatiblePointToExtension extends PointsToExtension {
155155 BackwardCompatiblePointToExtension ( ) { this instanceof CustomPointsToFact }
156156
157157 override predicate pointsTo ( Context context , ObjectInternal value , ControlFlowNode origin ) {
@@ -174,7 +174,7 @@ private class BackwardCompatiblePointToExtension extends PointsToExtension {
174174 }
175175}
176176
177- private predicate additionalAttribute (
177+ deprecated private predicate additionalAttribute (
178178 ObjectInternal owner , string name , ObjectInternal value , ControlFlowNode origin
179179) {
180180 exists ( Object obj , ClassObject cls |
0 commit comments