C# 클래스 ExternalPlugin.StateCoveragePlugin

상속: Microsoft.Zing.ZingerPluginInterface

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
EndPlugin ( ) : void
Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
StateCoveragePlugin ( ) : System

메소드 상세

EndPlugin() 공개 메소드

public EndPlugin ( ) : void
리턴	void

Invoke() 공개 메소드

public Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
threadID	int
ZPluginState	Microsoft.Zing.ZingerPluginState
리턴	void

StateCoveragePlugin() 공개 메소드

public StateCoveragePlugin ( ) : System
리턴	System