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);
}
