public override void Visit(IUnitSet unitSet) { if (Process(unitSet)) { visitor.Visit(unitSet); } base.Visit(unitSet); }
/// <summary> /// Visits the specified unit. /// </summary> /// <param name="unit">The unit.</param> public override void Visit(IUnit unit) { List <IUnit> units = new List <IUnit>(); foreach (IUnitReference uref in unit.UnitReferences) { units.Add(uref.ResolvedUnit); } units.Add(unit); this.unitSet = new Immutable.UnitSet(units.AsReadOnly()); base.Visit(unit); }
internal NestedUnitSetNamespace(UnitSetNamespace containingNamespace, IName name, IUnitSet unitSet, List <IUnitNamespace> nestedUnitNamepaces) : base(name, unitSet, nestedUnitNamepaces) { this.containingNamespace = containingNamespace; }
/// <summary> /// /// </summary> /// <param name="name"></param> /// <param name="unitSet"></param> /// <param name="nestedUnitNamespaces"></param> protected UnitSetNamespace(IName name, IUnitSet unitSet, List <IUnitNamespace> nestedUnitNamespaces) : base(name) { this.unitSet = unitSet; this.unitNamespaces = nestedUnitNamespaces; }
public virtual void onMetadataElement(IUnitSet unitSet) { }
/// <summary> /// Performs some computation with the given unit set. /// </summary> public void Visit(IUnitSet unitSet) { }
/// <summary> /// Performs some computation with the given unit set. /// </summary> public virtual void Visit(IUnitSet unitSet) { }
public void Visit(IUnitSet unitSet) { Contract.Assume(false); }
//^ ensures this.path.Count == old(this.path.Count); /// <summary> /// Performs some computation with the given unit set. /// </summary> /// <param name="unitSet"></param> public virtual void Visit(IUnitSet unitSet) { if (this.stopTraversal) return; //^ int oldCount = this.path.Count; this.path.Push(unitSet); this.Visit(unitSet.UnitSetNamespaceRoot); //^ assume this.path.Count == oldCount+1; //True because all of the virtual methods of this class promise not decrease this.path.Count. this.path.Pop(); }
public void Visit(IUnitSet unitSet) { throw new NotImplementedException(); }
/// <summary> /// Visits the specified unit. /// </summary> /// <param name="unit">The unit.</param> public override void Visit(IUnit unit) { List<IUnit> units = new List<IUnit>(); foreach (IUnitReference uref in unit.UnitReferences) units.Add(uref.ResolvedUnit); units.Add(unit); this.unitSet = new Immutable.UnitSet(units.AsReadOnly()); base.Visit(unit); }
public virtual void onMetadataElement(IUnitSet unitSet) { }
/// <summary> /// Performs some computation with the given unit set. /// </summary> public virtual void Visit(IUnitSet unitSet) { }
public override void Visit(IUnitSet unitSet) { allElements.Add(new InvokInfo(Traverser, "IUnitSet", unitSet)); }
public override void Visit(IUnitSet unitSet) { if(Process(unitSet)){visitor.Visit(unitSet);} base.Visit(unitSet); }