1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/*
2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification
3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *             of Java bytecode.
4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
52270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom * Copyright (c) 2002-2014 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.info;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.*;
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.visitor.ConstantVisitor;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.util.SimplifiedVisitor;
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.visitor.*;
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This ClassVisitor marks all class members that can not be made private in the
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * classes that it visits, and in the classes to which they refer.
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class NonPrivateMemberMarker
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends      SimplifiedVisitor
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimplements   ClassVisitor,
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             ConstantVisitor,
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             MemberVisitor
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private final MethodImplementationFilter filteredMethodMarker = new MethodImplementationFilter(this);
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for ClassVisitor.
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramClass(ProgramClass programClass)
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Mark all referenced class members in different classes.
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        programClass.constantPoolEntriesAccept(this);
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Explicitly mark the <clinit> method.
522270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom        programClass.methodAccept(ClassConstants.METHOD_NAME_CLINIT,
532270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                                  ClassConstants.METHOD_TYPE_CLINIT,
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                  this);
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Explicitly mark the parameterless <init> method.
572270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom        programClass.methodAccept(ClassConstants.METHOD_NAME_INIT,
582270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                                  ClassConstants.METHOD_TYPE_INIT,
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                  this);
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Mark all methods that may have implementations.
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        programClass.methodsAccept(filteredMethodMarker);
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitLibraryClass(LibraryClass libraryClass)
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // Go over all methods.
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        libraryClass.methodsAccept(this);
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for ConstantVisitor.
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyConstant(Clazz clazz, Constant constant) {}
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitStringConstant(Clazz clazz, StringConstant stringConstant)
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
80b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        // The referenced class member, if any, can never be made private,
81b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        // even if it's in the same class.
82b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        stringConstant.referencedMemberAccept(this);
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitAnyRefConstant(Clazz clazz, RefConstant refConstant)
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        Clazz referencedClass = refConstant.referencedClass;
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
90b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang        // Is it referring to a class member in another class?
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // The class member might be in another class, or
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // it may be referenced through another class.
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (referencedClass != null &&
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            !referencedClass.equals(clazz) ||
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            !refConstant.getClassName(clazz).equals(clazz.getName()))
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // The referenced class member can never be made private.
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            refConstant.referencedMemberAccept(this);
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for MemberVisitor.
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramField(ProgramClass programClass, ProgramField programField)
106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        markCanNotBeMadePrivate(programField);
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitLibraryField(LibraryClass libraryClass, LibraryField libraryField)
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        markCanNotBeMadePrivate(libraryField);
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod)
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        markCanNotBeMadePrivate(programMethod);
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitLibraryMethod(LibraryClass libraryClass, LibraryMethod libraryMethod)
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        markCanNotBeMadePrivate(libraryMethod);
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Small utility methods.
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private static void markCanNotBeMadePrivate(Field field)
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field);
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (info != null)
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            info.setCanNotBeMadePrivate();
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Returns whether the given field can be made private.
143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public static boolean canBeMadePrivate(Field field)
145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        FieldOptimizationInfo info = FieldOptimizationInfo.getFieldOptimizationInfo(field);
147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return info != null &&
148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato               info.canBeMadePrivate();
149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private static void markCanNotBeMadePrivate(Method method)
153b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (info != null)
156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            info.setCanNotBeMadePrivate();
158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Returns whether the given method can be made private.
164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
165b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public static boolean canBeMadePrivate(Method method)
166b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
167b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MethodOptimizationInfo info = MethodOptimizationInfo.getMethodOptimizationInfo(method);
168b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return info != null &&
169b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato               info.canBeMadePrivate();
170b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
171b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
172