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); }