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