JavaScript: Make API-graph edge labels accessible outside ApiGraphs.qll.

This commit is contained in:
Max Schaefer
2020-09-03 08:32:00 +01:00
parent 7239f1fb6f
commit aaa70e4ad3

View File

@@ -665,6 +665,8 @@ module API {
cached cached
int distanceFromRoot(TFeature nd) = shortestDistances(MkRoot/0, edge/2)(_, nd, result) int distanceFromRoot(TFeature nd) = shortestDistances(MkRoot/0, edge/2)(_, nd, result)
} }
import Label as EdgeLabel
} }
private module Label { private module Label {