C# Class Microsoft.Zing.Application.ClassMethod

Inheritance: __Method

ファイルを表示 Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
locals	LocalVars

Private Properties

Property	Type	Description

Public Methods

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

Method Details

ClassMethod() public method

public ClassMethod ( Application app ) : System
app	Application
return	System

CompareTo() public method

public CompareTo ( object obj ) : int
obj	object
return	int

Dispatch() public method

public Dispatch ( Microsoft.Zing p ) : void
p	Microsoft.Zing
return	void

DoCheckInOthers() public method

public DoCheckInOthers ( ) : object
return	object

DoRevertOthers() public method

public DoRevertOthers ( ) : void
return	void

DoRollbackOthers() public method

public DoRollbackOthers ( object ules ) : void
ules	object
return	void

GetRunnableJoinStatements() public method

public GetRunnableJoinStatements ( Process p ) : ulong
p	Process
return	ulong

IsAtomicEntryBlock() public method

public IsAtomicEntryBlock ( ) : bool
return	bool

RaiseZingException() public method

public RaiseZingException ( int exception ) : bool
exception	int
return	bool

WriteOutputsString() public method

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

Property Details

locals public_oe property

public LocalVars locals
return	LocalVars