depends on ambient state like the clock, the locale, environment variables, or global options (stated instead of NonDet)
ends what an opener started: a graphics device, a connection, a sink. Narrower than CallProp.Graphics.
hands back what the program was invoked with, as commandArgs and the option parsers built on it do
sets ambient state later calls read back: the working directory, environment variables, options, the locale, the RNG seed. The counterpart of CallProp.Ambient; a call doing both states both.
talks to a database
calls native code through the foreign function interface, like .Call
touches the file system
dispatches on the class of an argument (S3, S4, or S7), a group generic like + on either operand
yields the paths it matches at run time rather than one it was handed (list.files, Sys.glob); empty is an answer
draws on a graphics device
returns invisibly, so the result is not auto-printed
produces a language object, like quote or deparse
pure on its own, but it runs code it is handed, so whatever that code does happens too.
The parameter it runs is marked ArgProp.Callee or ArgProp.Nse, as with lapply(x, f).
a method that is reached by dispatch, like print.foo (see SigDbInferable)
the result is bounded no matter what flows in: a count, an index, a logical, or one of the values of the
argument marked ArgProp.Bounds. So nothing an argument carries reaches the result, which is what
lets the input-sources query stop tracing at length(x) or match.arg(arg, choices).
always reaches the network, like curl::curl_download. Calls that only do so for some arguments, like
read.csv of a URL, are left to the network-functions rule, which decides that per call site.
the result may differ between two identical calls for a reason neither Random nor Ambient covers (see SigDbInferable)
may emit to standard output, like print or a cat without a file, and follows a sink when one is active
runs a system command
computes a result and nothing else, the positive counterpart of hasUnknownSideEffects (excludes ImpureProps)
draws from the random number generator, or sets its state (stated instead of NonDet)
reads the resource its Resource arguments name
binds, rebinds, or removes names outside of its own frame, like assign or library
produces a temporary path; on its own this touches no file system, so a call that also does states File too
may signal an error, like stop() (see SigDbInferable)
asks the user, like readline or a file chooser
writes the resource its Resource arguments name
What the call as a whole does, as a bitmask. The resource bits (CallProp.File and its neighbors) say where the call gets its data from, which is what InputProps collects.
See
BuiltInFnInfo#props