Click or drag to resize

GrShellSequenceApplierAndDebuggerDisableDebuggerAfterDeletionAsNeeded Method


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

Parameters

deletedShellGraphProcEnv  ShellGraphProcessingEnvironment
 
See Also