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);
}
/// <summary>
/// Performs some computation with the given unary plus expression.
/// </summary>
/// <param name="unaryPlus"></param>
public virtual void Visit(IUnaryPlus unaryPlus)
{
}
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();
}
public override void TraverseChildren(IUnaryPlus unaryPlus) {
base.TraverseChildren(unaryPlus);
((UnaryPlus)unaryPlus).Type = unaryPlus.Operand.Type;
}
/// <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);
}
