Exemplo n.º 1
0
    private void  fromJSONIntermediateDestinationPositionFromEnd(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field IntermediateDestinationPositionFromEnd of RemainingDistanceCommandJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field IntermediateDestinationPositionFromEnd of RemainingDistanceCommandJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setIntermediateDestinationPositionFromEnd(extracted_integer);
    }
    private void  fromJSONGuessedCorrectly(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field GuessedCorrectly of GuessedCorrectlyJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field GuessedCorrectly of GuessedCorrectlyJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setGuessedCorrectly(extracted_integer);
    }
Exemplo n.º 3
0
    private void  fromJSONRank(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Rank of SportsOlympicsEventSchedulesAndResultsInstanceMedalWinnerJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Rank of SportsOlympicsEventSchedulesAndResultsInstanceMedalWinnerJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setRank(extracted_integer);
    }
    private void  fromJSONFirstDigitCount(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field FirstDigitCount of FiniteIntegerDashFiniteIntegerBuildingNumberJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field FirstDigitCount of FiniteIntegerDashFiniteIntegerBuildingNumberJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setFirstDigitCount(extracted_integer);
    }
Exemplo n.º 5
0
    private void  fromJSONCount(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Count of BattleshipDictateCoordinatesCommandJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Count of BattleshipDictateCoordinatesCommandJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setCount(extracted_integer);
    }
Exemplo n.º 6
0
    private void  fromJSONResultIndexReferenced(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field ResultIndexReferenced of HotelSearchConversationStateElementJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field ResultIndexReferenced of HotelSearchConversationStateElementJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setResultIndexReferenced(extracted_integer);
    }
Exemplo n.º 7
0
    private void  fromJSONLegCount(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field LegCount of RobotConfigurationJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field LegCount of RobotConfigurationJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setLegCount(extracted_integer);
    }
    private void  fromJSONMaximumPossibleValue(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field MaximumPossibleValue of NumberGuessQuitGameInformationNuggetJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field MaximumPossibleValue of NumberGuessQuitGameInformationNuggetJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setMaximumPossibleValue(extracted_integer);
    }
    private void  fromJSONNumberOfStops(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field NumberOfStops of FlightSegmentGroupJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field NumberOfStops of FlightSegmentGroupJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setNumberOfStops(extracted_integer);
    }
Exemplo n.º 10
0
    private void  fromJSONNetRadioID(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field NetRadioID of SevenDigitalRadioStationJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field NetRadioID of SevenDigitalRadioStationJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setNetRadioID(extracted_integer);
    }
Exemplo n.º 11
0
    private void  fromJSONModifier(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Modifier of RandomNumberGeneratorDiceRollRequestResultJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Modifier of RandomNumberGeneratorDiceRollRequestResultJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setModifier(extracted_integer);
    }
Exemplo n.º 12
0
    private void  fromJSONAbridgedMaximumRank(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field AbridgedMaximumRank of SportsOlympicsMedalStandingsJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field AbridgedMaximumRank of SportsOlympicsMedalStandingsJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setAbridgedMaximumRank(extracted_integer);
    }
Exemplo n.º 13
0
    private void  fromJSONbearing(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field bearing of UberRequestLocationJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field bearing of UberRequestLocationJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setbearing(extracted_integer);
    }
Exemplo n.º 14
0
    private void  fromJSONYearEnd(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field YearEnd of SportsSeasonResolvedJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field YearEnd of SportsSeasonResolvedJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setYearEnd(extracted_integer);
    }
Exemplo n.º 15
0
    private void  fromJSONProgressUpdateCount(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field ProgressUpdateCount of FlightSearchProgressDetailsJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field ProgressUpdateCount of FlightSearchProgressDetailsJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setProgressUpdateCount(extracted_integer);
    }
    private void  fromJSONSecondsBeforeStartOfEvent(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field SecondsBeforeStartOfEvent of CalendarReminderJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field SecondsBeforeStartOfEvent of CalendarReminderJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setSecondsBeforeStartOfEvent(extracted_integer);
    }
    private void  fromJSONOrdinal(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Ordinal of ChineseZodiacSignOfSignInfoNuggetJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Ordinal of ChineseZodiacSignOfSignInfoNuggetJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setOrdinal(extracted_integer);
    }
