Click or drag to resize

GrShellSequenceApplierAndDebuggerReadKeyWithCancel Method

Reads a key from the keyboard using the workaround manager. If CTRL+C is pressed, grShellImpl.Cancel() is called.

Namespace: de.unika.ipd.grGen.grShell
Assembly: libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public override ConsoleKeyInfo ReadKeyWithCancel()

Return Value

ConsoleKeyInfo
The ConsoleKeyInfo object for the pressed key.

Implements

IDebuggerEnvironmentReadKeyWithCancel
See Also