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
DebuggerEnvironment Class
DebuggerEnvironment Properties
Debugger Property
Gui Property
guiForDataRendering Property
KeyAvailable Property
TheDebuggerConsoleUI Property
TheDebuggerConsoleUIForDataRendering Property
TheDebuggerGUIForDataRendering Property
TwoPane Property
Debugger
Environment
Key
Available Property
Namespace:
de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly:
graphViewerAndSequenceDebugger (in graphViewerAndSequenceDebugger.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
bool
KeyAvailable
{
get
; }
Property Value
Boolean
Implements
IDebuggerConsoleUI
KeyAvailable
See Also
Reference
DebuggerEnvironment Class
de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also