Skip to content

Commit

Permalink
JS: Address review comments
Browse files Browse the repository at this point in the history
  • Loading branch information
asgerf committed Apr 12, 2024
1 parent f5355cf commit 15eabb4
Showing 1 changed file with 5 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,13 @@ private import Shared
/**
* Holds if some proper prefix of `(type, path)` evaluated to `node`, where `remainingPath`
* is bound to the suffix of `path` that was not evaluated yet.
*
* See concrete examples in `TypeGraphExport`.
*/
bindingset[type, path]
predicate partiallyEvaluatedModel(string type, string path, API::Node node, string remainingPath) {
private predicate partiallyEvaluatedModel(
string type, string path, API::Node node, string remainingPath
) {
exists(int n, AccessPath accessPath |
accessPath = path and
getNodeFromPath(type, accessPath, n) = node and
Expand Down

0 comments on commit 15eabb4

Please sign in to comment.