C# 클래스 Microsoft.Zing.ZingerPluginInterface

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

공개 메소드들

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

메소드 상세

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

public abstract EndPlugin ( ) : void
리턴 void

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

public abstract Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
threadID int
ZPluginState ZingerPluginState
리턴 void