public virtual void onMetadataElement(IGenericMethodParameter genericMethodParameter) { }
public void Visit(IGenericMethodParameter genericMethodParameter)
{
this.traverser.Traverse(genericMethodParameter);
}
/// <summary>
/// Performs some computation with the given generic method parameter.
/// </summary>
public void Visit(IGenericMethodParameter genericMethodParameter)
{
this.Visit((IGenericParameter)genericMethodParameter);
}
//^ ensures this.path.Count == old(this.path.Count);
/// <summary>
/// Performs some computation with the given generic method parameter.
/// </summary>
/// <param name="genericMethodParameter"></param>
public virtual void Visit(IGenericMethodParameter genericMethodParameter)
{
}
/// <summary>
/// Traverses the children of the generic method parameter.
/// </summary>
public virtual void TraverseChildren(IGenericMethodParameter genericMethodParameter)
{
Contract.Requires(genericMethodParameter != null);
this.TraverseChildren((IGenericParameter)genericMethodParameter);
}
public void Visit(IGenericMethodParameter genericMethodParameter)
{
throw new NotImplementedException();
}
/// <summary>
/// Traverses the generic method parameter.
/// </summary>
public void Traverse(IGenericMethodParameter genericMethodParameter)
{
Contract.Requires(genericMethodParameter != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(genericMethodParameter);
if (this.stopTraversal) return;
this.TraverseChildren(genericMethodParameter);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(genericMethodParameter);
}
/// <summary>
/// Performs some computation with the given generic method parameter.
/// </summary>
/// <param name="genericMethodParameter"></param>
public virtual void Visit(IGenericMethodParameter genericMethodParameter)
//^ ensures this.path.Count == old(this.path.Count);
{
}
public override void TraverseChildren(IGenericMethodParameter genericMethodParameter)
{ MethodEnter(genericMethodParameter);
base.TraverseChildren(genericMethodParameter);
MethodExit(); }
public override void TraverseChildren(IGenericMethodParameter genericMethodParameter) {
sourceEmitterOutput.Write(genericMethodParameter.Name.Value);
}
/// <summary>
/// Rewrites the given generic method parameter reference.
/// </summary>
public virtual IGenericMethodParameter Rewrite(IGenericMethodParameter genericMethodParameter)
{
return genericMethodParameter;
}
public override void Visit(IGenericMethodParameter genericMethodParameter)
{
if(Process(genericMethodParameter)){visitor.Visit(genericMethodParameter);}
base.Visit(genericMethodParameter);
}
/// <summary>
/// Performs some computation with the given generic method parameter.
/// </summary>
public virtual void Visit(IGenericMethodParameter genericMethodParameter)
{
}
/// <summary>
/// Traverses the children of the generic method parameter.
/// </summary>
public virtual void TraverseChildren(IGenericMethodParameter genericMethodParameter)
{
this.TraverseChildren((IGenericParameter)genericMethodParameter);
}
