Implement the instance method flip declared as follows (this is a Queue):

/**

* Reverses ("flips") {@code this}.

*

* @updates this

* @ensures this = rev(#this)

*/

public void flip();

Rewrite flip, including the contract, so that it is a static method.