public override void Visit(ISizeOf sizeOf)
{
if (Process(sizeOf))
{
visitor.Visit(sizeOf);
}
base.Visit(sizeOf);
}
public void Visit(ISizeOf sizeOf)
{
Contract.Requires(sizeOf != null);
throw new NotImplementedException();
}
public void Visit(ISizeOf sizeOf)
{
this.traverser.Traverse(sizeOf);
}
/// <summary>
/// Traverses the sizeof() expression.
/// </summary>
public void Traverse(ISizeOf sizeOf)
{
Contract.Requires(sizeOf != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(sizeOf);
if (this.StopTraversal) return;
this.TraverseChildren(sizeOf);
if (this.StopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(sizeOf);
}
//^ ensures this.path.Count == old(this.path.Count);
/// <summary>
/// Traverses the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual void Visit(ISizeOf sizeOf)
{
if (this.stopTraversal) return;
//^ int oldCount = this.path.Count;
this.path.Push(sizeOf);
this.Visit(sizeOf.TypeToSize);
//^ 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 virtual void onASTElement(ISizeOf sizeOf)
{
}
/// <summary>
/// Returns a shallow copy of the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public SizeOf Copy(ISizeOf sizeOf)
{
return new SizeOf(sizeOf);
}
/// <summary>
/// Visits the specified size of.
/// </summary>
/// <param name="sizeOf">The size of.</param>
public override void Visit(ISizeOf sizeOf)
{
SizeOf mutableSizeOf = sizeOf as SizeOf;
if (alwaysMakeACopy || mutableSizeOf == null) mutableSizeOf = new SizeOf(sizeOf);
this.resultExpression = this.myCodeMutator.Visit(mutableSizeOf);
}
/// <summary>
/// Generates IL for the specified size of.
/// </summary>
/// <param name="sizeOf">The size of.</param>
public override void TraverseChildren(ISizeOf sizeOf)
{
this.generator.Emit(OperationCode.Sizeof, sizeOf.TypeToSize);
this.StackSize++;
}
public override void Visit(ISizeOf sizeOf)
{
if(Process(sizeOf)){visitor.Visit(sizeOf);}
base.Visit(sizeOf);
}
private HLLocation ProcessSizeOfExpression(ISizeOf pExpression)
{
return(HLSizeOfLocation.Create(HLDomain.GetOrCreateType(pExpression.TypeToSize)));
}
private HLLocation ProcessSizeOfExpression(ISizeOf pExpression)
{
return HLSizeOfLocation.Create(HLDomain.GetOrCreateType(pExpression.TypeToSize));
}
public void Visit(ISizeOf sizeOf)
{
this.result = this.rewriter.Rewrite(sizeOf);
}
/// <summary>
/// Rewrites the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual IExpression Rewrite(ISizeOf sizeOf)
{
var mutableSizeOf = sizeOf as SizeOf;
if (mutableSizeOf == null) return sizeOf;
this.RewriteChildren(mutableSizeOf);
return mutableSizeOf;
}
/// <summary>
///
/// </summary>
/// <param name="sizeOf"></param>
public SizeOf(ISizeOf sizeOf)
: base(sizeOf)
{
this.typeToSize = sizeOf.TypeToSize;
}
public virtual void onASTElement(ISizeOf sizeOf) { }
public override void TraverseChildren(ISizeOf sizeOf)
{
base.TraverseChildren(sizeOf);
((SizeOf)sizeOf).Type = this.platformType.SystemInt32;
}
/// <summary>
/// Returns a deep copy of the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public SizeOf Copy(ISizeOf sizeOf)
{
var mutableCopy = this.shallowCopier.Copy(sizeOf);
this.CopyChildren((Expression)mutableCopy);
mutableCopy.TypeToSize = this.Copy(mutableCopy.TypeToSize);
return mutableCopy;
}
public override void Visit(ISizeOf sizeOf)
{
allElements.Add(new InvokInfo(Traverser, "ISizeOf", sizeOf));
}
public void Visit(ISizeOf sizeOf)
{
this.result = this.copier.Copy(sizeOf);
}
/// <summary>
/// Rewrites the given sizeof(); expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual IExpression Rewrite(ISizeOf sizeOf)
{
return sizeOf;
}
public override void TraverseChildren(ISizeOf sizeOf)
{ MethodEnter(sizeOf);
base.TraverseChildren(sizeOf);
MethodExit(); }
public BenchMarkMiddleWare(ISizeOf sizeoff, RequestDelegate next)
{
_sizeof = sizeoff;
_next = next;
}
/// <summary>
/// Performs some computation with the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual void Visit(ISizeOf sizeOf)
{
}
public override void TraverseChildren(ISizeOf sizeOf) {
base.TraverseChildren(sizeOf);
((SizeOf)sizeOf).Type = this.platformType.SystemInt32;
}
/// <summary>
/// Traverses the children of the sizeof() expression.
/// </summary>
public virtual void TraverseChildren(ISizeOf sizeOf)
{
Contract.Requires(sizeOf != null);
this.TraverseChildren((IExpression)sizeOf);
if (this.StopTraversal) return;
this.Traverse(sizeOf.TypeToSize);
}
/// <summary>
/// Returns a shallow copy of the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public SizeOf Copy(ISizeOf sizeOf) {
Contract.Requires(sizeOf != null);
Contract.Ensures(Contract.Result<SizeOf>() != null);
return new SizeOf(sizeOf);
}
/// <summary>
/// Performs some computation with the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual void Visit(ISizeOf sizeOf)
{
this.Visit((IExpression)sizeOf);
}
/// <summary>
/// Returns a deep copy of the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public SizeOf Copy(ISizeOf sizeOf) {
Contract.Requires(sizeOf != null);
Contract.Ensures(Contract.Result<SizeOf>() != null);
var mutableCopy = this.shallowCopier.Copy(sizeOf);
this.CopyChildren((Expression)mutableCopy);
mutableCopy.TypeToSize = this.Copy(mutableCopy.TypeToSize);
return mutableCopy;
}
public void Visit(ISizeOf sizeOf)
{
throw new NotImplementedException();
}
/// <summary>
/// Performs some computation with the given sizeof() expression.
/// </summary>
/// <param name="sizeOf"></param>
public virtual void Visit(ISizeOf sizeOf)
{
}
public override void TraverseChildren(ISizeOf sizeOf) {
this.sourceEmitterOutput.Write("sizeOf(");
this.PrintTypeReference(sizeOf.TypeToSize);
this.sourceEmitterOutput.Write(")");
}
/// <summary>
/// Visits the specified size of.
/// </summary>
/// <param name="sizeOf">The size of.</param>
public override void Visit(ISizeOf sizeOf)
{
SizeOf mutableSizeOf = new SizeOf(sizeOf);
this.resultExpression = this.myCodeCopier.DeepCopy(mutableSizeOf);
}
public override void TraverseChildren(ISizeOf sizeOf)
{
MethodEnter(sizeOf);
base.TraverseChildren(sizeOf);
MethodExit();
}
/// <summary>
/// Visits the specified size of.
/// </summary>
/// <param name="sizeOf">The size of.</param>
public override void Visit(ISizeOf sizeOf)
{
SizeOf mutableSizeOf = sizeOf as SizeOf;
if (mutableSizeOf == null) {
this.resultExpression = sizeOf;
return;
}
this.resultExpression = this.myCodeMutator.Visit(mutableSizeOf);
}
