프로퍼티 | 타입 | 설명 | |
---|---|---|---|
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 |
protected GetTraversalInfoForTrace ( System.Trace trace ) : |
||
trace | System.Trace | |
리턴 |
protected abstract IterativeSearchStateSpace ( ) : ZingerResult | ||
리턴 | ZingerResult |
protected abstract MustExplore ( |
||
ti | ||
리턴 | bool |
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 | ||
리턴 |