1 /*
2  * ProGuard -- shrinking, optimization, obfuscation, and preverification
3  *             of Java bytecode.
4  *
5  * Copyright (c) 2002-2014 Eric Lafortune (eric@graphics.cornell.edu)
6  *
7  * This program is free software; you can redistribute it and/or modify it
8  * under the terms of the GNU General Public License as published by the Free
9  * Software Foundation; either version 2 of the License, or (at your option)
10  * any later version.
11  *
12  * This program is distributed in the hope that it will be useful, but WITHOUT
13  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14  * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15  * more details.
16  *
17  * You should have received a copy of the GNU General Public License along
18  * with this program; if not, write to the Free Software Foundation, Inc.,
19  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20  */
21 package proguard.optimize.evaluation;
22 
23 import proguard.classfile.Clazz;
24 import proguard.classfile.attribute.CodeAttribute;
25 import proguard.evaluation.BasicBranchUnit;
26 import proguard.evaluation.value.Value;
27 
28 /**
29  * This BranchUnit remembers the branch unit commands that are invoked on it.
30  *
31  * @author Eric Lafortune
32  */
33 class   TracedBranchUnit
34 extends BasicBranchUnit
35 {
36     // Implementations for BranchUnit.
37 
branchConditionally(Clazz clazz, CodeAttribute codeAttribute, int offset, int branchTarget, int conditional)38     public void branchConditionally(Clazz         clazz,
39                                     CodeAttribute codeAttribute,
40                                     int           offset,
41                                     int           branchTarget,
42                                     int           conditional)
43     {
44         if      (conditional == Value.ALWAYS)
45         {
46             // Always branch.
47             super.branch(clazz, codeAttribute, offset, branchTarget);
48         }
49         else if (conditional != Value.NEVER)
50         {
51             // Maybe branch.
52             super.branchConditionally(clazz, codeAttribute, offset, branchTarget, conditional);
53         }
54         else
55         {
56             super.setCalled();
57         }
58     }
59 }
60