No magic isLibraryFile

This commit is contained in:
Josh Brown
2024-11-21 19:52:03 -08:00
parent 7a252e4089
commit 15f92fcda8

View File

@@ -73,6 +73,7 @@ predicate isExternsFile(File f) {
/**
* Holds if `f` contains library code.
*/
pragma[nomagic]
predicate isLibraryFile(File f) { f.getATopLevel() instanceof FrameworkLibraryInstance }
/**