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