/// <summary>
 /// Class constructor.
 /// </summary>
 /// <param name="def"></param>
 /// <param name="resolver"></param>
 public TranslateElementVisitor(XmlHighlightingThemeDefinition def,
                                IHighlightingThemeDefinitionReferenceResolver resolver)
 {
     Debug.Assert(def != null);
     Debug.Assert(resolver != null);
     this.def = def;
 }
 /// <summary>
 /// Class constructor
 /// </summary>
 public RegisterNamedElementsVisitor(XmlHighlightingThemeDefinition def)
     : this()
 {
     this.def = def;
 }