@@ -400,6 +400,55 @@ module Private {
400400 )
401401 }
402402
403+ private predicate testsummaryElement (
404+ Input:: SummarizedCallableBase c , string namespace , string type , boolean subtypes , string name ,
405+ string signature , string ext , string originalInput , string originalOutput , string kind ,
406+ string provenance , string model , boolean isExact
407+ ) {
408+ exists ( string input , string output , Callable baseCallable |
409+ summaryModel ( namespace , type , subtypes , name , signature , ext , originalInput , originalOutput ,
410+ kind , provenance , model ) and
411+ baseCallable = interpretElement ( namespace , type , subtypes , name , signature , ext , isExact ) and
412+ (
413+ c .asCallable ( ) = baseCallable and input = originalInput and output = originalOutput
414+ or
415+ correspondingKotlinParameterDefaultsArgSpec ( baseCallable , c .asCallable ( ) , originalInput ,
416+ input ) and
417+ correspondingKotlinParameterDefaultsArgSpec ( baseCallable , c .asCallable ( ) , originalOutput ,
418+ output )
419+ )
420+ )
421+ }
422+
423+ private predicate testsummaryElement2 (
424+ string namespace , string type , boolean subtypes , string name , string signature , string ext ,
425+ string originalInput , string originalOutput , string kind , string provenance , string model ,
426+ string namespace2 , string type2
427+ ) {
428+ exists ( Input:: SummarizedCallableBase c |
429+ testsummaryElement ( c , namespace2 , type2 , _, _, _, ext , originalInput , originalOutput , kind ,
430+ provenance , model , false ) and
431+ testsummaryElement ( c , namespace , type , subtypes , name , _, _, _, _, _, provenance , _, true ) and
432+ signature = paramsString ( c .asCallable ( ) ) and
433+ not testsummaryElement ( c , _, _, _, _, _, _, originalInput , originalOutput , kind , provenance ,
434+ _, true )
435+ )
436+ }
437+
438+ private string getAMissingManualModel ( string namespace2 , string type2 ) {
439+ exists (
440+ string namespace , string type , boolean subtypes , string name , string signature , string ext ,
441+ string originalInput , string originalOutput , string kind , string provenance , string model
442+ |
443+ testsummaryElement2 ( namespace , type , subtypes , name , signature , ext , originalInput ,
444+ originalOutput , kind , provenance , model , namespace2 , type2 ) and
445+ result =
446+ "- [\"" + namespace + "\", \"" + type + "\", True, \"" + name + "\", \"" + signature +
447+ "\", \"\", \"" + originalInput + "\", \"" + originalOutput + "\", \"" + kind + "\", \"" +
448+ provenance + "\"]"
449+ )
450+ }
451+
403452 predicate neutralElement = Input:: neutralElement / 4 ;
404453 }
405454
0 commit comments