visit_switch_label


Description:

public virtual void visit_switch_label (SwitchLabel label)

Visit operation called for switch label.

Parameters:

label

a switch label