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