Nelmio\Alice\scenario1\MutableUser::setFavoriteNumber PHP Method

    public function setFavoriteNumber(int $favoriteNumber)
    {
        $this->favoriteNumber = $favoriteNumber;
    }