GuiDebuggerHostSetContext Method

Namespace: de.unika.ipd.grGen.graphViewerAndSequenceDebugger
Assembly: graphViewerAndSequenceDebuggerWindowsForms (in graphViewerAndSequenceDebuggerWindowsForms.dll) Version: GrGen.NET 7.1

Syntax

Copy

public void SetContext(
	UserChoiceMenu userChoiceMenu,
	UserChoiceMenu additionalGuiUserChoiceMenu
)

Parameters

userChoiceMenu UserChoiceMenu
additionalGuiUserChoiceMenu UserChoiceMenu

Implements

IDebuggerGUIForDataRenderingSetContext(UserChoiceMenu, UserChoiceMenu)

Reference

GuiDebuggerHost Class

de.unika.ipd.grGen.graphViewerAndSequenceDebugger Namespace