Class Contract

Represents an entry for a contract in the compilation unit which encapsulates a collection of related methods and their configurations.

Index

Constructors

Properties

idx methods name ref

Constructors

constructor

new Contract(name, methods, ref, idx?): Contract
Creates an instance of Contract.
Parameters
- name: string
  The unique name identifying this contract within the project.
- methods: Map<number, CFG>
  A mapping of method ids to their CFGs.
- ref: SrcInfo
  AST reference that corresponds to the contract definition.
- idx: undefined | number = undefined
  An optional unique index. If not set, a new one will be chosen automatically.
Returns Contract
- Defined in internals/ir/cfg.ts:267

Properties

idx

idx: number

The unique identifier of this Contract among the compilation unit it belongs to.

methods

methods: Map<number, CFG>

A mapping of method ids to their CFGs.

name

name: string

The unique name identifying this contract within the project.

ref

ref: SrcInfo

AST reference that corresponds to the contract definition.