public void Join(ScopeEscapeDomain sed) { var nvset = vset.Clone(); nvset.Join(sed.Variables); vset = nvset; var nfset = fset.Clone(); nfset.Join(sed.Fields); fset = nfset; }
private void SavePostState(Instruction instruction, ScopeEscapeDomain state) { postState[instruction] = state; }
private void SetCurrent(ScopeEscapeDomain state) { State = state; }
private void SetAllEscaped(ScopeEscapeDomain state) { someRowEscaped = true; state.SetAllEscaped(); // TODO: refine the above with aliasing information. }
public EscapeTransferVisitor(ScopeEscapeDomain start, NaiveScopeMayEscapeAnalysis dad) { SetCurrent(start); parent = dad; }