public override void TraverseChildren(IUnaryPlus unaryPlus) { base.TraverseChildren(unaryPlus); }
/// <summary> /// Visits the specified unary plus. /// </summary> /// <param name="unaryPlus">The unary plus.</param> public override void Visit(IUnaryPlus unaryPlus) { UnaryPlus mutableUnaryPlus = unaryPlus as UnaryPlus; if (alwaysMakeACopy || mutableUnaryPlus == null) mutableUnaryPlus = new UnaryPlus(unaryPlus); this.resultExpression = this.myCodeMutator.Visit(mutableUnaryPlus); }
/// <summary> /// Performs some computation with the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public virtual void Visit(IUnaryPlus unaryPlus) { this.Visit((IUnaryOperation)unaryPlus); }
public void Visit(IUnaryPlus unaryPlus) { throw new NotImplementedException(); }
/// <summary> /// Performs some computation with the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public virtual void Visit(IUnaryPlus unaryPlus) { }
/// <summary> /// Traverses the children of the unary plus expression. /// </summary> public virtual void TraverseChildren(IUnaryPlus unaryPlus) { Contract.Requires(unaryPlus != null); this.TraverseChildren((IUnaryOperation)unaryPlus); }
public override void TraverseChildren(IUnaryPlus unaryPlus) { base.TraverseChildren(unaryPlus); ((UnaryPlus)unaryPlus).Type = unaryPlus.Operand.Type; }
public override void TraverseChildren(IUnaryPlus unaryPlus) { MethodEnter(unaryPlus); base.TraverseChildren(unaryPlus); MethodExit(); }
public override void Visit(IUnaryPlus unaryPlus) { if(Process(unaryPlus)){visitor.Visit(unaryPlus);} base.Visit(unaryPlus); }
/// <summary> /// Generates IL for the specified unary plus. /// </summary> /// <param name="unaryPlus">The unary plus.</param> public override void TraverseChildren(IUnaryPlus unaryPlus) { this.Traverse(unaryPlus.Operand); }
public void Visit(IUnaryPlus unaryPlus) { this.result = this.rewriter.Rewrite(unaryPlus); }
/// <summary> /// Rewrites the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public virtual IExpression Rewrite(IUnaryPlus unaryPlus) { var mutableUnaryPlus = unaryPlus as UnaryPlus; if (mutableUnaryPlus == null) return unaryPlus; this.RewriteChildren(mutableUnaryPlus); return mutableUnaryPlus; }
/// <summary> /// Returns a shallow copy of the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public UnaryPlus Copy(IUnaryPlus unaryPlus) { return new UnaryPlus(unaryPlus); }
public override void Visit(IUnaryPlus unaryPlus) { allElements.Add(new InvokInfo(Traverser, "IUnaryPlus", unaryPlus)); }
public void Visit(IUnaryPlus unaryPlus) { this.result = this.copier.Copy(unaryPlus); }
/// <summary> /// Rewrites the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public virtual IExpression Rewrite(IUnaryPlus unaryPlus) { return unaryPlus; }
//^ ensures this.path.Count == old(this.path.Count); /// <summary> /// Traverses the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public virtual void Visit(IUnaryPlus unaryPlus) { if (this.stopTraversal) return; //^ int oldCount = this.path.Count; this.path.Push(unaryPlus); this.Visit(unaryPlus.Operand); //^ assume this.path.Count == oldCount+1; //True because all of the virtual methods of this class promise not to decrease this.path.Count. this.path.Pop(); }
/// <summary> /// Traverses the unary plus expression. /// </summary> public void Traverse(IUnaryPlus unaryPlus) { Contract.Requires(unaryPlus != null); if (this.preorderVisitor != null) this.preorderVisitor.Visit(unaryPlus); if (this.StopTraversal) return; this.TraverseChildren(unaryPlus); if (this.StopTraversal) return; if (this.postorderVisitor != null) this.postorderVisitor.Visit(unaryPlus); }
/// <summary> /// Returns a shallow copy of the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public UnaryPlus Copy(IUnaryPlus unaryPlus) { Contract.Requires(unaryPlus != null); Contract.Ensures(Contract.Result<UnaryPlus>() != null); return new UnaryPlus(unaryPlus); }
public void Visit(IUnaryPlus unaryPlus) { this.traverser.Traverse(unaryPlus); }
/// <summary> /// Returns a deep copy of the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public UnaryPlus Copy(IUnaryPlus unaryPlus) { Contract.Requires(unaryPlus != null); Contract.Ensures(Contract.Result<UnaryPlus>() != null); var mutableCopy = this.shallowCopier.Copy(unaryPlus); this.CopyChildren((UnaryOperation)mutableCopy); return mutableCopy; }
public void Visit(IUnaryPlus unaryPlus) { Contract.Requires(unaryPlus != null); throw new NotImplementedException(); }
/// <summary> /// Visits the specified unary plus. /// </summary> /// <param name="unaryPlus">The unary plus.</param> public override void Visit(IUnaryPlus unaryPlus) { UnaryPlus mutableUnaryPlus = new UnaryPlus(unaryPlus); this.resultExpression = this.myCodeCopier.DeepCopy(mutableUnaryPlus); }
/// <summary> /// /// </summary> /// <param name="unaryPlus"></param> public UnaryPlus(IUnaryPlus unaryPlus) : base(unaryPlus) { }
/// <summary> /// Returns a deep copy of the given unary plus expression. /// </summary> /// <param name="unaryPlus"></param> public UnaryPlus Copy(IUnaryPlus unaryPlus) { var mutableCopy = this.shallowCopier.Copy(unaryPlus); this.CopyChildren((UnaryOperation)mutableCopy); return mutableCopy; }
public virtual void onASTElement(IUnaryPlus unaryPlus) { }
/// <summary> /// Visits the specified unary plus. /// </summary> /// <param name="unaryPlus">The unary plus.</param> public override void Visit(IUnaryPlus unaryPlus) { UnaryPlus mutableUnaryPlus = unaryPlus as UnaryPlus; if (mutableUnaryPlus == null) { this.resultExpression = unaryPlus; return; } this.resultExpression = this.myCodeMutator.Visit(mutableUnaryPlus); }