C# Class Microsoft.Zing.ZingMethod

Datei anzeigen 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