C# Class Microsoft.Zing.Process

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство	Type	Description
AssertionFailureCtx	ZingSourceContext[]
PredicateContext	PredicateContextIndexer

Private Properties

Свойство	Type	Description
Clone	object
Process	System
RaiseZingException	void
RunNextBlock	void
WriteString	void
checkInStackFrames	System.Collections.Stack
doPop	ZingMethod
doPush	void
revertStackFrames	void
rollbackStackFrames	void

Méthodes publiques

Méthode	Description
Call ( ZingMethod method ) : void
CallPredicateMethod ( ZingMethod predicateMethod ) : bool
ClearCurrentProcesses ( ) : void
ComputeFingerprint ( StateImpl state ) : Fingerprint	Compute the fingerprint of a process. The current implementation computes this fingerprint nonincrementally. But in the future this can be made incremental
ContainsVariable ( string variableName ) : bool	Check if the vaiable is declared in this process
DoCheckIn ( ) : object
DoCheckout ( object currentUle ) : void
DoRevert ( ) : void
DoRollback ( object uleList ) : void
GetCurrentProcess ( int threadId ) : Process
LookupValueByName ( string variableName ) : object
Process ( StateImpl stateObj, ZingMethod entryPoint, string name, uint id ) : System	Constructor
Process ( StateImpl stateObj, ZingMethod entryPoint, string name, uint id, int threadID ) : System
Return ( ZingSourceContext context, ZingAttribute contextAttribute ) : void
UpdateDirectLastFunctionCompleted ( ZingMethod method ) : void

Private Methods

Méthode	Description
Clone ( StateImpl myState, bool shallowCopy ) : object
Process ( StateImpl stateObj, string myName, uint myId ) : System	Private constructor for cloning only
RaiseZingException ( int exception ) : void
RunNextBlock ( ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void
checkInStackFrames ( ) : Stack
doPop ( ) : ZingMethod
doPush ( ZingMethod method ) : void
revertStackFrames ( ) : void
rollbackStackFrames ( Stack sules ) : void

Method Details

Call() public méthode

public Call ( ZingMethod method ) : void
method	ZingMethod
Résultat	void

CallPredicateMethod() public méthode

public CallPredicateMethod ( ZingMethod predicateMethod ) : bool
predicateMethod	ZingMethod
Résultat	bool

ClearCurrentProcesses() public static méthode

public static ClearCurrentProcesses ( ) : void
Résultat	void

ComputeFingerprint() public méthode

Compute the fingerprint of a process. The current implementation computes this fingerprint nonincrementally. But in the future this can be made incremental

public ComputeFingerprint ( StateImpl state ) : Fingerprint
state	StateImpl
Résultat	Fingerprint

ContainsVariable() public méthode

Check if the vaiable is declared in this process

public ContainsVariable ( string variableName ) : bool
variableName	string
Résultat	bool

DoCheckIn() public méthode

public DoCheckIn ( ) : object
Résultat	object

DoCheckout() public méthode

public DoCheckout ( object currentUle ) : void
currentUle	object
Résultat	void

DoRevert() public méthode

public DoRevert ( ) : void
Résultat	void

DoRollback() public méthode

public DoRollback ( object uleList ) : void
uleList	object
Résultat	void

GetCurrentProcess() public static méthode

public static GetCurrentProcess ( int threadId ) : Process
threadId	int
Résultat	Process

LookupValueByName() public méthode

public LookupValueByName ( string variableName ) : object
variableName	string
Résultat	object

Process() public méthode

Constructor

public Process ( StateImpl stateObj, ZingMethod entryPoint, string name, uint id ) : System
stateObj	StateImpl
entryPoint	ZingMethod
name	string
id	uint
Résultat	System

Process() public méthode

public Process ( StateImpl stateObj, ZingMethod entryPoint, string name, uint id, int threadID ) : System
stateObj	StateImpl
entryPoint	ZingMethod
name	string
id	uint
threadID	int
Résultat	System

Return() public méthode

public Return ( ZingSourceContext context, ZingAttribute contextAttribute ) : void
context	ZingSourceContext
contextAttribute	ZingAttribute
Résultat	void

UpdateDirectLastFunctionCompleted() public méthode

public UpdateDirectLastFunctionCompleted ( ZingMethod method ) : void
method	ZingMethod
Résultat	void

Property Details

AssertionFailureCtx public_oe static_oe property

Field to store the assertion failure context

public static ZingSourceContext[] AssertionFailureCtx
Résultat	ZingSourceContext[]

PredicateContext public_oe static_oe property

public static PredicateContextIndexer PredicateContext
Résultat	PredicateContextIndexer