add "class Deferred{...}" as potential Deferred implementation to fix the tests

This commit is contained in:
Erik Krogh Kristensen
2019-10-10 11:50:34 +02:00
parent 4ec825b5b6
commit 0a6b343820

View File

@@ -46,10 +46,15 @@ module Deferred {
or
result.(DataFlow::ParameterNode).getName() = "Deferred"
or
exists(Function f |
exists(Function f |
f.getName() = "Deferred" and
result = DataFlow::valueNode(f)
)
or
exists(ClassDefinition c |
c.getName() = "Deferred" and
result = DataFlow::valueNode(c)
)
)
and
// Sanity check that it is a Deferred implementation