C# 클래스 Microsoft.Zing.ZingMethod

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드	설명
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

보호된 메소드들

메소드	설명
ZingMethod ( ) : System	Constructor

비공개 메소드들

메소드	설명
DoRevert ( ) : void
DoRollback ( object uleList ) : void
RaiseZingException ( int exception ) : bool

메소드 상세

Clone() 공개 추상적인 메소드

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

CompareTo() 공개 추상적인 메소드

public abstract CompareTo ( object obj ) : int
obj	object
리턴	int

ContainsVariable() 공개 메소드

public ContainsVariable ( string name ) : bool
name	string
리턴	bool

Dispatch() 공개 추상적인 메소드

public abstract Dispatch ( Process process ) : void
process	Process
리턴	void

DoCheckIn() 공개 메소드

public DoCheckIn ( ) : object
리턴	object

DoCheckInOthers() 공개 추상적인 메소드

public abstract DoCheckInOthers ( ) : object
리턴	object

DoRevertOthers() 공개 추상적인 메소드

public abstract DoRevertOthers ( ) : void
리턴	void

DoRollbackOthers() 공개 추상적인 메소드

public abstract DoRollbackOthers ( object uleList ) : void
uleList	object
리턴	void

GetRunnableJoinStatements() 공개 메소드

public GetRunnableJoinStatements ( Process process ) : ulong
process	Process
리턴	ulong

IsAtomicEntryBlock() 공개 메소드

public IsAtomicEntryBlock ( ) : bool
리턴	bool

IsRunnable() 공개 메소드

public IsRunnable ( Process process ) : bool
process	Process
리턴	bool

LookupValueByName() 공개 메소드

public LookupValueByName ( string name ) : object
name	string
리턴	object

TraverseFields() 공개 추상적인 메소드

public abstract TraverseFields ( FieldTraverser ft ) : void
ft	FieldTraverser
리턴	void

WriteOutputsString() 공개 추상적인 메소드

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

WriteString() 공개 추상적인 메소드

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

ZingMethod() 보호된 메소드

Constructor

protected ZingMethod ( ) : System
리턴	System