/// <summary> /// Traverses the bitwise and expression. /// </summary> /// <param name="binaryOperation"></param> public void Traverse(IBinaryOperation binaryOperation) { Contract.Requires(binaryOperation != null); binaryOperation.Dispatch(this.dispatchingVisitor); }
/// <summary> /// Rewrites the given bitwise and expression. /// </summary> /// <param name="binaryOperation"></param> public virtual IExpression Rewrite(IBinaryOperation binaryOperation) { binaryOperation.Dispatch(this.dispatchingVisitor); return (IBinaryOperation)this.dispatchingVisitor.result; }