protected void finish(RemainingDistanceCommandJSON result) { if (fieldGeneratorIntermediateDestinationRequested.have_value) { result.setIntermediateDestinationRequested(fieldGeneratorIntermediateDestinationRequested.value); fieldGeneratorIntermediateDestinationRequested.have_value = false; } if (fieldGeneratorIntermediateDestinationPositionFromStart.have_value) { result.setIntermediateDestinationPositionFromStart(fieldGeneratorIntermediateDestinationPositionFromStart.value); fieldGeneratorIntermediateDestinationPositionFromStart.have_value = false; } if (fieldGeneratorIntermediateDestinationPositionFromEnd.have_value) { result.setIntermediateDestinationPositionFromEnd(fieldGeneratorIntermediateDestinationPositionFromEnd.value); fieldGeneratorIntermediateDestinationPositionFromEnd.have_value = false; } base.finish(result); }
protected override void finish() { if (!(getNavigationControlCommandJSONKey().Equals("RemainingDistance"))) { throw new Exception("The key field has a value other than `RemainingDistance'."); } RemainingDistanceCommandJSON result = new RemainingDistanceCommandJSON(); Debug.Assert(result != null); finish(result); int extra_count = unknownFieldGenerator.field_names.Count; Debug.Assert(extra_count == unknownFieldGenerator.field_values.Count); for (int extra_num = 0; extra_num < extra_count; ++extra_num) { result.extraRemainingDistanceCommandAppendPair(unknownFieldGenerator.field_names[extra_num], unknownFieldGenerator.field_values[extra_num]); } unknownFieldGenerator.field_names.Clear(); unknownFieldGenerator.field_values.Clear(); unknownFieldGenerator.index = new Dictionary <string, JSONValue>(); handle_result(result); }
protected override void handle_result(RemainingDistanceCommandJSON result) { top.value.Add(result); }
protected override void handle_result(RemainingDistanceCommandJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(RemainingDistanceCommandJSON new_result);