AdditionOperationElement.getRhs C# (CSharp) Method

  public Element getRhs() { return mRhs; }
  public void setRhs(Element rhs) { mRhs = rhs; }

 public override void VisitAdditionOperationElement(AdditionOperationElement element)
 {
     VisitElement(element.getLhs());
     Console.Write("+ ");
     VisitElement(element.getRhs());
     Console.Write(" ");
 }