红黑树右旋伪代码

RIGHT-ROTATE(T,x)
y ← p[x]
p[x] ← p[y]

if p[y] = nil[T]
then root[T] ← x
else if left[p[y]] = y
then left[p[y]] ← x
else right[p[y]] ← y

left[y] ← right[x]
if right[x] ≠ nil[T]
then p[right[x] ← y

right[x] ← y
p[y] ← x

脱离具体的语言，伪代码可以更好的表达算法的逻辑。