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