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