C# Class Microsoft.Zing.ZingExplorer

The ZingExplorer Class: Performs the state space exploration using different search algorithms based on the ZingerConfiguration.
Exibir arquivo 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_oe property

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

CancelTokenZingExplorer protected_oe property

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

SafetyErrors protected_oe property

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

StartStateTraversalInfo protected_oe property

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

lastErrorFound protected_oe property

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