Creates an instance of Contract.
The unique name identifying this contract within the project.
A mapping of method ids to their CFGs.
AST reference that corresponds to the contract definition.
An optional unique index. If not set, a new one will be chosen automatically.
Represents an entry for a contract in the compilation unit which encapsulates a collection of related methods and their configurations.