internal SwitchState(Label defaultLabel, Label endOfSwitchLabel) { _defaultLabel = defaultLabel; _endOfSwitchLabel = endOfSwitchLabel; _defaultDefined = false; } internal Label DefaultLabel