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.classfile.attribute.preverification;
22b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
23b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.*;
24b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.attribute.CodeAttribute;
25b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratoimport proguard.classfile.attribute.preverification.visitor.*;
26b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
27b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato/**
28b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * This StackMapFrame represents an "append frame".
29b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato *
30b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato * @author Eric Lafortune
31b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato */
32b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onoratopublic class MoreZeroFrame extends StackMapFrame
33b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato{
34b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public int                additionalVariablesCount;
35b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public VerificationType[] additionalVariables;
36b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
37b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
38b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
39b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates an uninitialized MoreZeroFrame.
40b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
41b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MoreZeroFrame()
42b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
43b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
44b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
45b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
46b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
47b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a MoreZeroFrame with the given tag.
48b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
49b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MoreZeroFrame(int tag)
50b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
51b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        additionalVariablesCount = tag + 1 - MORE_ZERO_FRAME;
52b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
53b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
54b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
55b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
56b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a MoreZeroFrame with the given additional variables.
57b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
58b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MoreZeroFrame(VerificationType[] additionalVariables)
59b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
60b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this(additionalVariables.length, additionalVariables);
61b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
62b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
63b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
64b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
65b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Creates a MoreZeroFrame with the given additional variables.
66b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
67b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public MoreZeroFrame(int                additionalVariablesCount,
68b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                         VerificationType[] additionalVariables)
69b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
70b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.additionalVariablesCount = additionalVariablesCount;
71b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        this.additionalVariables      = additionalVariables;
72b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
73b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
74b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
75b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    /**
76b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     * Applies the given verification type visitor to all variables.
77b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato     */
78b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void additionalVariablesAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, VerificationTypeVisitor verificationTypeVisitor)
79b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
80b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        for (int index = 0; index < additionalVariablesCount; index++)
81b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
82b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            additionalVariables[index].accept(clazz, method, codeAttribute, offset, verificationTypeVisitor);
83b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
84b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
85b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
86b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
87b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for StackMapFrame.
88b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
89b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public int getTag()
90b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
91b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return MORE_ZERO_FRAME + additionalVariablesCount - 1;
92b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
93b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
94b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
95b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public void accept(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, StackMapFrameVisitor stackMapFrameVisitor)
96b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
97b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        stackMapFrameVisitor.visitMoreZeroFrame(clazz, method, codeAttribute, offset, this);
98b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
99b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
100b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
101b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    // Implementations for Object.
102b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
103b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public boolean equals(Object object)
104b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
105b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (!super.equals(object))
106b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
107b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            return false;
108b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
109b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
110b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        MoreZeroFrame other = (MoreZeroFrame)object;
111b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
112b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        if (this.u2offsetDelta            != other.u2offsetDelta ||
113b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            this.additionalVariablesCount != other.additionalVariablesCount)
114b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
115b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            return false;
116b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
117b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
118b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        for (int index = 0; index < additionalVariablesCount; index++)
119b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
120b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            VerificationType thisType  = this.additionalVariables[index];
121b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            VerificationType otherType = other.additionalVariables[index];
122b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
123b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            if (!thisType.equals(otherType))
124b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            {
125b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                return false;
126b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            }
127b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
128b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
129b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return true;
130b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
131b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
132b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
133b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public int hashCode()
134b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
135b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        int hashCode = super.hashCode();
136b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
137b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        for (int index = 0; index < additionalVariablesCount; index++)
138b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
139b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            hashCode ^= additionalVariables[index].hashCode();
140b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
141b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
142b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return hashCode;
143b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
144b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
145b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
146b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    public String toString()
147b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    {
148b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        StringBuffer buffer = new StringBuffer(super.toString()).append("Var: ...");
149b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
150b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        for (int index = 0; index < additionalVariablesCount; index++)
151b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        {
152b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato            buffer = buffer.append('[')
153b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                           .append(additionalVariables[index].toString())
154b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato                           .append(']');
155b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        }
156b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
157b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        buffer.append(", Stack: (empty)");
158b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato
159b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato        return buffer.toString();
160b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato    }
161b72c5c2e5482cf10117b2b25f642f7616b2326c3Joe Onorato}
162