C# Class Microsoft.Zing.Process

Mostra file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
AssertionFailureCtx	ZingSourceContext[]
PredicateContext	PredicateContextIndexer

Private Properties

Property	Type	Description
Clone	object
Process	System
RaiseZingException	void
RunNextBlock	void
WriteString	void
checkInStackFrames	System.Collections.Stack
doPop	ZingMethod
doPush	void
revertStackFrames	void
rollbackStackFrames	void

Public Methods

Method	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

Method	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 method

public Call ( ZingMethod method ) : void
method	ZingMethod
return	void

CallPredicateMethod() public method

public CallPredicateMethod ( ZingMethod predicateMethod ) : bool
predicateMethod	ZingMethod
return	bool

ClearCurrentProcesses() public static method

public static ClearCurrentProcesses ( ) : void
return	void

ComputeFingerprint() public method

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
return	Fingerprint

ContainsVariable() public method

Check if the vaiable is declared in this process

public ContainsVariable ( string variableName ) : bool
variableName	string
return	bool

DoCheckIn() public method

public DoCheckIn ( ) : object
return	object

DoCheckout() public method

public DoCheckout ( object currentUle ) : void
currentUle	object
return	void

DoRevert() public method

public DoRevert ( ) : void
return	void

DoRollback() public method

public DoRollback ( object uleList ) : void
uleList	object
return	void

GetCurrentProcess() public static method

public static GetCurrentProcess ( int threadId ) : Process
threadId	int
return	Process

LookupValueByName() public method

public LookupValueByName ( string variableName ) : object
variableName	string
return	object

Process() public method

Constructor

public Process ( StateImpl stateObj, ZingMethod entryPoint, string name, uint id ) : System
stateObj	StateImpl
entryPoint	ZingMethod
name	string
id	uint
return	System

Process() public method

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

Return() public method

public Return ( ZingSourceContext context, ZingAttribute contextAttribute ) : void
context	ZingSourceContext
contextAttribute	ZingAttribute
return	void

UpdateDirectLastFunctionCompleted() public method

public UpdateDirectLastFunctionCompleted ( ZingMethod method ) : void
method	ZingMethod
return	void

Property Details

AssertionFailureCtx public_oe static_oe property

Field to store the assertion failure context

public static ZingSourceContext[] AssertionFailureCtx
return	ZingSourceContext[]

PredicateContext public_oe static_oe property

public static PredicateContextIndexer PredicateContext
return	PredicateContextIndexer