Member predicate Call::hasNoRuntimeArguments
Holds if this call has no arguments that correspond to a parameter of a potential (run-time) target of this call.
predicate hasNoRuntimeArguments()Holds if this call has no arguments that correspond to a parameter of a potential (run-time) target of this call.
predicate hasNoRuntimeArguments()