He could have danced for joy.

• 他真是高兴得要跳起来。