Member predicate InvokeExpr :: hasOptionArgument
Holds if the i
th argument of this invocation is an object literal whose property
name
is set to value
.
This predicate is an approximation, computed using only local data flow.
predicate
hasOptionArgument
(
int
i
,
string
name
,
Expr
value
)