snapshot

type Buffers ¶

type Buffers struct {
	Services []Service
	Input    []byte // Buffered data which the program hasn't received yet.
	Output   []byte // Buffered data which the program has already sent.
}

Buffers of a suspended, halted or terminated program. Contents are undefined while the program is running.

Services, Input, and Output array contents are not mutated, but the arrays may be replaced. Buffers can be reused by making shallow copies.

type Flags ¶

type Flags uint64

const (
	FlagFinal Flags = 1 << iota
)

func (f Flags) Final() bool

type Service ¶

type Service struct {
	Name   string
	Buffer []byte
}

Service state representation.

type Snapshot ¶

type Snapshot struct {
	Flags
	Trap          trap.ID
	Result        int32 // Meaningful when Trap is Exit.
	MonotonicTime uint64
	Breakpoints   []uint64
}