C# 클래스 Microsoft.Zing.ZingExplorer

The ZingExplorer Class: Performs the state space exploration using different search algorithms based on the ZingerConfiguration.
파일 보기 프로젝트 열기: ZingModelChecker/Zing

보호된 프로퍼티들

프로퍼티 타입 설명
AcceptingCycles System.Collections.ArrayList
CancelTokenZingExplorer System.Threading.CancellationTokenSource
SafetyErrors System.Collections.ArrayList
StartStateTraversalInfo TraversalInfo
lastErrorFound ZingerResult

공개 메소드들

메소드 설명
Explore ( ) : ZingerResult
ExploreWithDronacharya ( ) : ZingerResult
PrintErrorTracesDetailed ( ) : void
PrintErrorTracesToFile ( ) : void
ZingExplorer ( ) : System

보호된 메소드들

메소드 설명
GetTraversalInfoForTrace ( System.Trace trace ) : TraversalInfo
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

비공개 메소드들

메소드 설명
Initialize ( ) : void

메소드 상세

Explore() 공개 메소드

public Explore ( ) : ZingerResult
리턴 ZingerResult

ExploreWithDronacharya() 공개 메소드

public ExploreWithDronacharya ( ) : ZingerResult
리턴 ZingerResult

GetTraversalInfoForTrace() 보호된 메소드

protected GetTraversalInfoForTrace ( System.Trace trace ) : TraversalInfo
trace System.Trace
리턴 TraversalInfo

IterativeSearchStateSpace() 보호된 추상적인 메소드

protected abstract IterativeSearchStateSpace ( ) : ZingerResult
리턴 ZingerResult

MustExplore() 보호된 추상적인 메소드

protected abstract MustExplore ( TraversalInfo ti ) : bool
ti TraversalInfo
리턴 bool

PrintErrorTracesDetailed() 공개 메소드

public PrintErrorTracesDetailed ( ) : void
리턴 void

PrintErrorTracesToFile() 공개 메소드

public PrintErrorTracesToFile ( ) : void
리턴 void

SearchStateSpace() 보호된 추상적인 메소드

protected abstract SearchStateSpace ( object obj ) : void
obj object
리턴 void

VisitState() 보호된 추상적인 메소드

protected abstract VisitState ( TraversalInfo ti ) : void
ti TraversalInfo
리턴 void

ZingExplorer() 공개 메소드

public ZingExplorer ( ) : System
리턴 System

프로퍼티 상세

AcceptingCycles 보호되어 있는 프로퍼티

Stores the liveness error traces
protected ArrayList,System.Collections AcceptingCycles
리턴 System.Collections.ArrayList

CancelTokenZingExplorer 보호되어 있는 프로퍼티

Cancellation token so that Zinger can be terminated from command line.
protected CancellationTokenSource,System.Threading CancelTokenZingExplorer
리턴 System.Threading.CancellationTokenSource

SafetyErrors 보호되어 있는 프로퍼티

Stores the safety error traces
protected ArrayList,System.Collections SafetyErrors
리턴 System.Collections.ArrayList

StartStateTraversalInfo 보호되어 있는 프로퍼티

Traversal Info for the Initial state of the system
protected TraversalInfo,Microsoft.Zing StartStateTraversalInfo
리턴 TraversalInfo

lastErrorFound 보호되어 있는 프로퍼티

Stores the return value for the explorer
protected ZingerResult lastErrorFound
리턴 ZingerResult