Return-Path: Delivered-To: apmail-jakarta-bcel-dev-archive@www.apache.org Received: (qmail 83045 invoked from network); 2 Mar 2006 03:32:10 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (209.237.227.199) by minotaur.apache.org with SMTP; 2 Mar 2006 03:32:10 -0000 Received: (qmail 40867 invoked by uid 500); 2 Mar 2006 03:32:57 -0000 Delivered-To: apmail-jakarta-bcel-dev-archive@jakarta.apache.org Received: (qmail 40849 invoked by uid 500); 2 Mar 2006 03:32:56 -0000 Mailing-List: contact bcel-dev-help@jakarta.apache.org; run by ezmlm Precedence: bulk List-Unsubscribe: List-Help: List-Post: List-Id: "BCEL Developers List" Reply-To: "BCEL Developers List" Delivered-To: mailing list bcel-dev@jakarta.apache.org Received: (qmail 40838 invoked by uid 500); 2 Mar 2006 03:32:56 -0000 Received: (qmail 40835 invoked by uid 99); 2 Mar 2006 03:32:56 -0000 Received: from asf.osuosl.org (HELO asf.osuosl.org) (140.211.166.49) by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 01 Mar 2006 19:32:56 -0800 X-ASF-Spam-Status: No, hits=-9.4 required=10.0 tests=ALL_TRUSTED,NO_REAL_NAME X-Spam-Check-By: apache.org Received: from [209.237.227.194] (HELO minotaur.apache.org) (209.237.227.194) by apache.org (qpsmtpd/0.29) with SMTP; Wed, 01 Mar 2006 19:32:56 -0800 Received: (qmail 82969 invoked by uid 65534); 2 Mar 2006 03:31:48 -0000 Message-ID: <20060302033148.82965.qmail@minotaur.apache.org> Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Subject: svn commit: r382272 - in /jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals: ControlFlowGraph.java InstructionContext.java Date: Thu, 02 Mar 2006 03:31:48 -0000 To: bcel-cvs@jakarta.apache.org From: tcurdt@apache.org X-Mailer: svnmailer-1.0.7 X-Virus-Checked: Checked by ClamAV on apache.org X-Spam-Rating: minotaur.apache.org 1.6.2 0/1000/N Author: tcurdt Date: Wed Mar 1 19:31:46 2006 New Revision: 382272 URL: http://svn.apache.org/viewcvs?rev=382272&view=rev Log: applied http://issues.apache.org/bugzilla/show_bug.cgi?id=27854 Modified: jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/InstructionContext.java Modified: jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java URL: http://svn.apache.org/viewcvs/jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java?rev=382272&r1=382271&r2=382272&view=diff ============================================================================== --- jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java (original) +++ jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/ControlFlowGraph.java Wed Mar 1 19:31:46 2006 @@ -124,6 +124,19 @@ return org.getClone(); } + public Frame getInFrame() { + Frame org; + + InstructionContext jsr = lastExecutionJSR(); + + org = (Frame) inFrames.get(jsr); + + if (org == null){ + throw new AssertionViolatedException("inFrame not set! This:\n"+this+"\nInFrames: '"+inFrames+"'."); + } + return org.getClone(); + } + /** * "Merges in" (vmspec2, page 146) the "incoming" frame situation; * executes the instructions symbolically Modified: jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/InstructionContext.java URL: http://svn.apache.org/viewcvs/jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/InstructionContext.java?rev=382272&r1=382271&r2=382272&view=diff ============================================================================== --- jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/InstructionContext.java (original) +++ jakarta/bcel/trunk/src/java/org/apache/bcel/verifier/structurals/InstructionContext.java Wed Mar 1 19:31:46 2006 @@ -73,6 +73,8 @@ */ boolean execute(Frame inFrame, ArrayList executionPredecessors, InstConstraintVisitor icv, ExecutionVisitor ev); + Frame getInFrame(); + /** * This method returns the outgoing execution frame situation; * therefore it has to be calculated by execute(Frame, ArrayList) --------------------------------------------------------------------- To unsubscribe, e-mail: bcel-dev-unsubscribe@jakarta.apache.org For additional commands, e-mail: bcel-dev-help@jakarta.apache.org