Documentation ¶
Index ¶
- type Naive
- func (n *Naive) Close()
- func (n *Naive) CreateNewWorkingDir() string
- func (n *Naive) CreateStorage()
- func (n *Naive) GetRequiredTime(id int) (time.Duration, error)
- func (n *Naive) GetStoredHistory(id int) (*SingleTrace, error)
- func (n *Naive) Init()
- func (n *Naive) IsSuccessful(id int) (bool, error)
- func (n *Naive) Name() string
- func (n *Naive) NrStoredHistories() int
- func (n *Naive) RecordNewTrace(newTrace *SingleTrace)
- func (n *Naive) RecordResult(successful bool, requiredTime time.Duration) error
- func (n *Naive) Search(prefix []Action) []int
- func (n *Naive) SearchWithConverter(prefix []Action, converter func(actions []Action) []Action) []int
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Naive ¶
type Naive struct {
// contains filtered or unexported fields
}
type that implements interface HistoryStorage
func (*Naive) CreateNewWorkingDir ¶
func (*Naive) CreateStorage ¶
func (n *Naive) CreateStorage()
CreateStorage(): used for initializing a directory for naive history storage called in a process of "nmz init"
func (*Naive) GetStoredHistory ¶
func (*Naive) NrStoredHistories ¶
func (*Naive) RecordNewTrace ¶
func (n *Naive) RecordNewTrace(newTrace *SingleTrace)
func (*Naive) RecordResult ¶
func (*Naive) SearchWithConverter ¶
Click to show internal directories.
Click to hide internal directories.