/// <summary>
/// Return the flow analysis state associated with a label.
/// </summary>
/// <param name="label"></param>
/// <returns></returns>
FlowAnalysisLocalState?LabelState(LabelSymbol label)
{
FlowAnalysisLocalState?result;
if (labels.TryGetValue(label, out result))
{
return(result);
}
result = FlowAnalysisLocalState.UnreachableState(nextVariableSlot);
labels.Add(label, result);
return(result);
}
/// <summary>
/// Set the current state to one that indicates that it is unreachable.
/// </summary>
protected void SetUnreachable()
{
this.state = FlowAnalysisLocalState.UnreachableState(this.nextVariableSlot);
}
