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