cmachine

Documentation

Index

• type CheckpointStorage
  • func NewCheckpoint(dbPath string, contractPath string) (*CheckpointStorage, error)
  • func (checkpoint *CheckpointStorage) CloseCheckpointStorage() bool
  • func (checkpoint *CheckpointStorage) DeleteCheckpoint(machineHash common.Hash) bool
  • func (checkpoint *CheckpointStorage) DeleteData(key []byte) bool
  • func (checkpoint *CheckpointStorage) DeleteValue(hashValue common.Hash) bool
  • func (checkpoint *CheckpointStorage) GetData(key []byte) []byte
  • func (checkpoint *CheckpointStorage) GetInitialMachine() (machine.Machine, error)
  • func (checkpoint *CheckpointStorage) GetMachine(machineHash common.Hash) (machine.Machine, error)
  • func (checkpoint *CheckpointStorage) GetValue(hashValue common.Hash) value.Value
  • func (checkpoint *CheckpointStorage) SaveData(key []byte, data []byte) bool
  • func (checkpoint *CheckpointStorage) SaveValue(val value.Value) bool
• type Machine
  • func New(codeFile string) (*Machine, error)
  • func (m *Machine) Checkpoint(storage machine.CheckpointStorage) bool
  • func (m *Machine) Clone() machine.Machine
  • func (m *Machine) CurrentStatus() machine.Status
  • func (m *Machine) ExecuteAssertion(maxSteps uint64, timeBounds *protocol.TimeBounds, inbox value.TupleValue, ...) (*protocol.ExecutionAssertion, uint64)
  • func (m *Machine) Hash() (ret common.Hash)
  • func (m *Machine) IsBlocked(currentTime *common.TimeBlocks, newMessages bool) machine.BlockReason
  • func (m *Machine) MarshalForProof() ([]byte, error)
  • func (m *Machine) PrintState()

Types

type CheckpointStorage

type CheckpointStorage struct {
	// contains filtered or unexported fields
}

func NewCheckpoint

func NewCheckpoint(dbPath string, contractPath string) (*CheckpointStorage, error)

func (*CheckpointStorage) CloseCheckpointStorage

func (checkpoint *CheckpointStorage) CloseCheckpointStorage() bool

func (*CheckpointStorage) DeleteCheckpoint

func (checkpoint *CheckpointStorage) DeleteCheckpoint(machineHash common.Hash) bool

func (*CheckpointStorage) DeleteData

func (checkpoint *CheckpointStorage) DeleteData(key []byte) bool

func (*CheckpointStorage) DeleteValue

func (checkpoint *CheckpointStorage) DeleteValue(hashValue common.Hash) bool

func (*CheckpointStorage) GetData

func (checkpoint *CheckpointStorage) GetData(key []byte) []byte

func (*CheckpointStorage) GetInitialMachine

func (checkpoint *CheckpointStorage) GetInitialMachine() (machine.Machine, error)

func (*CheckpointStorage) GetMachine

func (checkpoint *CheckpointStorage) GetMachine(machineHash common.Hash) (machine.Machine, error)

func (*CheckpointStorage) GetValue

func (checkpoint *CheckpointStorage) GetValue(hashValue common.Hash) value.Value

func (*CheckpointStorage) SaveData

func (checkpoint *CheckpointStorage) SaveData(key []byte, data []byte) bool

func (*CheckpointStorage) SaveValue

func (checkpoint *CheckpointStorage) SaveValue(val value.Value) bool

type Machine

type Machine struct {
	// contains filtered or unexported fields
}

func New

func New(codeFile string) (*Machine, error)

func (*Machine) Checkpoint

func (m *Machine) Checkpoint(storage machine.CheckpointStorage) bool

func (*Machine) Clone

func (m *Machine) Clone() machine.Machine

func (*Machine) CurrentStatus

func (m *Machine) CurrentStatus() machine.Status

func (*Machine) ExecuteAssertion

func (m *Machine) ExecuteAssertion(
	maxSteps uint64,
	timeBounds *protocol.TimeBounds,
	inbox value.TupleValue,
	maxWallTime time.Duration,
) (*protocol.ExecutionAssertion, uint64)

func (*Machine) Hash

func (m *Machine) Hash() (ret common.Hash)

func (*Machine) IsBlocked

func (m *Machine) IsBlocked(currentTime *common.TimeBlocks, newMessages bool) machine.BlockReason

func (*Machine) MarshalForProof

func (m *Machine) MarshalForProof() ([]byte, error)

func (*Machine) PrintState

func (m *Machine) PrintState()