Package dk.brics.xact.analysis.flowgraph.statements

Examples of dk.brics.xact.analysis.flowgraph.statements.NopStm

65
66
67
68
69
70
71
72
73
74
75
          if (v.isGlobal()) {
            Statement join = global_use.get(v);
            if (join == null) {
              // make new join node
              Debug.println(6, true, "Making join node for " + v + " (used in " + s + ")");
              join = new NopStm(s.getOrigin());
              graph.addNode(join);
              global_use.put(v, join);
//              Statement ea = new EmptyStm(v, s.getOrigin()); // initialisation value for the global var
//              graph.addNode(ea);
//              graph.addEntry(ea);
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
      });
    }
    for (Statement s : new LinkedHashSet<Statement>(graph.getNodes())) {
      if (s instanceof Assignment) {
        if (var_alias.getData(((Assignment) s).getDest()).array) {
          NopStm nop = new NopStm(s.getOrigin());
          graph.addNode(nop);
          for (Edge<Statement,VariableFilter> e : graph.getInEdges(s)) {
            graph.addEdge(e.getFrom(), nop, e.getData());
          }
          for (Edge<Statement,VariableFilter> e : graph.getOutEdges(s)) {
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
77
78
79
        Statement methodentry, methodexit;
        Variable returnVar;
        Variable[] parameters = new Variable[m.getParameterCount()];
        if (m.isConcrete()) {
          // entry
          methodentry = new NopStm(origin, "method entry");
          graph.addNode(methodentry);
          // exit
          methodexit = new NopStm(origin, "method exit");
          graph.addNode(methodexit);
          // parameters
          for (int i=0; i<m.getParameterCount(); i++) {
            parameters[i] = new Variable(context.getNextVarID(), false);
          }
View Full Code Here
109
110
111
112
113
114
115
116
     */
    public void moveToIsolation() {
        if (branches.size() > 0)
            throw new IllegalStateException("Unclosed branch");
        //firstStatement = null;
        lastStatement = new NopStm(currentOrigin);
        graph.addNode(lastStatement);
    }
View Full Code Here
129
130
131
132
133
134
135
136
137
138
139
    public StatementPair finish() {
        if (branches.size() > 0) {
            throw new IllegalStateException("A local branch was not closed. Each startBranch must have a corresponding call to endBranch");
        }
        if (firstStatement == null) {
            addStatement(new NopStm(currentOrigin));
        }
        StatementPair pair = new StatementPair(firstStatement, lastStatement);
        firstStatement = null;
        lastStatement = null;
        return pair;
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
156
157
     * See {@link ControlFlowBuilder} for a description of the branching methods.
     */
    public void startBranch() {
        // if no statement has been created, add a Nop as the start of the branch
        if (firstStatement == null) {
            addStatement(new NopStm(currentOrigin));
        }
        Statement start = lastStatement;
        Statement end = new NopStm(currentOrigin);
        graph.addNode(end);
        branchWasUsed = false;
        branches.add(new Branching(start, end));
    }
View Full Code Here
208
209
210
211
212
213
214
215
216
217
     */
    public void addStatement(Statement s, VariableFilter filter) {
      graph.addNode(s);
      currentOrigin = s.getOrigin();
        if (firstStatement == null) {
            addStatement(new NopStm(currentOrigin));
        }
        graph.addEdge(lastStatement, s, filter);
        lastStatement = s;
    }
View Full Code Here
215
216
217
218
219
220
221
        graph.addEdge(lastStatement, s, filter);
        lastStatement = s;
    }
   
    public void addFilter(VariableFilter filter) {
      addStatement(new NopStm(currentOrigin), filter);
    }
View Full Code Here
220
221
222
223
224
225
226
227
228
      addStatement(new NopStm(currentOrigin), filter);
    }
   
    public void addEdgeTo(Statement s, VariableFilter filter) {
      if (firstStatement == null) {
        addStatement(new NopStm(currentOrigin));
      }
      graph.addEdge(lastStatement, s, filter);
    }
View Full Code Here
226
227
228
229
230
231
232
233
234
      }
      graph.addEdge(lastStatement, s, filter);
    }
    public void addEdgeFrom(Statement s, VariableFilter filter) {
      if (firstStatement == null) {
        addStatement(new NopStm(currentOrigin));
      }
      graph.addEdge(s, lastStatement, filter);
    }
View Full Code Here
TOP

Related Classes of dk.brics.xact.analysis.flowgraph.statements.NopStm

  • dk.brics.xact.analysis.soot.ControlFlowBuilder
  • dk.brics.xact.analysis.soot.Jimple2FlowGraph
  • dk.brics.xact.analysis.transformations.ArrayTransformer
  • dk.brics.xact.analysis.transformations.FieldTransformer
    • Copyright © 2018 www.massapicom. 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.