/// <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); }