protected override void finish() { if (!(getNavigationCommandJSONKey().Equals("NavigationCancelCommand"))) { throw new Exception("The key field has a value other than `NavigationCancelCommand'."); } NavigationCancelCommandJSON result = new NavigationCancelCommandJSON(); Debug.Assert(result != null); finish(result); handle_result(result); }
protected override void handle_result(NavigationCancelCommandJSON result) { top.value.Add(result); }
protected override void handle_result(NavigationCancelCommandJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(NavigationCancelCommandJSON new_result);
protected void finish(NavigationCancelCommandJSON result) { base.finish(result); }