python: implement missing predicates

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-14 21:30:58 +02:00
parent 0267b32904
commit 4fded84a49

View File

@@ -207,9 +207,9 @@ private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
// Relating content to summaries
predicate content = FlowSummary::SummaryComponent::content/1;
predicate withoutContent = FlowSummary::SummaryComponent::withoutContent/1;
SummaryComponent withoutContent(TypeTrackerContent contents) { none() }
predicate withContent = FlowSummary::SummaryComponent::withContent/1;
SummaryComponent withContent(TypeTrackerContent contents) { none() }
predicate return = FlowSummary::SummaryComponent::return/0;