UninitializedType.java revision db267bc191f906f55eaef21a27110cce2ec57fdf 
1/*
2 * ProGuard -- shrinking, optimization, obfuscation, and preverification
3 *             of Java bytecode.
4 *
5 * Copyright (c) 2002-2009 Eric Lafortune (eric@graphics.cornell.edu)
6 *
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms of the GNU General Public License as published by the Free
9 * Software Foundation; either version 2 of the License, or (at your option)
10 * any later version.
11 *
12 * This program is distributed in the hope that it will be useful, but WITHOUT
13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 * more details.
16 *
17 * You should have received a copy of the GNU General Public License along
18 * with this program; if not, write to the Free Software Foundation, Inc.,
19 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 */
21package proguard.classfile.attribute.preverification;
22
23import proguard.classfile.*;
24import proguard.classfile.attribute.CodeAttribute;
25import proguard.classfile.attribute.preverification.visitor.VerificationTypeVisitor;
26
27/**
28 * This VerificationType represents a Uninitialized type.
29 *
30 * @author Eric Lafortune
31 */
32public class UninitializedType extends VerificationType
33{
34    public int u2newInstructionOffset;
35
36
37    /**
38     * Creates an uninitialized UninitializedType.
39     */
40    public UninitializedType()
41    {
42    }
43
44
45    /**
46     * Creates an UninitializedType pointing to the given 'new' instruction.
47     */
48    public UninitializedType(int u2newInstructionOffset)
49    {
50        this.u2newInstructionOffset = u2newInstructionOffset;
51    }
52
53
54    // Implementations for VerificationType.
55
56    public int getTag()
57    {
58        return UNINITIALIZED_TYPE;
59    }
60
61
62    public void accept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, VerificationTypeVisitor verificationTypeVisitor)
63    {
64        verificationTypeVisitor.visitUninitializedType(clazz, method, codeAttribute, instructionOffset, this);
65    }
66
67
68    public void stackAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int stackIndex, VerificationTypeVisitor verificationTypeVisitor)
69    {
70        verificationTypeVisitor.visitStackUninitializedType(clazz, method, codeAttribute, instructionOffset, stackIndex, this);
71    }
72
73
74    public void variablesAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int variableIndex, VerificationTypeVisitor verificationTypeVisitor)
75    {
76        verificationTypeVisitor.visitVariablesUninitializedType(clazz, method, codeAttribute, instructionOffset, variableIndex, this);
77    }
78
79
80    // Implementations for Object.
81
82    public boolean equals(Object object)
83    {
84        if (!super.equals(object))
85        {
86            return false;
87        }
88
89        UninitializedType other = (UninitializedType)object;
90
91        return this.u2newInstructionOffset == other.u2newInstructionOffset;
92    }
93
94
95    public int hashCode()
96    {
97        return super.hashCode() ^
98               u2newInstructionOffset;
99    }
100
101
102    public String toString()
103    {
104        return "u:" + u2newInstructionOffset;
105    }
106}
107