C# Class ExternalPlugin.StateCoveragePlugin

Inheritance: Microsoft.Zing.ZingerPluginInterface

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
EndPlugin ( ) : void
Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
StateCoveragePlugin ( ) : System

Method Details

EndPlugin() public method

public EndPlugin ( ) : void
return	void

Invoke() public method

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

StateCoveragePlugin() public method

public StateCoveragePlugin ( ) : System
return	System