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