GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Debugger Class
Debugger Properties
ConnectionLost Property
DebuggerProcEnv Property
DetailedModeShowPostMatches Property
DetailedModeShowPreMatches Property
GraphViewerClient Property
NotifyOnConnectionLost Property
Debugger
Notify
On
Connection
Lost Property
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
bool
NotifyOnConnectionLost
{
set
; }
Property Value
Boolean
See Also
Reference
Debugger Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also