Package dk.brics.string.intermediate

Examples of dk.brics.string.intermediate.Return

113
114
115
116
117
118
119
120
121
122
123
      }
    }

    // visit interprocedural successors
    if (s instanceof Return) {
      Return returnStm = (Return)s;
      Method method = s.getMethod();
      for (Call call : method.getCallSites()) {
        for (Statement afterCall : call.getSuccs()) {
          after = getInfoBefore(afterCall);
          changed = false;
View Full Code Here
862
863
864
865
866
867
868
  public void caseInvokeStmt(InvokeStmt stmt) {
    translateExpression(stmt.getInvokeExprBox());
  }
  public void caseReturnStmt(ReturnStmt stmt) {
    Variable returnValue = translateExpression(stmt.getOpBox());
    addStatement(new Return(returnValue));
  }
View Full Code Here
865
866
867
868
869
870
871
  public void caseReturnStmt(ReturnStmt stmt) {
    Variable returnValue = translateExpression(stmt.getOpBox());
    addStatement(new Return(returnValue));
  }
  public void caseReturnVoidStmt(ReturnVoidStmt stmt) {
    addStatement(new Return(getNothing()));
  }
View Full Code Here
401
402
403
404
405
406
407
408
409
410
411
            methods.add(m);
            tostring_methods.put(ac.getName(), m);
            Variable var = application.createVariable(VariableType.STRING);
            StringStatement spot = new StringAssignment(var, var);
            m.addStatement(spot);
            Return ret = new Return(var);
            m.addStatement(ret);
            spot.addSucc(ret);
            tostring_hotspots.put(ac, spot); // these hotspots are used by
                                             // StringAnalysis.getTypeAutomaton
            Collection<SootClass> subtypes;
View Full Code Here
456
457
458
459
460
461
462
463
464
465
466
        SootClass c = Scene.v().getSootClass(classname);
        Variable var = application.createVariable(VariableType.STRING);
        StringStatement ss = new StringInit(var, a);
        m.addStatement(ss);
        m.getEntry().addSucc(ss);
        Return ret = new Return(var);
        m.addStatement(ret);
        ss.addSucc(ret);

        methods.add(m);
        tostring_targets.put(c, m);
View Full Code Here
620
621
622
623
624
625
626
627
        cfg.useBranch();
       
        cfg.endBranch();
       
        // add a return statement
        Return ret = new Return(application.createVariable(VariableType.NONE));
        cfg.addStatement(ret);
    }
View Full Code Here
TOP

Related Classes of dk.brics.string.intermediate.Return

  • dk.brics.string.intermediate.operations.AliasAnalysis
  • dk.brics.string.java.Jimple2Intermediate
  • dk.brics.string.java.StatementTranslatorImpl
    • 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.