C# Class Microsoft.Zing.ZingerExternalPlugin

Zing External Plugin
Datei anzeigen Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
zPlugin ZingerPluginInterface
zPluginState ZingerPluginState

Property Details

zPlugin public_oe property

public ZingerPluginInterface,Microsoft.Zing zPlugin
return ZingerPluginInterface

zPluginState public_oe property

public ZingerPluginState,Microsoft.Zing zPluginState
return ZingerPluginState