proguard.classfile.attribute.preverification

Class VerificationType

java.lang.Object

proguard.classfile.attribute.preverification.VerificationType

All Implemented Interfaces:

VisitorAccepter

Direct Known Subclasses:

DoubleType, FloatType, IntegerType, LongType, NullType, ObjectType, TopType, UninitializedThisType, UninitializedType

public abstract class VerificationType
extends Object
implements VisitorAccepter

This abstract class represents a verification type of a local variable or a stack element. Specific verification types are subclassed from it.

Author:

Eric Lafortune

Field Summary

Fields

Modifier and Type	Field and Description
static int	DOUBLE_TYPE
static int	FLOAT_TYPE
static int	INTEGER_TYPE
static int	LONG_TYPE
static int	NULL_TYPE
static int	OBJECT_TYPE
static int	TOP_TYPE
static int	UNINITIALIZED_THIS_TYPE
static int	UNINITIALIZED_TYPE
Object	visitorInfo An extra field in which visitors can store information.

Constructor Summary

Constructors

Constructor and Description
VerificationType()

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	accept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, VerificationTypeVisitor verificationTypeVisitor) Accepts the given visitor in the context of a method's code, either on a stack or as a variable.
boolean	equals(Object object)
abstract int	getTag() Returns the tag of the verification type.
Object	getVisitorInfo() Gets the visitor information of the visitor accepter.
int	hashCode()
void	setVisitorInfo(Object visitorInfo) Sets the visitor information of the visitor accepter.
abstract void	stackAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int stackIndex, VerificationTypeVisitor verificationTypeVisitor) Accepts the given visitor in the context of a stack in a method's code .
abstract void	variablesAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int variableIndex, VerificationTypeVisitor verificationTypeVisitor) Accepts the given visitor in the context of a variable in a method's code.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

TOP_TYPE

public static final int TOP_TYPE

See Also:

Constant Field Values

INTEGER_TYPE

public static final int INTEGER_TYPE

See Also:

Constant Field Values

FLOAT_TYPE

public static final int FLOAT_TYPE

See Also:

Constant Field Values

DOUBLE_TYPE

public static final int DOUBLE_TYPE

See Also:

Constant Field Values

LONG_TYPE

public static final int LONG_TYPE

See Also:

Constant Field Values

NULL_TYPE

public static final int NULL_TYPE

See Also:

Constant Field Values

UNINITIALIZED_THIS_TYPE

public static final int UNINITIALIZED_THIS_TYPE

See Also:

Constant Field Values

OBJECT_TYPE

public static final int OBJECT_TYPE

See Also:

Constant Field Values

UNINITIALIZED_TYPE

public static final int UNINITIALIZED_TYPE

See Also:

Constant Field Values

visitorInfo

public Object visitorInfo

An extra field in which visitors can store information.

Constructor Detail

VerificationType

public VerificationType()

Method Detail

getTag

public abstract int getTag()

Returns the tag of the verification type.

accept

public abstract void accept(Clazz clazz,
          Method method,
          CodeAttribute codeAttribute,
          int instructionOffset,
          VerificationTypeVisitor verificationTypeVisitor)

Accepts the given visitor in the context of a method's code, either on a stack or as a variable.

stackAccept

public abstract void stackAccept(Clazz clazz,
               Method method,
               CodeAttribute codeAttribute,
               int instructionOffset,
               int stackIndex,
               VerificationTypeVisitor verificationTypeVisitor)

Accepts the given visitor in the context of a stack in a method's code .

variablesAccept

public abstract void variablesAccept(Clazz clazz,
                   Method method,
                   CodeAttribute codeAttribute,
                   int instructionOffset,
                   int variableIndex,
                   VerificationTypeVisitor verificationTypeVisitor)

Accepts the given visitor in the context of a variable in a method's code.

getVisitorInfo

public Object getVisitorInfo()

Description copied from interface: VisitorAccepter

Gets the visitor information of the visitor accepter.

Specified by:

getVisitorInfo in interface VisitorAccepter

setVisitorInfo

public void setVisitorInfo(Object visitorInfo)

Description copied from interface: VisitorAccepter

Sets the visitor information of the visitor accepter.

Specified by:

setVisitorInfo in interface VisitorAccepter

equals

public boolean equals(Object object)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object