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.grShell
GrShellSequenceApplierAndDebugger Class
GrShellSequenceApplierAndDebugger Properties
Gui Property
OperationCancelled Property
SilenceExec Property
TwoPane Property
Gr
Shell
Sequence
Applier
And
Debugger
Operation
Cancelled Property
Namespace:
de.unika.ipd.grGen.grShell
Assembly:
libGrShell (in libGrShell.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
bool
OperationCancelled
{
get
; }
Property Value
Boolean
See Also
Reference
GrShellSequenceApplierAndDebugger Class
de.unika.ipd.grGen.grShell Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also