protected override void Assign(BoundNode node, BoundExpression value, bool assigned = true)
{
switch (node.Kind)
{
case BoundKind.LocalDeclaration:
var decl = node.Syntax as VariableDeclaratorSyntax;
if (this.regionPlace == RegionPlace.inside && decl != null && decl.Identifier.Span.End < region.Start)
{
this.regionPlace = RegionPlace.after;
LeaveRegion();
}
break;
case BoundKind.Local:
case BoundKind.Parameter:
case BoundKind.ThisReference:
if (this.regionPlace == RegionPlace.inside && node.Syntax.Span.End < region.Start)
{
this.regionPlace = RegionPlace.after;
LeaveRegion();
}
break;
}
base.Assign(node, value, assigned);
}
/// <summary>
/// Used to keep track of whether we are currently within the region or not.
/// </summary>
/// <param name="currentLocation"></param>
private void NoteLocation(TextSpan currentLocation)
{
switch (regionPlace)
{
case RegionPlace.before:
if (currentLocation.Start >= region.Start)
{
regionPlace = RegionPlace.inside;
EnterRegion();
goto case RegionPlace.inside;
}
break;
case RegionPlace.inside:
if (currentLocation.Start > region.End)
{
regionPlace = RegionPlace.after;
LeaveRegion();
goto case RegionPlace.after;
}
else
{
// we have a location that spans inside and outside.
// probably the region is a subexpression and we are looking
// at an enclosing expression. We depend on the positions coming from the
// subexpressions to properly compute the before/inside/after.
}
break;
case RegionPlace.after:
// Should move monotonically forward through the text of the program.
// Note that this requires that all the basic flow analysis visitors handle their constructs in program text order.
if (currentLocation.Start <= region.End)
{
throw new ArgumentException();
}
break;
}
}
/// <summary>
/// Used to keep track of whether we are currently within the region or not.
/// </summary>
/// <param name="currentLocation"></param>
private void NoteLocation(TextSpan currentLocation)
{
switch (regionPlace)
{
case RegionPlace.before:
if (currentLocation.Start >= region.Start)
{
regionPlace = RegionPlace.inside;
EnterRegion();
goto case RegionPlace.inside;
}
break;
case RegionPlace.inside:
if (currentLocation.Start > region.End)
{
regionPlace = RegionPlace.after;
LeaveRegion();
goto case RegionPlace.after;
}
else
{
// we have a location that spans inside and outside.
// probably the region is a subexpression and we are looking
// at an enclosing expression. We depend on the positions coming from the
// subexpressions to properly compute the before/inside/after.
}
break;
case RegionPlace.after:
// Should move monotonically forward through the text of the program.
// Note that this requires that all the basic flow analysis visitors handle their constructs in program text order.
if (currentLocation.Start <= region.End)
throw new ArgumentException();
break;
}
}
/// <summary>
/// To scan the whole body, we start outside (before) the region.
/// </summary>
protected override void Scan()
{
regionPlace = RegionPlace.before;
base.Scan();
}
protected override void Assign(BoundNode node, BoundExpression value, bool assigned = true)
{
switch (node.Kind)
{
case BoundKind.LocalDeclaration:
var decl = node.Syntax as VariableDeclaratorSyntax;
if (this.regionPlace == RegionPlace.inside && decl != null && decl.Identifier.Span.End < region.Start)
{
this.regionPlace = RegionPlace.after;
LeaveRegion();
}
break;
case BoundKind.Local:
case BoundKind.Parameter:
case BoundKind.ThisReference:
if (this.regionPlace == RegionPlace.inside && node.Syntax.Span.End < region.Start)
{
this.regionPlace = RegionPlace.after;
LeaveRegion();
}
break;
}
base.Assign(node, value, assigned);
}
/// <summary>
/// To scan the whole body, we start outside (before) the region.
/// </summary>
protected override void Scan()
{
regionPlace = RegionPlace.before;
base.Scan();
}
