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