server

type AdminService struct{}

type InstallSeq struct {
	InstallView    *view.View
	ViewSeq        ViewSeq
	AssociatedView *view.View
}

type InstallSeqMsg struct {
	Sender view.Process
	InstallSeq
}

type ReconfigMsg struct {
	Update         view.Update
	AssociatedView *view.View
}

type ReconfigurationRequest int

type RegisterService struct{}

type RegisterValue struct {
	Value     interface{}
	Timestamp uint64
}

type SeqConv struct {
	Seq ViewSeq
}

type SeqConvMsg struct {
	AssociatedView *view.View
	SeqConv
}

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

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

type Storage interface {
	Read(name string) (RegisterValue, error)
	Write(name string, value RegisterValue) error
	LockAll()
	UnlockAll()
}

type SyncStateMsg struct {
	Value          interface{}
	Timestamp      int
	Recv           map[view.Update]bool
	AssociatedView *view.View
}

type Value struct {
	Value     interface{}
	Timestamp int

	ViewRef view.ViewRef
	Err     error
	// contains filtered or unexported fields
}

type ViewGeneratorRequest int

type ViewInstalledMsg struct {
	InstalledView *view.View
}

type ViewSeq []*view.View

type ViewSeqMsg struct {
	Sender           view.Process
	AssociatedView   *view.View
	ProposedSeq      ViewSeq
	LastConvergedSeq ViewSeq
}