@@ -529,6 +529,13 @@ private predicate interpretSummary(
529
529
)
530
530
}
531
531
532
+ private predicate interpretNeutral ( UnboundCallable c , string kind , string provenance ) {
533
+ exists ( string namespace , string type , string name , string signature |
534
+ neutralModel ( namespace , type , name , signature , kind , provenance ) and
535
+ c = interpretElement ( namespace , type , false , name , signature , "" )
536
+ )
537
+ }
538
+
532
539
// adapter class for converting Mad summaries to `SummarizedCallable`s
533
540
private class SummarizedCallableAdapter extends SummarizedCallable {
534
541
SummarizedCallableAdapter ( ) { interpretSummary ( this , _, _, _, _) }
@@ -568,12 +575,7 @@ private class NeutralCallableAdapter extends NeutralCallable {
568
575
string kind ;
569
576
string provenance_ ;
570
577
571
- NeutralCallableAdapter ( ) {
572
- exists ( string namespace , string type , string name , string signature |
573
- neutralModel ( namespace , type , name , signature , kind , provenance_ ) and
574
- this = interpretElement ( namespace , type , false , name , signature , "" )
575
- )
576
- }
578
+ NeutralCallableAdapter ( ) { interpretNeutral ( this , kind , provenance_ ) }
577
579
578
580
override string getKind ( ) { result = kind }
579
581
0 commit comments