trace

Documentation

Index

• type Element
• type Event
  • func (event Event) MarshalJSON() ([]byte, error)
• type EventState
  • func (acc *EventState) BeginEvent()
  • func (acc *EventState) CommitEvent()
  • func (acc *EventState) CrashEvent(err error)
  • func (acc *EventState) DropEvent()
  • func (acc *EventState) HasRecorder() bool
  • func (acc *EventState) RecordRead(name string, indices []tla.TLAValue, value tla.TLAValue)
  • func (acc *EventState) RecordWrite(name string, indices []tla.TLAValue, value tla.TLAValue)
  • func (acc *EventState) UpdateVClock(clock VClock)
  • func (acc *EventState) VClock() VClock
• type ReadElement
• type Recorder
  • func MakeLocalFileRecorder(filename string) Recorder
• type VClock
  • func (clock VClock) Get(archetypeId string, self tla.TLAValue) int
  • func (vclock *VClock) GobDecode(b []byte) error
  • func (clock *VClock) GobEncode() ([]byte, error)
  • func (clock VClock) Inc(archetypeName string, self tla.TLAValue) VClock
  • func (clock VClock) MarshalJSON() ([]byte, error)
  • func (clock VClock) Merge(other VClock) VClock
  • func (clock VClock) String() string
• type WriteElement

Types

type Element

type Element interface {
	// contains filtered or unexported methods
}

type Event

type Event struct {
	ArchetypeName string
	Self          tla.TLAValue
	Elements      []Element
	Clock         VClock
}

func (Event) MarshalJSON

func (event Event) MarshalJSON() ([]byte, error)

type EventState

type EventState struct {
	Recorder      Recorder
	ArchetypeName string
	ArchetypeSelf tla.TLAValue
	// contains filtered or unexported fields
}

func (*EventState) BeginEvent

func (acc *EventState) BeginEvent()

func (*EventState) CommitEvent

func (acc *EventState) CommitEvent()

func (*EventState) CrashEvent

func (acc *EventState) CrashEvent(err error)

func (*EventState) DropEvent

func (acc *EventState) DropEvent()

func (*EventState) HasRecorder

func (acc *EventState) HasRecorder() bool

func (*EventState) RecordRead

func (acc *EventState) RecordRead(name string, indices []tla.TLAValue, value tla.TLAValue)

func (*EventState) RecordWrite

func (acc *EventState) RecordWrite(name string, indices []tla.TLAValue, value tla.TLAValue)

func (*EventState) UpdateVClock

func (acc *EventState) UpdateVClock(clock VClock)

func (*EventState) VClock

func (acc *EventState) VClock() VClock

type ReadElement

type ReadElement struct {
	Prefix, Name string
	Indices      []tla.TLAValue
	Value        tla.TLAValue
}

type Recorder

type Recorder interface {
	RecordEvent(event Event)
}

func MakeLocalFileRecorder

func MakeLocalFileRecorder(filename string) Recorder

type VClock

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

func (VClock) Get

func (clock VClock) Get(archetypeId string, self tla.TLAValue) int

func (*VClock) GobDecode

func (vclock *VClock) GobDecode(b []byte) error

func (*VClock) GobEncode

func (clock *VClock) GobEncode() ([]byte, error)

func (VClock) Inc

func (clock VClock) Inc(archetypeName string, self tla.TLAValue) VClock

func (VClock) MarshalJSON

func (clock VClock) MarshalJSON() ([]byte, error)

func (VClock) Merge

func (clock VClock) Merge(other VClock) VClock

func (VClock) String

func (clock VClock) String() string

type WriteElement

type WriteElement struct {
	Prefix, Name string
	Indices      []tla.TLAValue
	Value        tla.TLAValue
}