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.2
Syntax
C#
Copy
public override ConsoleKeyInfo ReadKeyWithCancel()

Return Value

Type: ConsoleKeyInfo
The ConsoleKeyInfo object for the pressed key.

Implements

IDebuggerEnvironmentReadKeyWithCancel
See Also