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