protected void finish(RobotMoveCommandJSON result)
{
if (fieldGeneratorDirection.have_value)
{
result.setDirection((short)(fieldGeneratorDirection.value));
fieldGeneratorDirection.have_value = false;
}
else if ((!(result.hasDirection())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"Direction\" field was missing.");
}
if (fieldGeneratorDistance.have_value)
{
result.setDistanceText(fieldGeneratorDistance.value);
fieldGeneratorDistance.have_value = false;
}
else if ((!(result.hasDistance())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"Distance\" field was missing.");
}
if (fieldGeneratorDistanceUnit.have_value)
{
result.setDistanceUnit(fieldGeneratorDistanceUnit.value);
fieldGeneratorDistanceUnit.have_value = false;
}
else if ((!(result.hasDistanceUnit())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"DistanceUnit\" field was missing.");
}
base.finish(result);
}
protected override void finish()
{
if (!(getRobotCommandJSONKey().Equals("MoveCommand")))
{
throw new Exception("The key field has a value other than `MoveCommand'.");
}
RobotMoveCommandJSON result = new RobotMoveCommandJSON();
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.extraRobotMoveCommandAppendPair(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(RobotMoveCommandJSON result)
{
top.value.Add(result);
}
protected override void handle_result(RobotMoveCommandJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(RobotMoveCommandJSON new_result);