Exemplo n.º 18
0
    private void  fromJSONRankResult(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field RankResult of SportsPlayoffTriviaInformationNuggetJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field RankResult of SportsPlayoffTriviaInformationNuggetJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setRankResult(extracted_integer);
    }
Exemplo n.º 19
0
    private void  fromJSONTrackListPosition(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field TrackListPosition of MusicClientStateJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field TrackListPosition of MusicClientStateJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setTrackListPosition(extracted_integer);
    }
    private void  fromJSONhttpStatusCode(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field httpStatusCode of FlightStatsErrorJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field httpStatusCode of FlightStatsErrorJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        sethttpStatusCode(extracted_integer);
    }
Exemplo n.º 21
0
    private void  fromJSONStartColumnNumber(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field StartColumnNumber of UploadedCodeSourceJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field StartColumnNumber of UploadedCodeSourceJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setStartColumnNumber(extracted_integer);
    }
Exemplo n.º 22
0
    private void  fromJSONAlternateListingID(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field AlternateListingID of StockConversationRequestedListingJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field AlternateListingID of StockConversationRequestedListingJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setAlternateListingID(extracted_integer);
    }
Exemplo n.º 23
0
    private void  fromJSONUpdatedBlockCount(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field UpdatedBlockCount of TerrierUploadWriteCommandJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field UpdatedBlockCount of TerrierUploadWriteCommandJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setUpdatedBlockCount(extracted_integer);
    }
Exemplo n.º 24
0
    private void  fromJSONJerseyNumber(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field JerseyNumber of SportsPlayersArgumentJerseyNumberJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field JerseyNumber of SportsPlayersArgumentJerseyNumberJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setJerseyNumber(extracted_integer);
    }
Exemplo n.º 25
0
    private void  fromJSONYear(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Year of MonthLengthLookupInformationNuggetJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Year of MonthLengthLookupInformationNuggetJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setYear(extracted_integer);
    }
    private void  fromJSONLastAlbumListIndex(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field LastAlbumListIndex of MusicSearchResultsJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field LastAlbumListIndex of MusicSearchResultsJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setLastAlbumListIndex(extracted_integer);
    }
Exemplo n.º 27
0
    private void  fromJSONArgumentID(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field ArgumentID of SportsOlympicsBasicAttributeArgumentJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field ArgumentID of SportsOlympicsBasicAttributeArgumentJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setArgumentID(extracted_integer);
    }
    private void  fromJSONDenominator(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field Denominator of FiniteRationalQuantityJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field Denominator of FiniteRationalQuantityJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setDenominator(extracted_integer);
    }
Exemplo n.º 29
0
    private void  fromJSONDefaultUnitsUOMAuxID(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field DefaultUnitsUOMAuxID of NutrientJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field DefaultUnitsUOMAuxID of NutrientJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setDefaultUnitsUOMAuxID(extracted_integer);
    }
Exemplo n.º 30
0
    private void  fromJSONBronzeMedals(JSONValue json_value, bool ignore_extras)
    {
        Debug.Assert(json_value != null);
        BigInteger       extracted_integer;
        JSONIntegerValue json_integer = json_value.integer_value();

        if (json_integer == null)
        {
            JSONRationalValue json_rational = json_value.rational_value();
            if (json_rational == null)
            {
                throw new Exception("The value for field BronzeMedals of SportsOlympicsMedalStandingsOrganizationMedalCountJSON is not a number.");
            }
            if (!(json_rational.isInteger()))
            {
                throw new Exception("The value for field BronzeMedals of SportsOlympicsMedalStandingsOrganizationMedalCountJSON is not an integer.");
            }
            extracted_integer = json_rational.getInteger();
        }
        else
        {
            extracted_integer = json_integer.getData();
        }
        setBronzeMedals(extracted_integer);
    }