• 홈
• Microsoft
• Zing
• Process

C# 클래스 Microsoft.Zing.Process

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
AssertionFailureCtx	ZingSourceContext[]
PredicateContext	PredicateContextIndexer

Private Properties

프로퍼티	타입	설명
Clone	object
Process	System
RaiseZingException	void
RunNextBlock	void
WriteString	void
checkInStackFrames	System.Collections.Stack
doPop	ZingMethod
doPush	void
revertStackFrames	void
rollbackStackFrames	void

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세

프로퍼티 상세