C# 클래스 Microsoft.Zing.Application

상속: Microsoft.Zing.StateImpl

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

Private Properties

프로퍼티	타입	설명

공개 메소드들

메소드	설명
Application ( ) : System
Application ( bool initialState ) : System
ComputeFingerprint ( ) : Fingerprint
GetSourceFiles ( ) : string[]
GetSources ( ) : string[]
MakeSkeleton ( ) : StateImpl
WriteString ( BinaryWriter bw ) : void

메소드 상세

Application() 공개 메소드

public Application ( ) : System
리턴	System

Application() 공개 메소드

public Application ( bool initialState ) : System
initialState	bool
리턴	System

ComputeFingerprint() 공개 메소드

public ComputeFingerprint ( ) : Fingerprint
리턴	Fingerprint

GetSourceFiles() 공개 메소드

public GetSourceFiles ( ) : string[]
리턴	string[]

GetSources() 공개 메소드

public GetSources ( ) : string[]
리턴	string[]

MakeSkeleton() 공개 메소드

public MakeSkeleton ( ) : StateImpl
리턴	StateImpl

WriteString() 공개 메소드

public WriteString ( BinaryWriter bw ) : void
bw	System.IO.BinaryWriter
리턴	void