Select your answer and click the button below:
Question9:
c = ♥; S = <♠, ♦, ♣>;
Operation
Bar (
updates
S: Stack;
clears
C: Card);
ensures
: S = <C>
o
<C>
o
Reverse( #S);
After Bar executes the values are:
C = initial value of it's type; S = <♥, ♥, ♣, ♦, ♠>;
C = 0; S = <♥, ♥, ♣, ♦, ♠>;
C = initial value of it's type; S = <♥, ♥, ♠, ♦, ♣>;
C is the same; S = <♠, ♦, ♣ ;>;