private void fromJSONPrimaryIDType(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
MusicThirdPartyJSON convert_classy = MusicThirdPartyJSON.from_json(json_value, ignore_extras, true);
setPrimaryIDType(convert_classy);
}
public void setPrimaryIDType(MusicThirdPartyJSON new_value)
{
if (flagHasPrimaryIDType)
{
}
flagHasPrimaryIDType = true;
storePrimaryIDType = new_value;
}
public void setMusicService(MusicThirdPartyJSON new_value)
{
if (flagHasMusicService)
{
}
flagHasMusicService = true;
storeMusicService = new_value;
}
public void setMusicThirdParty(MusicThirdPartyJSON new_value)
{
if (flagHasMusicThirdParty)
{
}
flagHasMusicThirdParty = true;
storeMusicThirdParty = new_value;
}
protected override void finish()
{
MusicThirdPartyJSON result = new MusicThirdPartyJSON();
Debug.Assert(result != null);
finish(result);
handle_result(result);
}
protected void finish(MusicThirdPartyJSON result)
{
if (fieldGeneratorName.have_value)
{
result.setName(fieldGeneratorName.value);
fieldGeneratorName.have_value = false;
}
else if ((!(result.hasName())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"Name\" field was missing.");
}
}
protected override void handle_result(MusicThirdPartyJSON result)
{
top.value.Add(result);
}
protected override void handle_result(MusicThirdPartyJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(MusicThirdPartyJSON new_result);
