Examples of org.aspectj.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue

Package org.aspectj.apache.bcel.verifier.structurals

Examples of org.aspectj.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue

org.aspectj.apache.bcel.verifier.structurals.Pass3bVerifier
An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure. This is used to hold information about InstructionContext objects externally --- i.e. that information is not saved inside the InstructionContext object itself. This is useful to save the execution path of the symbolic execution of the Pass3bVerifier - this is not information that belongs into the InstructionContext object itself. Only at "execute()"ing time, an InstructionContext object will get the current information we have about its symbolic execution predecessors.

  }


  /** Returns the VerificationResult for the given pass. */
  public VerificationResult doPass3b(int method_no){
    String key = Integer.toString(method_no);
    Pass3bVerifier p3bv;
    p3bv = (Pass3bVerifier) (p3bvs.get(key));
    if (p3bvs.get(key) == null){
      p3bv = new Pass3bVerifier(this, method_no);
      p3bvs.put(key, p3bv);
    }
    return p3bv.verify();
  }

View Full Code Here

               "'): "+p3am[i]);
      }
    }
    Iterator p3bs = p3bvs.values().iterator();
    while (p3bs.hasNext()){
      Pass3bVerifier pv = (Pass3bVerifier) p3bs.next();
      String[] p3bm = pv.getMessages();
      int meth = pv.getMethodNo();
      for (int i=0; i<p3bm.length; i++){
        messages.add("Pass 3b, method "+meth+
               " ('"+
               org.aspectj.apache.bcel.Repository.
               lookupClass(classname).

View Full Code Here

TOP

Related Classes of org.aspectj.apache.bcel.verifier.structurals.Pass3bVerifier$InstructionContextQueue

org.aspectj.apache.bcel.classfile.JavaClass

org.aspectj.apache.bcel.generic.ConstantPoolGen

org.aspectj.apache.bcel.generic.InstructionHandle

org.aspectj.apache.bcel.generic.JsrInstruction

org.aspectj.apache.bcel.generic.MethodGen

org.aspectj.apache.bcel.generic.ObjectType

org.aspectj.apache.bcel.generic.RET

org.aspectj.apache.bcel.generic.ReturnaddressType

org.aspectj.apache.bcel.verifier.VerificationResult

org.aspectj.apache.bcel.verifier.Verifier

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.