@@ -299,26 +299,6 @@ private module FrameworkDataFlowAdaptor {
299299
300300 FrameworkDataFlowAdaptor ( ) { ltdf .clearsContent ( _, _, this ) }
301301
302- predicate input (
303- CallableFlowSource source , AccessPath sourceAp , SummaryComponent head ,
304- SummaryComponentStack tail , int i
305- ) {
306- none ( )
307- }
308-
309- predicate output (
310- CallableFlowSink sink , AccessPath sinkAp , SummaryComponent head , SummaryComponentStack tail ,
311- int i
312- ) {
313- none ( )
314- }
315-
316- override predicate propagatesFlow (
317- SummaryComponentStack input , SummaryComponentStack output , boolean preservesValue
318- ) {
319- none ( )
320- }
321-
322302 override predicate clearsContent ( ParameterPosition pos , Content content ) {
323303 exists ( SummaryComponentStack input |
324304 ltdf .clearsContent ( toCallableFlowSource ( input ) , content , this ) and
@@ -341,12 +321,6 @@ private module FrameworkDataFlowAdaptor {
341321 head = SummaryComponent:: parameter ( j ) and
342322 this = SummaryComponentStack:: singleton ( SummaryComponent:: argument ( i ) )
343323 )
344- or
345- exists ( FrameworkDataFlowAdaptor adaptor |
346- adaptor .input ( _, _, head , this , _)
347- or
348- adaptor .output ( _, _, head , this , _)
349- )
350324 }
351325
352326 override predicate required ( SummaryComponent c ) { c = head }
0 commit comments