JS: cache matchMarkerComment

This commit is contained in:
Esben Sparre Andreasen
2019-05-21 07:56:54 +02:00
parent 189ac6c2bd
commit 1b1e9ed51a

View File

@@ -184,6 +184,7 @@ class FrameworkLibraryInstanceWithMarkerComment extends FrameworkLibraryInstance
* Holds if comment `c` in toplevel `tl` matches the marker comment of library
* `fl` at `version`.
*/
cached
private predicate matchMarkerComment(
Comment c, TopLevel tl, FrameworkLibraryWithMarkerComment fl, string version
) {