Свойство | Тип | Описание | |
---|---|---|---|
AcceptingCycles | |||
CancelTokenZingExplorer | |||
SafetyErrors | |||
StartStateTraversalInfo | |||
lastErrorFound | ZingerResult |
Метод | Описание | |
---|---|---|
Explore ( ) : ZingerResult | ||
ExploreWithDronacharya ( ) : ZingerResult | ||
PrintErrorTracesDetailed ( ) : void | ||
PrintErrorTracesToFile ( ) : void | ||
ZingExplorer ( ) : System |
Метод | Описание | |
---|---|---|
GetTraversalInfoForTrace ( System.Trace trace ) : |
||
IterativeSearchStateSpace ( ) : ZingerResult | ||
MustExplore ( |
||
SearchStateSpace ( object obj ) : void | ||
VisitState ( |
Метод | Описание | |
---|---|---|
Initialize ( ) : void |
public ExploreWithDronacharya ( ) : ZingerResult | ||
Результат | ZingerResult |
protected GetTraversalInfoForTrace ( System.Trace trace ) : |
||
trace | System.Trace | |
Результат |
protected abstract IterativeSearchStateSpace ( ) : ZingerResult | ||
Результат | ZingerResult |
protected abstract MustExplore ( |
||
ti | ||
Результат | bool |
public PrintErrorTracesDetailed ( ) : void | ||
Результат | void |
protected abstract SearchStateSpace ( object obj ) : void | ||
obj | object | |
Результат | void |
protected abstract VisitState ( |
||
ti | ||
Результат | void |
protected ArrayList,System.Collections AcceptingCycles | ||
Результат |
protected CancellationTokenSource,System.Threading CancelTokenZingExplorer | ||
Результат |
protected ArrayList,System.Collections SafetyErrors | ||
Результат |
protected TraversalInfo,Microsoft.Zing StartStateTraversalInfo | ||
Результат |