public static string stringFromNavigationCommandKind(TypeNavigationCommandKind the_enum)
{
switch (the_enum)
{
case TypeNavigationCommandKind.NavigationCommandKind_Start:
return("Start");
case TypeNavigationCommandKind.NavigationCommandKind_NotUnderstood:
return("NotUnderstood");
case TypeNavigationCommandKind.NavigationCommandKind_Cancel:
return("Cancel");
default:
Debug.Assert(false);
return(null);
}
}
protected override void handle_result(TypeNavigationCommandKind result)
{
top.value.Add(result);
}
protected abstract void handle_result(TypeNavigationCommandKind result);
protected override void handle_result(TypeNavigationCommandKind result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
public void setNavigationCommandKind(TypeNavigationCommandKind new_value)
{
flagHasNavigationCommandKind = true;
storeNavigationCommandKind = new_value;
}
