C# Class Microsoft.Zing.ZingExplorer

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

Protected Properties

Свойство Type Description
AcceptingCycles System.Collections.ArrayList
CancelTokenZingExplorer System.Threading.CancellationTokenSource
SafetyErrors System.Collections.ArrayList
StartStateTraversalInfo TraversalInfo
lastErrorFound ZingerResult

Méthodes publiques

Méthode Description
Explore ( ) : ZingerResult
ExploreWithDronacharya ( ) : ZingerResult
PrintErrorTracesDetailed ( ) : void
PrintErrorTracesToFile ( ) : void
ZingExplorer ( ) : System

Méthodes protégées

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

Private Methods

Méthode Description
Initialize ( ) : void

Method Details

Explore() public méthode

public Explore ( ) : ZingerResult
Résultat ZingerResult

ExploreWithDronacharya() public méthode

public ExploreWithDronacharya ( ) : ZingerResult
Résultat ZingerResult

GetTraversalInfoForTrace() protected méthode

protected GetTraversalInfoForTrace ( System.Trace trace ) : TraversalInfo
trace System.Trace
Résultat TraversalInfo

IterativeSearchStateSpace() protected abstract méthode

protected abstract IterativeSearchStateSpace ( ) : ZingerResult
Résultat ZingerResult

MustExplore() protected abstract méthode

protected abstract MustExplore ( TraversalInfo ti ) : bool
ti TraversalInfo
Résultat bool

PrintErrorTracesDetailed() public méthode

public PrintErrorTracesDetailed ( ) : void
Résultat void

PrintErrorTracesToFile() public méthode

public PrintErrorTracesToFile ( ) : void
Résultat void

SearchStateSpace() protected abstract méthode

protected abstract SearchStateSpace ( object obj ) : void
obj object
Résultat void

VisitState() protected abstract méthode

protected abstract VisitState ( TraversalInfo ti ) : void
ti TraversalInfo
Résultat void

ZingExplorer() public méthode

public ZingExplorer ( ) : System
Résultat System

Property Details

AcceptingCycles protected_oe property

Stores the liveness error traces
protected ArrayList,System.Collections AcceptingCycles
Résultat System.Collections.ArrayList

CancelTokenZingExplorer protected_oe property

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

SafetyErrors protected_oe property

Stores the safety error traces
protected ArrayList,System.Collections SafetyErrors
Résultat System.Collections.ArrayList

StartStateTraversalInfo protected_oe property

Traversal Info for the Initial state of the system
protected TraversalInfo,Microsoft.Zing StartStateTraversalInfo
Résultat TraversalInfo

lastErrorFound protected_oe property

Stores the return value for the explorer
protected ZingerResult lastErrorFound
Résultat ZingerResult