public override void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
if (Process(nestedUnitNamespaceReference))
{
visitor.Visit(nestedUnitNamespaceReference);
}
base.Visit(nestedUnitNamespaceReference);
}
private static void WriteNamespaceAndSeparator(IUnitNamespaceReference ns, TextWriter writer)
{
Contract.Requires(ns != null);
Contract.Requires(writer != null);
INestedUnitNamespaceReference nested = ns as INestedUnitNamespaceReference;
if (nested == null)
{
return; // top-level
}
Contract.Assume(nested.ContainingUnitNamespace != null, "lack of CCI2 contracts");
WriteNamespaceAndSeparator(nested.ContainingUnitNamespace, writer);
writer.Write(nested.Name.Value);
writer.Write(".");
}
/// <summary>
/// Returns true if the given two unit namespaces are to be considered equivalent as containers.
/// </summary>
public static bool UnitNamespacesAreEquivalent(IUnitNamespaceReference /*?*/ unitNamespace1, IUnitNamespaceReference /*?*/ unitNamespace2)
{
if (unitNamespace1 == null || unitNamespace2 == null)
{
return(false);
}
if (unitNamespace1 == unitNamespace2)
{
return(true);
}
INestedUnitNamespaceReference /*?*/ nstUnitNamespace1 = unitNamespace1 as INestedUnitNamespaceReference;
INestedUnitNamespaceReference /*?*/ nstUnitNamespace2 = unitNamespace2 as INestedUnitNamespaceReference;
if (nstUnitNamespace1 != null && nstUnitNamespace2 != null)
{
return(nstUnitNamespace1.Name.UniqueKey == nstUnitNamespace2.Name.UniqueKey &&
UnitHelper.UnitNamespacesAreEquivalent(nstUnitNamespace1.ContainingUnitNamespace, nstUnitNamespace2.ContainingUnitNamespace));
}
if (nstUnitNamespace1 != null || nstUnitNamespace2 != null)
{
return(false);
}
return(UnitHelper.UnitsAreContainmentEquivalent(unitNamespace1.Unit, unitNamespace2.Unit));
}
public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
this.traverser.Traverse(nestedUnitNamespaceReference);
}
/// <summary>
/// Traverses the specified nested unit namespace reference.
/// </summary>
public virtual void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
Contract.Requires(nestedUnitNamespaceReference != null);
this.TraverseChildren((IUnitNamespaceReference)nestedUnitNamespaceReference);
}
/// <summary>
/// Traverses the specified nested unit namespace reference.
/// </summary>
public void Traverse(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
Contract.Requires(nestedUnitNamespaceReference != null);
if (!this.objectsThatHaveAlreadyBeenTraversed.Add(nestedUnitNamespaceReference)) return;
if (this.preorderVisitor != null) this.preorderVisitor.Visit(nestedUnitNamespaceReference);
if (this.stopTraversal) return;
this.TraverseChildren(nestedUnitNamespaceReference);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(nestedUnitNamespaceReference);
}
public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
throw new NotImplementedException();
}
public override void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
if(Process(nestedUnitNamespaceReference)){visitor.Visit(nestedUnitNamespaceReference);}
base.Visit(nestedUnitNamespaceReference);
}
public override void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
MethodEnter(nestedUnitNamespaceReference);
base.TraverseChildren(nestedUnitNamespaceReference);
MethodExit();
}
/// <summary>
/// Rewrites the specified reference to a nested unit namespace.
/// </summary>
public virtual INestedUnitNamespaceReference Rewrite(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
return nestedUnitNamespaceReference;
}
private NamespaceName/*?*/ GetNamespaceName(INameTable nameTable, INestedUnitNamespaceReference/*?*/ nestedUnitNamespaceReference) {
if (nestedUnitNamespaceReference == null) return null;
var parentNamespaceName = this.GetNamespaceName(nameTable, nestedUnitNamespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
return new NamespaceName(nameTable, parentNamespaceName, nestedUnitNamespaceReference.Name);
}
private bool IsWindowsUIXamlMediaMedia3D(INestedUnitNamespaceReference/*?*/ namespaceReference) {
if (namespaceReference == null || namespaceReference.Name != this.Media3D) return false;
return IsWindowsUIXamlMedia(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
}
private bool IsWindowsUIXamlInterop(INestedUnitNamespaceReference/*?*/ namespaceReference) {
if (namespaceReference == null || namespaceReference.Name != this.Interop) return false;
return IsWindowsUIXaml(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
}
private bool IsWindowsUIXamlControlsPrimitives(INestedUnitNamespaceReference/*?*/ namespaceReference) {
if (namespaceReference == null || namespaceReference.Name != this.Primitives) return false;
return IsWindowsUIXamlControls(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
}
private bool IsWindowsFoundationMetadata(INestedUnitNamespaceReference/*?*/ namespaceReference) {
if (namespaceReference == null || namespaceReference.Name != this.Metadata) return false;
return IsWindowsFoundation(namespaceReference.ContainingUnitNamespace as INestedUnitNamespaceReference);
}
private bool IsWindows(INestedUnitNamespaceReference/*?*/ namespaceReference) {
if (namespaceReference == null || namespaceReference.Name != this.Windows) return false;
return namespaceReference.ContainingUnitNamespace is IRootUnitNamespaceReference;
}
/// <summary>
/// Performs some computation with the given nested unit namespace reference.
/// </summary>
public virtual void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
}
//^ ensures this.path.Count == old(this.path.Count);
/// <summary>
/// Performs some computation with the given nested unit namespace reference.
/// </summary>
/// <param name="nestedUnitNamespaceReference"></param>
public virtual void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
}
/// <summary>
/// Performs some computation with the given nested unit namespace reference.
/// </summary>
public void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
this.Visit((IUnitNamespaceReference)nestedUnitNamespaceReference);
}
public override void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
allElements.Add(new InvokInfo(Traverser, "INestedUnitNamespaceReference", nestedUnitNamespaceReference));
}
public virtual void onMetadataElement(INestedUnitNamespaceReference nestedUnitNamespaceReference) { }
/// <summary>
/// Performs some computation with the given nested unit namespace reference.
/// </summary>
/// <param name="nestedUnitNamespaceReference"></param>
public virtual void Visit(INestedUnitNamespaceReference nestedUnitNamespaceReference)
//^ ensures this.path.Count == old(this.path.Count);
{
}
uint GetNestedNamespaceInternId(INestedUnitNamespaceReference nestedUnitNamespaceReference) {
Contract.Requires(nestedUnitNamespaceReference != null);
uint parentNamespaceInternedId = this.GetUnitNamespaceInternId(nestedUnitNamespaceReference.ContainingUnitNamespace);
uint value = this.NestedNamespaceHashtable.Find(parentNamespaceInternedId, (uint)nestedUnitNamespaceReference.Name.UniqueKey);
if (value == 0) {
value = this.CurrentNamespaceInternValue++;
this.NestedNamespaceHashtable.Add(parentNamespaceInternedId, (uint)nestedUnitNamespaceReference.Name.UniqueKey, value);
}
return value;
}
public virtual void onMetadataElement(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
}
public override void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{ MethodEnter(nestedUnitNamespaceReference);
base.TraverseChildren(nestedUnitNamespaceReference);
MethodExit(); }
/// <summary>
/// Traverses the specified nested unit namespace reference.
/// </summary>
public virtual void TraverseChildren(INestedUnitNamespaceReference nestedUnitNamespaceReference)
{
this.TraverseChildren((IUnitNamespaceReference)nestedUnitNamespaceReference);
}
