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

Наследование: IFingerprintableState

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
CurrentDepth	long
IsAcceptingState	bool
IsFingerPrinted	bool
NumProcesses	int
Predecessor	TraversalInfo
ProcessInfo	System.Diagnostics.ProcessInfo[]
Via	Via
ZingDBSchedState	ZingerSchedulerState
ZingDBScheduler	ZingerDelayingScheduler
ZingerPlugin	ZingerPluginInterface
ZingerPluginState	ZingerPluginState
fingerprint	Fingerprint
preemptionBounding	ZingPreemptionBounding
stateType	StateType
zBounds	ZingerBounds

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

Свойство	Тип	Описание
doDelay	bool
events	Microsoft.Zing.ZingEvent[]
exception	System.Exception
hasMultipleSuccessors	bool
stateImpl	StateImpl

Открытые методы

Метод	Описание
Clone ( ) : TraversalInfo
Clone ( int SerialNum ) : TraversalInfo	A Clone method
DiscardStateImpl ( ) : void
Equals ( object obj ) : bool
Equals ( object obj1, object obj2 ) : bool
GenerateNonCompactTrace ( ) : Trace	Generate Noncompact trace for Error Reporting
GenerateTrace ( ) : Trace
GetDelayedSuccessor ( ) : TraversalInfo
GetHashCode ( ) : int
GetNextSuccessor ( ) : TraversalInfo
GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
GetNextSuccessorUniformRandomly ( ) : TraversalInfo
GetStateImpl ( ) : StateImpl
GetSuccessorN ( int n ) : TraversalInfo
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
IsInvalidEndState ( ) : bool
Load ( Assembly asm ) : TraversalInfo
MakeTraversalInfo ( StateImpl s ) : TraversalInfo	Used to obtain a traversalinfo when the entire state is saved at a depth cut off
NumSuccessors ( ) : ushort
ProgramCounters ( ) : ProgramCounterTuple
Reset ( ) : void
SetMagicbit ( ) : TraversalInfo	Set the magic bit for NDFS
ToString ( ) : string
reclaimState ( ) : StateImpl

Защищенные методы

Метод	Описание
MakeTraversalInfo ( StateImpl s, TraversalInfo pred, Via bt ) : TraversalInfo
MakeTraversalInfo ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : TraversalInfo
Replay ( TraversalInfo succ, Via bt ) : void
TraversalInfo ( StateImpl s, StateType st, TraversalInfo pred, Via bt ) : System

Приватные методы

Метод	Описание
DumpEvents ( ) : string
deOrphanize ( StateImpl s ) : void

Описание методов

Clone() публичный Метод

public Clone ( ) : TraversalInfo
Результат	TraversalInfo

Clone() публичный Метод

A Clone method

public Clone ( int SerialNum ) : TraversalInfo
SerialNum	int
Результат	TraversalInfo

DiscardStateImpl() публичный Метод

public DiscardStateImpl ( ) : void
Результат	void

Equals() публичный Метод

public Equals ( object obj ) : bool
obj	object
Результат	bool

Equals() публичный статический Метод

public static Equals ( object obj1, object obj2 ) : bool
obj1	object
obj2	object
Результат	bool

GenerateNonCompactTrace() публичный Метод

Generate Noncompact trace for Error Reporting

public GenerateNonCompactTrace ( ) : Trace
Результат	Trace

GenerateTrace() публичный Метод

public GenerateTrace ( ) : Trace
Результат	Trace

GetDelayedSuccessor() публичный абстрактный Метод

public abstract GetDelayedSuccessor ( ) : TraversalInfo
Результат	TraversalInfo

GetHashCode() публичный Метод

public GetHashCode ( ) : int
Результат	int

GetNextSuccessor() публичный абстрактный Метод

public abstract GetNextSuccessor ( ) : TraversalInfo
Результат	TraversalInfo

GetNextSuccessorUnderDelayZeroForRW() публичный абстрактный Метод

public abstract GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
Результат	TraversalInfo

GetNextSuccessorUniformRandomly() публичный абстрактный Метод

public abstract GetNextSuccessorUniformRandomly ( ) : TraversalInfo
Результат	TraversalInfo

GetStateImpl() публичный Метод

public GetStateImpl ( ) : StateImpl
Результат	StateImpl

GetSuccessorN() публичный абстрактный Метод

public abstract GetSuccessorN ( int n ) : TraversalInfo
n	int
Результат	TraversalInfo

GetSuccessorNForReplay() публичный абстрактный Метод

public abstract GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
n	int
MustFingerprint	bool
Результат	TraversalInfo

IsInvalidEndState() публичный Метод

public IsInvalidEndState ( ) : bool
Результат	bool

Load() публичный статический Метод

