C# Класс Microsoft.Zing.ZingExplorer

The ZingExplorer Class: Performs the state space exploration using different search algorithms based on the ZingerConfiguration.
Показать файл Открыть проект

Защищенные свойства (Protected)

Свойство Тип Описание
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