C# Class ExternalPlugin.StateCoveragePlugin

Inheritance: Microsoft.Zing.ZingerPluginInterface
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
EndPlugin ( ) : void
Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
StateCoveragePlugin ( ) : System

Method Details

EndPlugin() public méthode

public EndPlugin ( ) : void
Résultat void

Invoke() public méthode

public Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
threadID int
ZPluginState Microsoft.Zing.ZingerPluginState
Résultat void

StateCoveragePlugin() public méthode

public StateCoveragePlugin ( ) : System
Résultat System