ReadonlyassumedReadonlydrawsthe calls tagged SemanticCallTag.Graphics (plot, lines, par, ...), which write the canvas only if semantics.ambient.drawingWritesDevice is set; the graph does not know them for a single call
ReadonlylocalReadonlyreadsReadonlyvariablesthe global variables the functions the code calls may bind, by x <<- 1 reaching the global frame or assign("x", 1, envir = .GlobalEnv), with the ids of these definitions; the graph does not know them for a single call
Readonlywrites
What code accesses of the global state, for a single call (see DataflowGraph#ambientAccessOf) just like for a function or any other part of a program (see Dataflow.sideEffects.ambientAccess). Every kind maps the accessed state to the ids of the calls accessing it.