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;
}
public static ScopeEscapeDomain Bottom(IEnumerable <IVariable> vars, IEnumerable <IFieldAccess> fields)
{
return(new ScopeEscapeDomain(VarEscapeDomain.Bottom(vars), FieldEscapeDomain.Bottom(fields)));
}
private ScopeEscapeDomain(VarEscapeDomain vs, FieldEscapeDomain fs)
{
vset = vs;
fset = fs;
}