C# Class Microsoft.Zing.ZingMethod

Exibir arquivo Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method Description
Clone ( StateImpl myState, Process myProcess, bool shallowCopy ) : ZingMethod
CompareTo ( object obj ) : int
ContainsVariable ( string name ) : bool
Dispatch ( Process process ) : void
DoCheckIn ( ) : object
DoCheckInOthers ( ) : object
DoRevertOthers ( ) : void
DoRollbackOthers ( object uleList ) : void
GetRunnableJoinStatements ( Process process ) : ulong
IsAtomicEntryBlock ( ) : bool
IsRunnable ( Process process ) : bool
LookupValueByName ( string name ) : object
TraverseFields ( FieldTraverser ft ) : void
WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

Protected Methods

Method Description
ZingMethod ( ) : System

Constructor

Private Methods

Method Description
DoRevert ( ) : void
DoRollback ( object uleList ) : void
RaiseZingException ( int exception ) : bool

Method Details

Clone() public abstract method

public abstract Clone ( StateImpl myState, Process myProcess, bool shallowCopy ) : ZingMethod
myState StateImpl
myProcess Process
shallowCopy bool
return ZingMethod

CompareTo() public abstract method

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

ContainsVariable() public method

public ContainsVariable ( string name ) : bool
name string
return bool

Dispatch() public abstract method

public abstract Dispatch ( Process process ) : void
process Process
return void

DoCheckIn() public method

public DoCheckIn ( ) : object
return object

DoCheckInOthers() public abstract method

public abstract DoCheckInOthers ( ) : object
return object

DoRevertOthers() public abstract method

public abstract DoRevertOthers ( ) : void
return void

DoRollbackOthers() public abstract method

public abstract DoRollbackOthers ( object uleList ) : void
uleList object
return void

GetRunnableJoinStatements() public method

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

IsAtomicEntryBlock() public method

public IsAtomicEntryBlock ( ) : bool
return bool

IsRunnable() public method

public IsRunnable ( Process process ) : bool
process Process
return bool

LookupValueByName() public method

public LookupValueByName ( string name ) : object
name string
return object

TraverseFields() public abstract method

public abstract TraverseFields ( FieldTraverser ft ) : void
ft FieldTraverser
return void

WriteOutputsString() public abstract method

public abstract WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
state StateImpl
bw BinaryWriter
return void

WriteString() public abstract method

public abstract WriteString ( StateImpl state, BinaryWriter bw ) : void
state StateImpl
bw BinaryWriter
return void

ZingMethod() protected method

Constructor
protected ZingMethod ( ) : System
return System