1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/*
2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification
3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *             of Java bytecode.
4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
5b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang * Copyright (c) 2002-2013 Eric Lafortune (eric@graphics.cornell.edu)
6b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
7b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is free software; you can redistribute it and/or modify it
8b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * under the terms of the GNU General Public License as published by the Free
9b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * Software Foundation; either version 2 of the License, or (at your option)
10b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * any later version.
11b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
12b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This program is distributed in the hope that it will be useful, but WITHOUT
13b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * more details.
16b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
17b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * You should have received a copy of the GNU General Public License along
18b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * with this program; if not, write to the Free Software Foundation, Inc.,
19b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
21b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopackage proguard.optimize;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.editor.ClassReferenceFixer;
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.util.*;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.visitor.MemberVisitor;
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.evaluation.value.Value;
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.optimize.evaluation.StoringInvocationUnit;
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This MemberVisitor specializes parameters in the descriptors of the
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * methods that it visits.
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @see StoringInvocationUnit
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @see ClassReferenceFixer
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class MemberDescriptorSpecializer
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends      SimplifiedVisitor
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimplements   MemberVisitor
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
42b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    private static final boolean DEBUG = false;
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private final MemberVisitor extraParameterMemberVisitor;
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new MethodDescriptorShrinker.
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MemberDescriptorSpecializer()
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this(null);
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new MethodDescriptorShrinker with an extra visitor.
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * @param extraParameterMemberVisitor an optional extra visitor for all
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     *                                    class members whose parameters have
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     *                                    been specialized.
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MemberDescriptorSpecializer(MemberVisitor extraParameterMemberVisitor)
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.extraParameterMemberVisitor = extraParameterMemberVisitor;
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for MemberVisitor.
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramField(ProgramClass programClass, ProgramField programField)
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        Value parameterValue = StoringInvocationUnit.getFieldValue(programField);
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (parameterValue.computationalType() == Value.TYPE_REFERENCE)
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Clazz referencedClass = parameterValue.referenceValue().getReferencedClass();
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (programField.referencedClass != referencedClass)
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                if (DEBUG)
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                {
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    System.out.println("MemberDescriptorSpecializer: "+programClass.getName()+"."+programField.getName(programClass)+" "+programField.getDescriptor(programClass));
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    System.out.println("  "+programField.referencedClass.getName()+" -> "+referencedClass.getName());
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                }
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                programField.referencedClass = referencedClass;
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                // Visit the field, if required.
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                if (extraParameterMemberVisitor != null)
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                {
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    extraParameterMemberVisitor.visitProgramField(programClass, programField);
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                }
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod)
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // All parameters of non-static methods are shifted by one in the local
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // variable frame.
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int firstParameterIndex =
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            (programMethod.getAccessFlags() & ClassConstants.INTERNAL_ACC_STATIC) != 0 ?
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                0 : 1;
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int parameterCount =
106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            ClassUtil.internalMethodParameterCount(programMethod.getDescriptor(programClass));
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int classIndex = 0;
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Go over the parameters.
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        for (int parameterIndex = firstParameterIndex; parameterIndex < parameterCount; parameterIndex++)
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Value parameterValue = StoringInvocationUnit.getMethodParameterValue(programMethod, parameterIndex);
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             if (parameterValue.computationalType() == Value.TYPE_REFERENCE)
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             {
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                 Clazz referencedClass = parameterValue.referenceValue().getReferencedClass();
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                 if (programMethod.referencedClasses[classIndex] != referencedClass)
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                 {
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     if (DEBUG)
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     {
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                         System.out.println("MemberDescriptorSpecializer: "+programClass.getName()+"."+programMethod.getName(programClass)+programMethod.getDescriptor(programClass));
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                         System.out.println("  "+programMethod.referencedClasses[classIndex].getName()+" -> "+referencedClass.getName());
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     }
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     programMethod.referencedClasses[classIndex] = referencedClass;
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     // Visit the method, if required.
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     if (extraParameterMemberVisitor != null)
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     {
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                         extraParameterMemberVisitor.visitProgramMethod(programClass, programMethod);
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                     }
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                 }
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                 classIndex++;
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             }
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
139