C# Class Microsoft.Zing.ZingMethod

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

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

Méthodes protégées

Méthode	Description
ZingMethod ( ) : System	Constructor

Private Methods

Méthode	Description
DoRevert ( ) : void
DoRollback ( object uleList ) : void
RaiseZingException ( int exception ) : bool

Method Details

Clone() public abstract méthode

public abstract Clone ( StateImpl myState, Process myProcess, bool shallowCopy ) : ZingMethod
myState	StateImpl
myProcess	Process
shallowCopy	bool
Résultat	ZingMethod

CompareTo() public abstract méthode

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

ContainsVariable() public méthode

public ContainsVariable ( string name ) : bool
name	string
Résultat	bool

Dispatch() public abstract méthode

public abstract Dispatch ( Process process ) : void
process	Process
Résultat	void

DoCheckIn() public méthode

public DoCheckIn ( ) : object
Résultat	object

DoCheckInOthers() public abstract méthode

public abstract DoCheckInOthers ( ) : object
Résultat	object

DoRevertOthers() public abstract méthode

public abstract DoRevertOthers ( ) : void
Résultat	void

DoRollbackOthers() public abstract méthode

public abstract DoRollbackOthers ( object uleList ) : void
uleList	object
Résultat	void

GetRunnableJoinStatements() public méthode

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

IsAtomicEntryBlock() public méthode

public IsAtomicEntryBlock ( ) : bool
Résultat	bool

IsRunnable() public méthode

public IsRunnable ( Process process ) : bool
process	Process
Résultat	bool

LookupValueByName() public méthode

public LookupValueByName ( string name ) : object
name	string
Résultat	object

TraverseFields() public abstract méthode

public abstract TraverseFields ( FieldTraverser ft ) : void
ft	FieldTraverser
Résultat	void

WriteOutputsString() public abstract méthode

public abstract WriteOutputsString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	BinaryWriter
Résultat	void

WriteString() public abstract méthode

public abstract WriteString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	BinaryWriter
Résultat	void

ZingMethod() protected méthode

Constructor

protected ZingMethod ( ) : System
Résultat	System