Package dk.brics.xact.analysis.flowgraph

Examples of dk.brics.xact.analysis.flowgraph.VariableFilter.addVariable()

349
350
351
352
353
354
355
356
357
358
359
      // XXX this could take quadratic time. it could be improved easily
      for (Edge<Statement,VariableFilter> edge : graph.getOutEdges(s)) {
        VariableFilter filter = edge.getData();
        for (Variable var : var_alias.getKeys())
          if (filter.containsVariable(var))
            filter.addVariable(var_alias.getRepresentativeKey(var)); // XXX: no need to remove var?
      }
    }
  }

  private void replaceNode(final FlowGraph graph, Statement old,
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
        paramsOnly.addVariable(params[i]);
        argsOnly.addVariable(args[i]);
        notArgs.removeVariable(args[i]);
        if (call.isArgumentMutable(i)) {
          resultFilter.addVariable(call.getArgument(i));
          returnFilter.addVariable(target.getParameter(i));
        }
      }
      cfg.addFilter(argsOnly);
      for (int i=0; i<args.length; i++) {
        cfg.addStatement(new VarStm(params[i], args[i], call.getOrigin()));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.