machine

type ArbStorage interface {
	Initialize(contractPath string) error
	Initialized() bool
	CloseArbStorage() bool

	GetNodeStore() NodeStore
}

type BlockInfo struct {
	BlockLog uint64
	LogCount uint64
	Header   *types.Header
}

type BlockReason interface {
	IsBlocked(m Machine, newMessages bool) bool
	Equals(b BlockReason) bool
}

type BlockStore interface {
	PutBlock(id *common.BlockId, data []byte) error
	DeleteBlock(id *common.BlockId) error
	GetBlock(id *common.BlockId) ([]byte, error)
	BlocksAtHeight(height *common.TimeBlocks) []*common.BlockId
	IsBlockStoreEmpty() bool
	MaxBlockStoreHeight() *common.TimeBlocks
	MinBlockStoreHeight() *common.TimeBlocks
}

type BreakpointBlocked struct {
}

type DataNotFoundError struct {
	Key []byte
}

type EVMRequestInfo struct {
	RequestId common.Hash
	LogIndex  uint64
}

type ErrorBlocked struct {
}

type HaltBlocked struct {
}

type InboxBlocked struct {
}

type Machine interface {
	Hash() (common.Hash, error)
	Clone() Machine

	CurrentStatus() Status
	IsBlocked(newMessages bool) BlockReason

	ExecuteAssertion(maxGas uint64, goOverGas bool, messages []inbox.InboxMessage, finalMessageOfBlock bool) (*protocol.ExecutionAssertion, []value.Value, uint64)
	ExecuteAssertionAdvanced(maxGas uint64, goOverGas bool, messages []inbox.InboxMessage, finalMessageOfBlock bool, sideloads []inbox.InboxMessage, stopOnSideload bool, beforeSendAcc common.Hash, beforeLogAcc common.Hash) (*protocol.ExecutionAssertion, []value.Value, uint64)

	MarshalForProof() ([]byte, []byte, error)

	MarshalState() ([]byte, error)
}

type MachineNotFoundError struct {
	HashValue common.Hash
}

type NodeStore interface {
	GetPossibleRequestInfo(requestId common.Hash) *uint64
	GetPossibleBlock(blockHash common.Hash) *uint64
	GetBlockInfo(height uint64) (*BlockInfo, error)
	BlockCount() (uint64, error)

	SaveMessageBatch(batchNum *big.Int, logIndex uint64) error
	GetMessageBatch(batchNum *big.Int) *uint64
	SaveBlock(header *types.Header, logIndex, logCount uint64, requests []EVMRequestInfo) error
	Reorg(height uint64) error
}

type Status int

type ValueCache interface {
	Clear()
}

type ValueNotFoundError struct {
	HashValue common.Hash
}