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 UninitializedThis type.
29: *
30: * @author Eric Lafortune
31: */
32: public class UninitializedThisType extends VerificationType {
33: // Implementations for VerificationType.
34:
35: public int getTag() {
36: return UNINITIALIZED_THIS_TYPE;
37: }
38:
39: public void accept(Clazz clazz, Method method,
40: CodeAttribute codeAttribute, int instructionOffset,
41: VerificationTypeVisitor verificationTypeVisitor) {
42: verificationTypeVisitor.visitUninitializedThisType(clazz,
43: method, codeAttribute, instructionOffset, this );
44: }
45:
46: public void stackAccept(Clazz clazz, Method method,
47: CodeAttribute codeAttribute, int instructionOffset,
48: int stackIndex,
49: VerificationTypeVisitor verificationTypeVisitor) {
50: verificationTypeVisitor.visitStackUninitializedThisType(clazz,
51: method, codeAttribute, instructionOffset, stackIndex,
52: this );
53: }
54:
55: public void variablesAccept(Clazz clazz, Method method,
56: CodeAttribute codeAttribute, int instructionOffset,
57: int variableIndex,
58: VerificationTypeVisitor verificationTypeVisitor) {
59: verificationTypeVisitor.visitVariablesUninitializedThisType(
60: clazz, method, codeAttribute, instructionOffset,
61: variableIndex, this );
62: }
63:
64: // Implementations for Object.
65:
66: public String toString() {
67: return "u:this";
68: }
69: }
|