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