已知Q是一个非空队列，S是一个栈。下列程序算法，仅用以下队列和栈的ADT函数和少量工作变量，将队列Q中的所有元素逆置。栈的ADT函数有：makeEmpty(s:stack); 置空栈push(s:stack; value:datatype); 新元素value进栈pop(s:stack):datatype; 出栈，返回栈顶值isEmptyS(s:stack):boolean; 判栈空否队列的ADT函数有enQueue(q:queue;value:datatype); 元素value进队deQueue(q:queue):datatype; 出队列，返回队头值isEmptyQ(q:queue):boolean; 判队列空否void SetReverse(queue s){datatype x;stack s;makeEmpty(s);while (not isEmptyQ(q)) {x=(1) ;(2) ;}while (not isEmptyS(s)) {(3) ;(4) ;}}