protected override void finish() { if (!(getMapCommandJSONKey().Equals("ShowMap"))) { throw new Exception("The key field has a value other than `ShowMap'."); } ShowMapJSON result = new ShowMapJSON(); Debug.Assert(result != null); finish(result); handle_result(result); }
protected void finish(ShowMapJSON result) { if (fieldGeneratorNativeData.have_value) { result.setNativeData(fieldGeneratorNativeData.value); fieldGeneratorNativeData.have_value = false; } else if ((!(result.hasNativeData())) && !allow_incomplete) { error("When parsing the object for %what%, the \"NativeData\" field was missing."); } base.finish(result); }
protected override void handle_result(ShowMapJSON result) { top.value.Add(result); }
protected override void handle_result(ShowMapJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(ShowMapJSON new_result);