import ql

predicate foo() { none() }

query predicate test() { foo() }

class Foo extends AstNode {

predicate bar() { none() }

predicate baz() { this.bar() }

}

class Sub extends Foo {

override predicate baz() { not super.baz() }

}

query predicate test2() { any(Foo f).bar() }

module Aliases {

predicate myThing2(int i, int j) { i = 2 and j = 3 }

predicate myThing0() { any() }

predicate alias0 = myThing0/0;

predicate alias2 = myThing2/2;

query predicate test3() {

alias2(3, 4) // doesn't work.

or

alias0() // <- works

}

}

module Buildins {

predicate replaceAll(string s) { "foo".replaceAll("foo", "bar") = s }

predicate regexpCapture(string s) { "foo".regexpCapture("\\w", 1) = s }

}

cached

newtype TApiNode = MkRoot()

private predicate edge(TApiNode a, TApiNode b) { a = b }

cached

int distanceFromRoot(TApiNode nd) = shortestDistances(MkRoot/0, edge/2)(_, nd, result)