public static string stringFromClientControlCommandKind(TypeClientControlCommandKind the_enum)
{
switch (the_enum)
{
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlGoBackCommand:
return("ClientControlGoBackCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlRepeatCommand:
return("ClientControlRepeatCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlClearScreenCommand:
return("ClientControlClearScreenCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlGoForwardCommand:
return("ClientControlGoForwardCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlResponseYesCommand:
return("ClientControlResponseYesCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlResponseNoCommand:
return("ClientControlResponseNoCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlQuitAppCommand:
return("ClientControlQuitAppCommand");
case TypeClientControlCommandKind.ClientControlCommandKind_ClientControlGoCommand:
return("ClientControlGoCommand");
default:
Debug.Assert(false);
return(null);
}
}
protected override void handle_result(TypeClientControlCommandKind result)
{
top.value.Add(result);
}
protected override void handle_result(TypeClientControlCommandKind result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(TypeClientControlCommandKind result);
public void setClientControlCommandKind(TypeClientControlCommandKind new_value)
{
flagHasClientControlCommandKind = true;
storeClientControlCommandKind = new_value;
}
