public static string stringFromAlarmCommandKind(TypeAlarmCommandKind the_enum) { switch (the_enum) { case TypeAlarmCommandKind.AlarmCommandKind_AlarmStartCommand: return("AlarmStartCommand"); case TypeAlarmCommandKind.AlarmCommandKind_AlarmDisplayCommand: return("AlarmDisplayCommand"); case TypeAlarmCommandKind.AlarmCommandKind_AlarmSetCommand: return("AlarmSetCommand"); case TypeAlarmCommandKind.AlarmCommandKind_AlarmNotUnderstoodCommand: return("AlarmNotUnderstoodCommand"); case TypeAlarmCommandKind.AlarmCommandKind_AlarmUnsetCommand: return("AlarmUnsetCommand"); default: Debug.Assert(false); return(null); } }
protected override void handle_result(TypeAlarmCommandKind result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(TypeAlarmCommandKind result);
public void setAlarmCommandKind(TypeAlarmCommandKind new_value) { flagHasAlarmCommandKind = true; storeAlarmCommandKind = new_value; }
protected override void handle_result(TypeAlarmCommandKind result) { top.value.Add(result); }