C# Class Microsoft.Zing.ZingerPluginInterface

Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

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

Method Details

EndPlugin() public abstract method

public abstract EndPlugin ( ) : void
return void

Invoke() public abstract method

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