Exemplo n.º 1
0
 /*
  * PreCondition:
  * PostCondition: moves row of robot up by 1
  */
 public void Right()
 {
     robotObj.Right();
     Check();
 }