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.evaluation;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.constant.RefConstant;
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.evaluation.BasicInvocationUnit;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.evaluation.value.*;
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
292270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom * This InvocationUnit loads parameter values and return values that were
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * previously stored with the methods that are invoked.
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @see StoringInvocationUnit
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class LoadingInvocationUnit
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoextends      BasicInvocationUnit
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
38b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    private final boolean loadFieldValues;
39b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    private final boolean loadMethodParameterValues;
40b9cc48a43ed984587c939d02fba5316bf5c0df6eYing Wang    private final boolean loadMethodReturnValues;
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new LoadingInvocationUnit with the given value factory.
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LoadingInvocationUnit(ValueFactory valueFactory)
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
482270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom        this(valueFactory, true, true, true);
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a new LoadingInvocationUnit with the given value factory, for
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * loading the specified values.
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public LoadingInvocationUnit(ValueFactory valueFactory,
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                 boolean      loadFieldValues,
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                 boolean      loadMethodParameterValues,
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                 boolean      loadMethodReturnValues)
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        super(valueFactory);
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.loadFieldValues           = loadFieldValues;
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.loadMethodParameterValues = loadMethodParameterValues;
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.loadMethodReturnValues    = loadMethodReturnValues;
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for BasicInvocationUnit.
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    protected Value getFieldClassValue(Clazz       clazz,
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                       RefConstant refConstant,
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                       String      type)
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (loadFieldValues)
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // Do we know this field?
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Member referencedMember = refConstant.referencedMember;
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (referencedMember != null)
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                // Retrieve the stored field class value.
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                ReferenceValue value = StoringInvocationUnit.getFieldClassValue((Field)referencedMember);
832270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                if (value != null)
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                {
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    return value;
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                }
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return super.getFieldClassValue(clazz, refConstant, type);
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    protected Value getFieldValue(Clazz       clazz,
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                  RefConstant refConstant,
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                  String      type)
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (loadFieldValues)
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // Do we know this field?
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Member referencedMember = refConstant.referencedMember;
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (referencedMember != null)
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                // Retrieve the stored field value.
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                Value value = StoringInvocationUnit.getFieldValue((Field)referencedMember);
1062270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                if (value != null)
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                {
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    return value;
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                }
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return super.getFieldValue(clazz, refConstant, type);
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    protected Value getMethodParameterValue(Clazz  clazz,
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            Method method,
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            int    parameterIndex,
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            String type,
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                            Clazz  referencedClass)
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (loadMethodParameterValues)
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // Retrieve the stored method parameter value.
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Value value = StoringInvocationUnit.getMethodParameterValue(method, parameterIndex);
1272270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom            if (value != null)
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                return value;
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return super.getMethodParameterValue(clazz,
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                             method,
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                             parameterIndex,
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                             type,
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                             referencedClass);
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    protected Value getMethodReturnValue(Clazz       clazz,
142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                         RefConstant refConstant,
143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                         String      type)
144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (loadMethodReturnValues)
146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            // Do we know this method?
148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            Member referencedMember = refConstant.referencedMember;
149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (referencedMember != null)
150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                // Retrieve the stored method return value.
152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                Value value = StoringInvocationUnit.getMethodReturnValue((Method)referencedMember);
1532270795fbe0b277bfd49f40950ecaa78583175ccBrian Carlstrom                if (value != null)
154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                {
155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                    return value;
156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                }
157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return super.getMethodReturnValue(clazz,
161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                          refConstant,
162b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                                          type);
163b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
164b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
165