Predicate graphProperties
Holds if property key
of the graph has the given value
.
Import path
import semmle.code.java.PrintAst
predicate
graphProperties
(
string
key
,
string
value
)