C# Class Microsoft.Zing.Application.ClassMethod

Inheritance: __Method

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство	Type	Description
locals	LocalVars

Private Properties

Свойство	Type	Description

Méthodes publiques

Méthode	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 méthode

public ClassMethod ( Application app ) : System
app	Application
Résultat	System

CompareTo() public méthode

public CompareTo ( object obj ) : int
obj	object
Résultat	int

Dispatch() public méthode

public Dispatch ( Microsoft.Zing p ) : void
p	Microsoft.Zing
Résultat	void

DoCheckInOthers() public méthode

public DoCheckInOthers ( ) : object
Résultat	object

DoRevertOthers() public méthode

public DoRevertOthers ( ) : void
Résultat	void

DoRollbackOthers() public méthode

public DoRollbackOthers ( object ules ) : void
ules	object
Résultat	void

GetRunnableJoinStatements() public méthode

public GetRunnableJoinStatements ( Process p ) : ulong
p	Process
Résultat	ulong

IsAtomicEntryBlock() public méthode

public IsAtomicEntryBlock ( ) : bool
Résultat	bool

RaiseZingException() public méthode

public RaiseZingException ( int exception ) : bool
exception	int
Résultat	bool

WriteOutputsString() public méthode

public WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	System.IO.BinaryWriter
Résultat	void

Property Details

locals public_oe property

public LocalVars locals
Résultat	LocalVars