machine

Documentation

Index

• type BlockReason
• type BreakpointBlocked
  • func (b BreakpointBlocked) Equals(a BlockReason) bool
  • func (b BreakpointBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool
  • func (b BreakpointBlocked) String() string
• type CheckpointStorage
• type ErrorBlocked
  • func (b ErrorBlocked) Equals(a BlockReason) bool
  • func (b ErrorBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool
  • func (b ErrorBlocked) String() string
• type HaltBlocked
  • func (b HaltBlocked) Equals(a BlockReason) bool
  • func (b HaltBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool
  • func (b HaltBlocked) String() string
• type InboxBlocked
  • func (b InboxBlocked) Equals(a BlockReason) bool
  • func (b InboxBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool
  • func (b InboxBlocked) String() string
• type Machine
• type Status

Types

type BlockReason

type BlockReason interface {
	IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool
	Equals(b BlockReason) bool
}

type BreakpointBlocked

type BreakpointBlocked struct {
}

func (BreakpointBlocked) Equals

func (b BreakpointBlocked) Equals(a BlockReason) bool

func (BreakpointBlocked) IsBlocked

func (b BreakpointBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool

func (BreakpointBlocked) String

func (b BreakpointBlocked) String() string

type CheckpointStorage

type CheckpointStorage interface {
	DeleteCheckpoint(machineHash common.Hash) bool
	CloseCheckpointStorage() bool
	GetInitialMachine() (Machine, error)
	GetMachine(machineHash common.Hash) (Machine, error)
	SaveValue(val value.Value) bool
	GetValue(hashValue common.Hash) value.Value
	DeleteValue(hashValue common.Hash) bool
	SaveData(key []byte, serializedValue []byte) bool
	GetData(key []byte) []byte
	DeleteData(key []byte) bool
}

type ErrorBlocked

type ErrorBlocked struct {
}

func (ErrorBlocked) Equals

func (b ErrorBlocked) Equals(a BlockReason) bool

func (ErrorBlocked) IsBlocked

func (b ErrorBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool

func (ErrorBlocked) String

func (b ErrorBlocked) String() string

type HaltBlocked

type HaltBlocked struct {
}

func (HaltBlocked) Equals

func (b HaltBlocked) Equals(a BlockReason) bool

func (HaltBlocked) IsBlocked

func (b HaltBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool

func (HaltBlocked) String

func (b HaltBlocked) String() string

type InboxBlocked

type InboxBlocked struct {
	Timeout value.IntValue
}

func (InboxBlocked) Equals

func (b InboxBlocked) Equals(a BlockReason) bool

func (InboxBlocked) IsBlocked

func (b InboxBlocked) IsBlocked(m Machine, currentTime *common.TimeBlocks, newMessages bool) bool

func (InboxBlocked) String

func (b InboxBlocked) String() string

type Machine

type Machine interface {
	Hash() common.Hash
	Clone() Machine
	PrintState()

	CurrentStatus() Status
	IsBlocked(currentTime *common.TimeBlocks, newMessages bool) BlockReason

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

	MarshalForProof() ([]byte, error)

	Checkpoint(storage CheckpointStorage) bool
}

type Status

type Status int

const (
	Extensive Status = iota
	ErrorStop
	Halt
)