Yes, it's the average amount of the contract per year. So if he's not coming back, which he pretty clearly isn't we should hope he truly gets paid--especially if going to a rival.
But the round is based on previous performance or contract amount? Does performance in 2020 become the biggest factor, or the players performance before signing the contract?