@@ -449,44 +449,3 @@ module SharedTypeTrackingStep {
449449 any ( SharedTypeTrackingStep s ) .withoutPropStep ( pred , succ , props )
450450 }
451451}
452-
453- // Internal version of AdditionalTypeTrackingStep that we can reference without deprecation warnings.
454- abstract private class LegacyTypeTrackingStep extends DataFlow:: Node {
455- /**
456- * Holds if type-tracking should step from `pred` to `succ`.
457- */
458- predicate step ( DataFlow:: Node pred , DataFlow:: Node succ ) { none ( ) }
459-
460- /**
461- * Holds if type-tracking should step from `pred` into the `prop` property of `succ`.
462- */
463- predicate storeStep ( DataFlow:: Node pred , DataFlow:: SourceNode succ , string prop ) { none ( ) }
464-
465- /**
466- * Holds if type-tracking should step from the `prop` property of `pred` to `succ`.
467- */
468- predicate loadStep ( DataFlow:: Node pred , DataFlow:: Node succ , string prop ) { none ( ) }
469-
470- /**
471- * Holds if type-tracking should step from the `prop` property of `pred` to the same property in `succ`.
472- */
473- predicate loadStoreStep ( DataFlow:: Node pred , DataFlow:: SourceNode succ , string prop ) { none ( ) }
474- }
475-
476- private class LegacyStepAsSharedTypeTrackingStep extends SharedTypeTrackingStep {
477- override predicate step ( DataFlow:: Node pred , DataFlow:: Node succ ) {
478- any ( LegacyTypeTrackingStep s ) .step ( pred , succ )
479- }
480-
481- override predicate storeStep ( DataFlow:: Node pred , DataFlow:: SourceNode succ , string prop ) {
482- any ( LegacyTypeTrackingStep s ) .storeStep ( pred , succ , prop )
483- }
484-
485- override predicate loadStep ( DataFlow:: Node pred , DataFlow:: Node succ , string prop ) {
486- any ( LegacyTypeTrackingStep s ) .loadStep ( pred , succ , prop )
487- }
488-
489- override predicate loadStoreStep ( DataFlow:: Node pred , DataFlow:: SourceNode succ , string prop ) {
490- any ( LegacyTypeTrackingStep s ) .loadStoreStep ( pred , succ , prop )
491- }
492- }
0 commit comments