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 Top type.
29: *
30: * @author Eric Lafortune
31: */
32: public class TopType extends VerificationType {
33: // Implementations for VerificationType.
34:
35: public int getTag() {
36: return TOP_TYPE;
37: }
38:
39: public void accept(Clazz clazz, Method method,
40: CodeAttribute codeAttribute, int instructionOffset,
41: VerificationTypeVisitor verificationTypeVisitor) {
42: verificationTypeVisitor.visitTopType(clazz, method,
43: 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.visitStackTopType(clazz, method,
51: codeAttribute, instructionOffset, stackIndex, this );
52: }
53:
54: public void variablesAccept(Clazz clazz, Method method,
55: CodeAttribute codeAttribute, int instructionOffset,
56: int variableIndex,
57: VerificationTypeVisitor verificationTypeVisitor) {
58: verificationTypeVisitor.visitVariablesTopType(clazz, method,
59: codeAttribute, instructionOffset, variableIndex, this );
60: }
61:
62: // Implementations for Object.
63:
64: public String toString() {
65: return "T";
66: }
67: }
|