private With VisitWith(With with)
{
if (with.Name != null)
WriteStart("{0} -> ", with.Name.Name);
else
WriteStart("* -> ");
this.VisitBlock(with.Block);
return with;
}
private With VisitWith(With with)
{
if (with == null) return null;
with.Block = this.VisitBlock(with.Block);
return with;
}
private With VisitWith(With with)
{
if (with == null) return null;
With result = (With)with.Clone();
result.Block = this.VisitBlock(with.Block);
return result;
}
private With VisitWith(With with)
{
if (with.Name != null)
AddExceptionName(with.Name.Name);
with.Block = this.VisitBlock(with.Block);
return with;
}
private With VisitWith(With with)
{
with.Block = this.VisitBlock(with.Block);
return with;
}
public void Add(With element)
{
int n = this.elements.Length;
int i = this.length++;
if (i == n)
{
int m = n * 2; if (m < 16) m = 16;
With[] newElements = new With[m];
for (int j = 0; j < n; j++) newElements[j] = elements[j];
this.elements = newElements;
}
this.elements[i] = element;
}