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()