Move getAChildContainer one scope up

This commit is contained in:
Asger F
2025-04-24 09:12:48 +02:00
parent 6e64a22579
commit eb059969e3

View File

@@ -221,6 +221,12 @@ module Make<InputSig Input> {
/** Provides logic related to `Folder`s. */
module Folder {
pragma[nomagic]
private Container getAChildContainer(Container c, string baseName) {
result = c.getAChildContainer() and
baseName = result.getBaseName()
}
/** Holds if `relativePath` needs to be appended to `f`. */
signature predicate shouldAppendSig(Folder f, string relativePath);
@@ -239,12 +245,6 @@ module Make<InputSig Input> {
result = 0
}
pragma[nomagic]
private Container getAChildContainer(Container c, string baseName) {
result = c.getAChildContainer() and
baseName = result.getBaseName()
}
pragma[nomagic]
private Container appendStep(Folder f, string relativePath, int i) {
i = -1 and