visit_switch_section


Description:

public virtual void visit_switch_section (SwitchSection section)

Visit operation called for switch sections.

Parameters:

section

a switch section