public override void TraverseChildren(IGlobalFieldDefinition globalField)
{
if (!MemberHelper.IsVisibleOutsideAssembly(globalField))
{
return;
}
_assembly.EnrollApi(globalField);
}
public override void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
if (Process(globalFieldDefinition))
{
visitor.Visit(globalFieldDefinition);
}
base.Visit(globalFieldDefinition);
}
/// <summary>
/// Traverses the children of the global field definition.
/// </summary>
public virtual void TraverseChildren(IGlobalFieldDefinition globalFieldDefinition)
{
Contract.Requires(globalFieldDefinition != null);
this.TraverseChildren((IFieldDefinition)globalFieldDefinition);
}
/// <summary>
/// Traverses the global field definition.
/// </summary>
public void Traverse(IGlobalFieldDefinition globalFieldDefinition)
{
Contract.Requires(globalFieldDefinition != null);
if (this.preorderVisitor != null) this.preorderVisitor.Visit(globalFieldDefinition);
if (this.stopTraversal) return;
this.TraverseChildren(globalFieldDefinition);
if (this.stopTraversal) return;
if (this.postorderVisitor != null) this.postorderVisitor.Visit(globalFieldDefinition);
}
/// <summary>
/// Performs some computation with the given global field definition.
/// </summary>
public virtual void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
}
public override void TraverseChildren(IGlobalFieldDefinition globalField)
{
if (!MemberHelper.IsVisibleOutsideAssembly(globalField))
return;
_assembly.EnrollApi(globalField);
}
public override void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
if(Process(globalFieldDefinition)){visitor.Visit(globalFieldDefinition);}
base.Visit(globalFieldDefinition);
}
public virtual void onMetadataElement(IGlobalFieldDefinition globalFieldDefinition) { }
/// <summary>
/// Performs some computation with the given global field definition.
/// </summary>
public void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
this.Visit((IFieldDefinition)globalFieldDefinition);
switch (globalFieldDefinition.Visibility) {
case TypeMemberVisibility.Public:
case TypeMemberVisibility.Private:
case TypeMemberVisibility.Other:
break;
default:
this.ReportError(MetadataError.InvalidGlobalFieldVisibility, globalFieldDefinition);
break;
}
if (!globalFieldDefinition.IsStatic)
this.ReportError(MetadataError.GlobalFieldNotStatic, globalFieldDefinition);
}
/// <summary>
/// Performs some computation with the given global field definition.
/// </summary>
/// <param name="globalFieldDefinition"></param>
public virtual void Visit(IGlobalFieldDefinition globalFieldDefinition)
//^ ensures this.path.Count == old(this.path.Count);
{
this.Visit((IFieldDefinition)globalFieldDefinition);
}
/// <summary>
/// Performs some computation with the given global field definition.
/// </summary>
public virtual void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
}
/// <summary>
/// Rewrites the specified global field definition.
/// </summary>
public virtual IGlobalFieldDefinition Rewrite(IGlobalFieldDefinition globalFieldDefinition)
{
return globalFieldDefinition;
}
public override void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
allElements.Add(new InvokInfo(Traverser, "IGlobalFieldDefinition", globalFieldDefinition));
}
public void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
this.traverser.Traverse(globalFieldDefinition);
}
public virtual void onMetadataElement(IGlobalFieldDefinition globalFieldDefinition)
{
}
/// <summary>
/// Performs some computation with the given global field definition.
/// </summary>
public virtual void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
this.Visit((IFieldDefinition)globalFieldDefinition);
}
public override void TraverseChildren(IGlobalFieldDefinition globalFieldDefinition)
{ MethodEnter(globalFieldDefinition);
base.TraverseChildren(globalFieldDefinition);
MethodExit(); }
public virtual void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
this.Visit((IFieldDefinition)globalFieldDefinition);
}
public void Visit(IGlobalFieldDefinition globalFieldDefinition)
{
throw new NotImplementedException();
}
public override void TraverseChildren(IGlobalFieldDefinition globalFieldDefinition)
{
MethodEnter(globalFieldDefinition);
base.TraverseChildren(globalFieldDefinition);
MethodExit();
}
/// <summary>
/// Traverses the children of the global field definition.
/// </summary>
public virtual void TraverseChildren(IGlobalFieldDefinition globalFieldDefinition)
{
this.TraverseChildren((IFieldDefinition)globalFieldDefinition);
}
