C# Class Microsoft.Zing.ZingExplorer

The ZingExplorer Class: Performs the state space exploration using different search algorithms based on the ZingerConfiguration.
Show file Open project: ZingModelChecker/Zing

Protected Properties

Property Type Description
AcceptingCycles System.Collections.ArrayList
CancelTokenZingExplorer System.Threading.CancellationTokenSource
SafetyErrors System.Collections.ArrayList
StartStateTraversalInfo TraversalInfo
lastErrorFound ZingerResult

Public Methods

Method Description
Explore ( ) : ZingerResult
ExploreWithDronacharya ( ) : ZingerResult
PrintErrorTracesDetailed ( ) : void
PrintErrorTracesToFile ( ) : void
ZingExplorer ( ) : System

Protected Methods

Method Description
GetTraversalInfoForTrace ( System.Trace trace ) : TraversalInfo
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

Private Methods

Method Description
Initialize ( ) : void

Method Details

Explore() public method

public Explore ( ) : ZingerResult
return ZingerResult

ExploreWithDronacharya() public method

public ExploreWithDronacharya ( ) : ZingerResult
return ZingerResult

GetTraversalInfoForTrace() protected method

protected GetTraversalInfoForTrace ( System.Trace trace ) : TraversalInfo
trace System.Trace
return TraversalInfo

IterativeSearchStateSpace() protected abstract method

protected abstract IterativeSearchStateSpace ( ) : ZingerResult
return ZingerResult

MustExplore() protected abstract method

protected abstract MustExplore ( TraversalInfo ti ) : bool
ti TraversalInfo
return bool

PrintErrorTracesDetailed() public method

public PrintErrorTracesDetailed ( ) : void
return void

PrintErrorTracesToFile() public method

public PrintErrorTracesToFile ( ) : void
return void

SearchStateSpace() protected abstract method

protected abstract SearchStateSpace ( object obj ) : void
obj object
return void

VisitState() protected abstract method

protected abstract VisitState ( TraversalInfo ti ) : void
ti TraversalInfo
return void

ZingExplorer() public method

public ZingExplorer ( ) : System
return System

Property Details

AcceptingCycles protected property

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

CancelTokenZingExplorer protected property

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

SafetyErrors protected property

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

StartStateTraversalInfo protected property

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

lastErrorFound protected property

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