1b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/*
2b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * ProGuard -- shrinking, optimization, obfuscation, and preverification
3b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *             of Java bytecode.
4b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
59f606f95f03a75961498803e24bee6799a7c0885Ying Wang * Copyright (c) 2002-2009 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.peephole;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.util.*;
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.visitor.*;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.optimize.KeepMarker;
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This <code>MemberVisitor</code> makes the program methods that it visits
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * final, if possible.
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class MethodFinalizer
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends      SimplifiedVisitor
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimplements   MemberVisitor
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private final MemberVisitor extraMemberVisitor;
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    private final MemberFinder memberFinder = new MemberFinder();
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new ClassFinalizer.
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MethodFinalizer()
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this(null);
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new ClassFinalizer.
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * @param extraMemberVisitor an optional extra visitor for all finalized
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     *                           methods.
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MethodFinalizer(MemberVisitor extraMemberVisitor)
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.extraMemberVisitor = extraMemberVisitor;
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for MemberVisitor.
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod)
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        String name = programMethod.getName(programClass);
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // If the method is not already private/static/final/abstract,
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // and it is not a constructor,
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // and its class is final,
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        //     or it is not being kept and it is not overridden,
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        // then make it final.
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if ((programMethod.u2accessFlags & (ClassConstants.INTERNAL_ACC_PRIVATE |
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            ClassConstants.INTERNAL_ACC_STATIC  |
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            ClassConstants.INTERNAL_ACC_FINAL   |
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            ClassConstants.INTERNAL_ACC_ABSTRACT)) == 0 &&
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            !name.equals(ClassConstants.INTERNAL_METHOD_NAME_INIT)                      &&
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            ((programClass.u2accessFlags & ClassConstants.INTERNAL_ACC_FINAL) != 0 ||
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             (!KeepMarker.isKept(programMethod) &&
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato              (programClass.subClasses == null ||
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato               !memberFinder.isOverriden(programClass, programMethod)))))
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            programMethod.u2accessFlags |= ClassConstants.INTERNAL_ACC_FINAL;
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // Visit the method, if required.
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (extraMemberVisitor != null)
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                extraMemberVisitor.visitProgramMethod(programClass, programMethod);
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}