public static Load ( Assembly asm ) : TraversalInfo
asm	System.Reflection.Assembly
Результат	TraversalInfo

MakeTraversalInfo() публичный статический Метод

Used to obtain a traversalinfo when the entire state is saved at a depth cut off

public static MakeTraversalInfo ( StateImpl s ) : TraversalInfo
s	StateImpl	The StateImpl object of the checkpointed state
Результат	TraversalInfo

MakeTraversalInfo() защищенный статический Метод

protected static MakeTraversalInfo ( StateImpl s, TraversalInfo pred, Via bt ) : TraversalInfo
s	StateImpl
pred	TraversalInfo
bt	Via
Результат	TraversalInfo

MakeTraversalInfo() защищенный статический Метод

protected static MakeTraversalInfo ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : TraversalInfo
s	StateImpl
pred	TraversalInfo
bt	Via
MustFingerprint	bool
Результат	TraversalInfo

NumSuccessors() публичный абстрактный Метод

public abstract NumSuccessors ( ) : ushort
Результат	ushort

ProgramCounters() публичный Метод

public ProgramCounters ( ) : ProgramCounterTuple
Результат	ProgramCounterTuple

Replay() защищенный абстрактный Метод

protected abstract Replay ( TraversalInfo succ, Via bt ) : void
succ	TraversalInfo
bt	Via
Результат	void

Reset() публичный абстрактный Метод

public abstract Reset ( ) : void
Результат	void

SetMagicbit() публичный Метод

Set the magic bit for NDFS

public SetMagicbit ( ) : TraversalInfo
Результат	TraversalInfo

ToString() публичный Метод

public ToString ( ) : string
Результат	string

TraversalInfo() защищенный Метод

protected TraversalInfo ( StateImpl s, StateType st, TraversalInfo pred, Via bt ) : System
s	StateImpl
st	StateType
pred	TraversalInfo
bt	Via
Результат	System

reclaimState() публичный Метод

public reclaimState ( ) : StateImpl
Результат	StateImpl

Описание свойств

CurrentDepth публичное свойство

Depth of the current state from the initial state

public long CurrentDepth
Результат	long

IsAcceptingState публичное свойство

Is the current state an accepting state, the but is set after executing the accepting transition

public bool IsAcceptingState
Результат	bool

IsFingerPrinted публичное свойство

Is the current state fingerprinted, state may not be fingerprinted if it has single successor

public bool IsFingerPrinted
Результат	bool

NumProcesses публичное свойство

Total number of processes (blocked or enabled)

public int NumProcesses
Результат	int

Predecessor публичное свойство

Predecessor and Successor information for replaying the stack trace from initial state

public TraversalInfo,Microsoft.Zing Predecessor
Результат	TraversalInfo

ProcessInfo публичное свойство

public ProcessInfo[],System.Diagnostics ProcessInfo
Результат	System.Diagnostics.ProcessInfo[]

Via публичное свойство

Used to store the transition used to enter the current state

public Via,Microsoft.Zing Via
Результат	Via

ZingDBSchedState публичное свойство

public ZingerSchedulerState,Microsoft.Zing ZingDBSchedState
Результат	ZingerSchedulerState

ZingDBScheduler публичное свойство

The delaying scheduler Info for the current state.

public ZingerDelayingScheduler,Microsoft.Zing ZingDBScheduler
Результат	ZingerDelayingScheduler

ZingerPlugin публичное свойство

public ZingerPluginInterface,Microsoft.Zing ZingerPlugin
Результат	ZingerPluginInterface

ZingerPluginState публичное свойство

public ZingerPluginState,Microsoft.Zing ZingerPluginState
Результат	ZingerPluginState

doDelay защищенное свойство

Should we delay or explore the deterministic schedule. When true, the schedule is delayed.

protected bool doDelay
Результат	bool

events защищенное свойство

protected ZingEvent[],Microsoft.Zing events
Результат	Microsoft.Zing.ZingEvent[]

exception защищенное свойство

protected Exception,System exception
Результат	System.Exception

fingerprint публичное свойство

Fingerprint of the current state

public Fingerprint fingerprint
Результат	Fingerprint

hasMultipleSuccessors защищенное свойство

If the state has multiple successors

protected bool hasMultipleSuccessors
Результат	bool

preemptionBounding публичное свойство

Information for preemption bounding.

public ZingPreemptionBounding,Microsoft.Zing preemptionBounding
Результат	ZingPreemptionBounding

stateImpl защищенное свойство

Current State Impl

protected StateImpl stateImpl
Результат	StateImpl

stateType публичное свойство

Type of Current State

public StateType stateType
Результат	StateType

zBounds публичное свойство

Search bounds at the current state

public ZingerBounds,Microsoft.Zing zBounds
Результат	ZingerBounds