Toggle navigation
Hot Examples
ES
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Buscar
Inicio
Microsoft
Zing
ZingerPluginInterface
C# Class Microsoft.Zing.ZingerPluginInterface
Mostrar archivo
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