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