01: /*
02: * ProGuard -- shrinking, optimization, obfuscation, and preverification
03: * of Java bytecode.
04: *
05: * Copyright (c) 2002-2007 Eric Lafortune (eric@graphics.cornell.edu)
06: *
07: * This library is free software; you can redistribute it and/or modify it
08: * under the terms of the GNU General Public License as published by the Free
09: * Software Foundation; either version 2 of the License, or (at your option)
10: * any later version.
11: *
12: * This library 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 Lesser General Public License
15: * for more details.
16: *
17: * You should have received a copy of the GNU Lesser General Public License
18: * along with this library; if not, write to the Free Software Foundation,
19: * Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20: */
21: package proguard.classfile.attribute.preverification;
22:
23: import proguard.classfile.*;
24: import proguard.classfile.attribute.CodeAttribute;
25: import proguard.classfile.attribute.preverification.visitor.VerificationTypeVisitor;
26:
27: /**
28: * This VerificationType represents a Uninitialized type.
29: *
30: * @author Eric Lafortune
31: */
32: public class UninitializedType extends VerificationType {
33: public int u2newInstructionOffset;
34:
35: /**
36: * Creates an uninitialized UninitializedType.
37: */
38: public UninitializedType() {
39: }
40:
41: /**
42: * Creates an UninitializedType pointing to the given 'new' instruction.
43: */
44: public UninitializedType(int u2newInstructionOffset) {
45: this .u2newInstructionOffset = u2newInstructionOffset;
46: }
47:
48: // Implementations for VerificationType.
49:
50: public int getTag() {
51: return UNINITIALIZED_TYPE;
52: }
53:
54: public void accept(Clazz clazz, Method method,
55: CodeAttribute codeAttribute, int instructionOffset,
56: VerificationTypeVisitor verificationTypeVisitor) {
57: verificationTypeVisitor.visitUninitializedType(clazz, method,
58: codeAttribute, instructionOffset, this );
59: }
60:
61: public void stackAccept(Clazz clazz, Method method,
62: CodeAttribute codeAttribute, int instructionOffset,
63: int stackIndex,
64: VerificationTypeVisitor verificationTypeVisitor) {
65: verificationTypeVisitor.visitStackUninitializedType(clazz,
66: method, codeAttribute, instructionOffset, stackIndex,
67: this );
68: }
69:
70: public void variablesAccept(Clazz clazz, Method method,
71: CodeAttribute codeAttribute, int instructionOffset,
72: int variableIndex,
73: VerificationTypeVisitor verificationTypeVisitor) {
74: verificationTypeVisitor.visitVariablesUninitializedType(clazz,
75: method, codeAttribute, instructionOffset,
76: variableIndex, this );
77: }
78:
79: // Implementations for Object.
80:
81: public boolean equals(Object object) {
82: if (!super .equals(object)) {
83: return false;
84: }
85:
86: UninitializedType other = (UninitializedType) object;
87:
88: return this .u2newInstructionOffset == other.u2newInstructionOffset;
89: }
90:
91: public int hashCode() {
92: return super .hashCode() ^ u2newInstructionOffset;
93: }
94:
95: public String toString() {
96: return "u:" + u2newInstructionOffset;
97: }
98: }
|