C# 클래스 Microsoft.Zing.Application.ClassMethod

상속: __Method

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티	타입	설명
locals	LocalVars

Private Properties

프로퍼티	타입	설명

공개 메소드들

메소드	설명
ClassMethod ( Application app ) : System
CompareTo ( object obj ) : int
Dispatch ( Microsoft.Zing p ) : void
DoCheckInOthers ( ) : object
DoRevertOthers ( ) : void
DoRollbackOthers ( object ules ) : void
GetRunnableJoinStatements ( Process p ) : ulong
IsAtomicEntryBlock ( ) : bool
RaiseZingException ( int exception ) : bool
WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void

메소드 상세

ClassMethod() 공개 메소드

public ClassMethod ( Application app ) : System
app	Application
리턴	System

CompareTo() 공개 메소드

public CompareTo ( object obj ) : int
obj	object
리턴	int

Dispatch() 공개 메소드

public Dispatch ( Microsoft.Zing p ) : void
p	Microsoft.Zing
리턴	void

DoCheckInOthers() 공개 메소드

public DoCheckInOthers ( ) : object
리턴	object

DoRevertOthers() 공개 메소드

public DoRevertOthers ( ) : void
리턴	void

DoRollbackOthers() 공개 메소드

public DoRollbackOthers ( object ules ) : void
ules	object
리턴	void

GetRunnableJoinStatements() 공개 메소드

public GetRunnableJoinStatements ( Process p ) : ulong
p	Process
리턴	ulong

IsAtomicEntryBlock() 공개 메소드

public IsAtomicEntryBlock ( ) : bool
리턴	bool

RaiseZingException() 공개 메소드

public RaiseZingException ( int exception ) : bool
exception	int
리턴	bool

WriteOutputsString() 공개 메소드

public WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	System.IO.BinaryWriter
리턴	void

프로퍼티 상세

locals 공개적으로 프로퍼티

public LocalVars locals
리턴	LocalVars