Represents a node in the call graph, corresponding to a function or method.

Constructors

Properties

astId: undefined | number
effects: number = 0
inEdges: Set<CGEdgeId> = ...
loc: undefined | SrcInfo
name: string

The name of the function or method

outEdges: Set<CGEdgeId> = ...
stateAccess: Map<StateKind, Set<string>> = ...

Methods

  • Parameters

    • effect: Effect
    • Optionalfields: string[]

      Names of contract fields accessed or modified by the effect.

    Returns void