private ICollection normalize_bin_args(BinExpr e)
{
var args = new ArrayList();
XPathNode left = (XPathNode)e.left().accept(this);
XPathNode right = (XPathNode)e.right().accept(this);
args.Add(left);
args.Add(right);
return(args);
}
/// <summary>
/// Validate a binary expression by checking its left and right children.
/// </summary>
/// <param name="name">
/// is the name of the binary expression. </param>
/// <param name="e">
/// is the expression itself. </param>
public virtual void printBinExpr(string name, BinExpr e)
{
e.left().accept(this);
e.right().accept(this);
}