ruby/python: adjust shared file

- move `isNonLocal` to the top
- missing backtics
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-13 11:42:53 +02:00
parent b5961c7f6b
commit e11f6b5107
2 changed files with 16 additions and 16 deletions

View File

@@ -133,6 +133,13 @@ signature module Output<Input I> {
* Implementation of the summary type tracker, that is type tracking through flow summaries.
*/
module SummaryFlow<Input I> implements Output<I> {
pragma[nomagic]
private predicate isNonLocal(I::SummaryComponent component) {
component = I::content(_)
or
component = I::withContent(_)
}
pragma[nomagic]
private predicate hasLoadSummary(
I::SummarizedCallable callable, I::TypeTrackerContent contents, I::SummaryComponentStack input,
@@ -210,15 +217,8 @@ module SummaryFlow<Input I> implements Output<I> {
)
}
pragma[nomagic]
private predicate isNonLocal(I::SummaryComponent component) {
component = I::content(_)
or
component = I::withContent(_)
}
/**
* Gets a data flow I::Node corresponding an argument or return value of `call`,
* Gets a data flow `I::Node` corresponding an argument or return value of `call`,
* as specified by `component`.
*/
bindingset[call, component]