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

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