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.peephole;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.util.*;
252270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstromimport proguard.classfile.visitor.MemberVisitor;
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.
642270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom
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.
742270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom        if ((programMethod.u2accessFlags & (ClassConstants.ACC_PRIVATE |
752270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                                            ClassConstants.ACC_STATIC  |
762270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                                            ClassConstants.ACC_FINAL   |
772270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                                            ClassConstants.ACC_ABSTRACT)) == 0 &&
782270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom            !name.equals(ClassConstants.METHOD_NAME_INIT)                      &&
792270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom            ((programClass.u2accessFlags & ClassConstants.ACC_FINAL) != 0 ||
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato             (!KeepMarker.isKept(programMethod) &&
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato              (programClass.subClasses == null ||
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato               !memberFinder.isOverriden(programClass, programMethod)))))
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
842270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom            programMethod.u2accessFlags |= ClassConstants.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}