Click or drag to resize

GrShellSequenceApplierAndDebuggerDisableDebuggerAfterDeletionAsNeeded Method

Namespace:  de.unika.ipd.grGen.grShell
Assembly:  libGrShell (in libGrShell.dll) Version: GrGen.NET 7.2
Syntax
C#
Copy
public void DisableDebuggerAfterDeletionAsNeeded(
	ShellGraphProcessingEnvironment deletedShellGraphProcEnv
)

Parameters

deletedShellGraphProcEnv
Type: de.unika.ipd.grGen.grShellShellGraphProcessingEnvironment
See Also