BinaryExpr extends Expr { public Expr getLhs() { return lhs; } BinaryExpr(Expr lhs, Expr rhs, BinOp op); Expr getLhs(); void setLhs(Expr lhs); Expr getRhs(); void setRhs(Expr rhs); BinOp getOp(); @Override void accept(IAstVisitor visitor); @Override BinaryExpr clone(); @Override boolean hasChild(IAstNode candidateChild); @Override Expr getChild(int index); @Override void setChild(int index, Expr expr); @Override int getNumChildren();  }
@Test public void getLhs() throws Exception { VariableIdentifierExpr vie = new VariableIdentifierExpr("x"); BinaryExpr be = new BinaryExpr( vie, new BoolConstantExpr(true), BinOp.LAND); assertEquals(vie, be.getLhs()); }