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

Constructors

Properties

astId: undefined | number

Identifier of the function definition.

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

Location of the function definition.

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