Package org.apache.bcel.verifier.statics

Class Pass2Verifier.CPESSC_Visitor

java.lang.Object

org.apache.bcel.classfile.EmptyVisitor

org.apache.bcel.verifier.statics.Pass2Verifier.CPESSC_Visitor

All Implemented Interfaces:

Visitor

Enclosing class:

Pass2Verifier

private final class Pass2Verifier.CPESSC_Visitor
extends EmptyVisitor

A Visitor class that ensures the constant pool satisfies the static constraints. The visitXXX() methods throw ClassConstraintException instances otherwise.

See Also:

Pass2Verifier.constantPoolEntriesSatisfyStaticConstraints()

Field Summary

Fields

Modifier and Type	Field	Description
private DescendingVisitor	carrier
private java.lang.Class<?>	CONST_Class
private java.lang.Class<?>	CONST_Double
private java.lang.Class<?>	CONST_Float
private java.lang.Class<?>	CONST_Integer
private java.lang.Class<?>	CONST_Long
private java.lang.Class<?>	CONST_NameAndType
private java.lang.Class<?>	CONST_String
private java.lang.Class<?>	CONST_Utf8
private ConstantPool	cp
private int	cplen
private java.util.Set<java.lang.String>	fieldNames
private java.util.Set<java.lang.String>	fieldNamesAndDesc
private JavaClass	jc
private java.util.Set<java.lang.String>	methodNamesAndDesc

Constructor Summary

Constructors

Modifier	Constructor	Description
private	CPESSC_Visitor(JavaClass jc)

Method Summary

Modifier and Type	Method	Description
private void	checkIndex(Node referrer, int index, java.lang.Class<?> shouldbe)
void	visitCode(Code obj)	Visits a Code attribute.
void	visitCodeException(CodeException obj)	Visits a CodeException.
void	visitConstantClass(ConstantClass obj)	Visits a ConstantClass.
void	visitConstantDouble(ConstantDouble obj)	Visits a ConstantDouble.
void	visitConstantFieldref(ConstantFieldref obj)	Visits a ConstantFieldref.
void	visitConstantFloat(ConstantFloat obj)	Visits a ConstantFloat.
void	visitConstantInteger(ConstantInteger obj)	Visits a ConstantInteger.
void	visitConstantInterfaceMethodref(ConstantInterfaceMethodref obj)	Visits a ConstantInterfaceMethodref.
void	visitConstantLong(ConstantLong obj)	Visits a ConstantLong.
void	visitConstantMethodref(ConstantMethodref obj)	Visits a ConstantMethodref.
void	visitConstantNameAndType(ConstantNameAndType obj)	Visits a ConstantNameAndType.
void	visitConstantPool(ConstantPool obj)	Visits a ConstantPool.
void	visitConstantString(ConstantString obj)	Visits a ConstantString.
void	visitConstantUtf8(ConstantUtf8 obj)	Visits a ConstantUtf8.
void	visitConstantValue(ConstantValue obj)	Visits a ConstantValue attribute.
void	visitDeprecated(Deprecated obj)	Visits a Deprecated attribute.
void	visitExceptionTable(ExceptionTable obj)	Visits an ExceptionTable attribute.
void	visitField(Field obj)	Visits a Field.
void	visitInnerClass(InnerClass obj)	Visits an InnerClass.
void	visitInnerClasses(InnerClasses innerClasses)	Visits an InnerClasses attribute.
void	visitJavaClass(JavaClass obj)	Visits a JavaClass.
void	visitLineNumber(LineNumber obj)	Visits a LineNumber.
void	visitLineNumberTable(LineNumberTable obj)	Visits a LineNumberTable attribute.
void	visitLocalVariable(LocalVariable obj)	Visits a LocalVariable.
void	visitLocalVariableTable(LocalVariableTable obj)	Visits a LocalVariableTable attribute.
void	visitMethod(Method obj)	Visits a Method.
void	visitSourceFile(SourceFile obj)	Visits a SourceFile attribute.
void	visitSynthetic(Synthetic obj)	Visits a Synthetic attribute.
void	visitUnknown(Unknown obj)	Visits an Unknown attribute.

Methods inherited from class org.apache.bcel.classfile.EmptyVisitor

visitAnnotation, visitAnnotationDefault, visitAnnotationEntry, visitBootstrapMethods, visitConstantDynamic, visitConstantInvokeDynamic, visitConstantMethodHandle, visitConstantMethodType, visitConstantModule, visitConstantPackage, visitEnclosingMethod, visitLocalVariableTypeTable, visitMethodParameter, visitMethodParameters, visitModule, visitModuleExports, visitModuleMainClass, visitModuleOpens, visitModulePackages, visitModuleProvides, visitModuleRequires, visitNestHost, visitNestMembers, visitParameterAnnotation, visitParameterAnnotationEntry, visitSignature, visitStackMap, visitStackMapEntry, visitStackMapType

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.apache.bcel.classfile.Visitor

visitRecord, visitRecordComponent

Field Detail

CONST_Class

private final java.lang.Class<?> CONST_Class

CONST_String

private final java.lang.Class<?> CONST_String

CONST_Integer

private final java.lang.Class<?> CONST_Integer

CONST_Float

private final java.lang.Class<?> CONST_Float

CONST_Long

private final java.lang.Class<?> CONST_Long

CONST_Double

private final java.lang.Class<?> CONST_Double

CONST_NameAndType

private final java.lang.Class<?> CONST_NameAndType

CONST_Utf8

private final java.lang.Class<?> CONST_Utf8

jc

private final JavaClass jc

cp

private final ConstantPool cp

cplen

private final int cplen

carrier

private final DescendingVisitor carrier

fieldNames

private final java.util.Set<java.lang.String> fieldNames

fieldNamesAndDesc

private final java.util.Set<java.lang.String> fieldNamesAndDesc

methodNamesAndDesc

private final java.util.Set<java.lang.String> methodNamesAndDesc

Constructor Detail

CPESSC_Visitor

private CPESSC_Visitor(JavaClass jc)

Method Detail

checkIndex

private void checkIndex(Node referrer,
                        int index,
                        java.lang.Class<?> shouldbe)

visitCode

public void visitCode(Code obj)

Description copied from interface: Visitor

Visits a Code attribute.

Specified by:

visitCode in interface Visitor

Overrides:

visitCode in class EmptyVisitor

Parameters:

obj - the attribute.

visitCodeException

public void visitCodeException(CodeException obj)

Description copied from interface: Visitor

Visits a CodeException.

Specified by:

visitCodeException in interface Visitor

Overrides:

visitCodeException in class EmptyVisitor

Parameters:

obj - the exception.

visitConstantClass

public void visitConstantClass(ConstantClass obj)

Description copied from interface: Visitor

Visits a ConstantClass.

Specified by:

visitConstantClass in interface Visitor

Overrides:

visitConstantClass in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantDouble

public void visitConstantDouble(ConstantDouble obj)

Description copied from interface: Visitor

Visits a ConstantDouble.

Specified by:

visitConstantDouble in interface Visitor

Overrides:

visitConstantDouble in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantFieldref

public void visitConstantFieldref(ConstantFieldref obj)

Description copied from interface: Visitor

Visits a ConstantFieldref.

Specified by:

visitConstantFieldref in interface Visitor

Overrides:

visitConstantFieldref in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantFloat

public void visitConstantFloat(ConstantFloat obj)

Description copied from interface: Visitor

Visits a ConstantFloat.

Specified by:

visitConstantFloat in interface Visitor

Overrides:

visitConstantFloat in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantInteger

public void visitConstantInteger(ConstantInteger obj)

Description copied from interface: Visitor

Visits a ConstantInteger.

Specified by:

visitConstantInteger in interface Visitor

Overrides:

visitConstantInteger in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantInterfaceMethodref

public void visitConstantInterfaceMethodref(ConstantInterfaceMethodref obj)

Description copied from interface: Visitor

Visits a ConstantInterfaceMethodref.

Specified by:

visitConstantInterfaceMethodref in interface Visitor

Overrides:

visitConstantInterfaceMethodref in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantLong

public void visitConstantLong(ConstantLong obj)

Description copied from interface: Visitor

Visits a ConstantLong.

Specified by:

visitConstantLong in interface Visitor

Overrides:

visitConstantLong in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantMethodref

public void visitConstantMethodref(ConstantMethodref obj)

Description copied from interface: Visitor

Visits a ConstantMethodref.

Specified by:

visitConstantMethodref in interface Visitor

Overrides:

visitConstantMethodref in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantNameAndType

public void visitConstantNameAndType(ConstantNameAndType obj)

Description copied from interface: Visitor

Visits a ConstantNameAndType.

Specified by:

visitConstantNameAndType in interface Visitor

Overrides:

visitConstantNameAndType in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantPool

public void visitConstantPool(ConstantPool obj)

Description copied from interface: Visitor

Visits a ConstantPool.

Specified by:

visitConstantPool in interface Visitor

Overrides:

visitConstantPool in class EmptyVisitor

Parameters:

obj - the constant pool.

visitConstantString

public void visitConstantString(ConstantString obj)

Description copied from interface: Visitor

Visits a ConstantString.

Specified by:

visitConstantString in interface Visitor

Overrides:

visitConstantString in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantUtf8

public void visitConstantUtf8(ConstantUtf8 obj)

Description copied from interface: Visitor

Visits a ConstantUtf8.

Specified by:

visitConstantUtf8 in interface Visitor

Overrides:

visitConstantUtf8 in class EmptyVisitor

Parameters:

obj - the constant.

visitConstantValue

public void visitConstantValue(ConstantValue obj)

Description copied from interface: Visitor

Visits a ConstantValue attribute.

Specified by:

visitConstantValue in interface Visitor

Overrides:

visitConstantValue in class EmptyVisitor

Parameters:

obj - the attribute.

visitDeprecated

public void visitDeprecated(Deprecated obj)

Description copied from interface: Visitor

Visits a Deprecated attribute.

Specified by:

visitDeprecated in interface Visitor

Overrides:

visitDeprecated in class EmptyVisitor

Parameters:

obj - the attribute.

visitExceptionTable

public void visitExceptionTable(ExceptionTable obj)

Description copied from interface: Visitor

Visits an ExceptionTable attribute.

Specified by:

visitExceptionTable in interface Visitor

Overrides:

visitExceptionTable in class EmptyVisitor

Parameters:

obj - the attribute.

visitField

public void visitField(Field obj)

Description copied from interface: Visitor

Visits a Field.

Specified by:

visitField in interface Visitor

Overrides:

visitField in class EmptyVisitor

Parameters:

obj - the field.

visitInnerClass

public void visitInnerClass(InnerClass obj)

Description copied from interface: Visitor

Visits an InnerClass.

Specified by:

visitInnerClass in interface Visitor

Overrides:

visitInnerClass in class EmptyVisitor

Parameters:

obj - the inner class.

visitInnerClasses

public void visitInnerClasses(InnerClasses innerClasses)

Description copied from interface: Visitor

Visits an InnerClasses attribute.

Specified by:

visitInnerClasses in interface Visitor

Overrides:

visitInnerClasses in class EmptyVisitor

Parameters:

innerClasses - the attribute.

visitJavaClass

public void visitJavaClass(JavaClass obj)

Description copied from interface: Visitor

Visits a JavaClass.

Specified by:

visitJavaClass in interface Visitor

Overrides:

visitJavaClass in class EmptyVisitor

Parameters:

obj - the class.

visitLineNumber

public void visitLineNumber(LineNumber obj)

Description copied from interface: Visitor

Visits a LineNumber.

Specified by:

visitLineNumber in interface Visitor

Overrides:

visitLineNumber in class EmptyVisitor

Parameters:

obj - the line number.

visitLineNumberTable

public void visitLineNumberTable(LineNumberTable obj)

Description copied from interface: Visitor

Visits a LineNumberTable attribute.

Specified by:

visitLineNumberTable in interface Visitor

Overrides:

visitLineNumberTable in class EmptyVisitor

Parameters:

obj - the attribute.

visitLocalVariable

public void visitLocalVariable(LocalVariable obj)

Description copied from interface: Visitor

Visits a LocalVariable.

Specified by:

visitLocalVariable in interface Visitor

Overrides:

visitLocalVariable in class EmptyVisitor

Parameters:

obj - the local variable.

visitLocalVariableTable

public void visitLocalVariableTable(LocalVariableTable obj)

Description copied from interface: Visitor

Visits a LocalVariableTable attribute.

Specified by:

visitLocalVariableTable in interface Visitor

Overrides:

visitLocalVariableTable in class EmptyVisitor

Parameters:

obj - the attribute.

visitMethod

public void visitMethod(Method obj)

Description copied from interface: Visitor

Visits a Method.

Specified by:

visitMethod in interface Visitor

Overrides:

visitMethod in class EmptyVisitor

Parameters:

obj - the method.

visitSourceFile

public void visitSourceFile(SourceFile obj)

Description copied from interface: Visitor

Visits a SourceFile attribute.

Specified by:

visitSourceFile in interface Visitor

Overrides:

visitSourceFile in class EmptyVisitor

Parameters:

obj - the attribute.

visitSynthetic

public void visitSynthetic(Synthetic obj)

Description copied from interface: Visitor

Visits a Synthetic attribute.

Specified by:

visitSynthetic in interface Visitor

Overrides:

visitSynthetic in class EmptyVisitor

Parameters:

obj - the attribute.

visitUnknown

public void visitUnknown(Unknown obj)

Description copied from interface: Visitor

Visits an Unknown attribute.

Specified by:

visitUnknown in interface Visitor

Overrides:

visitUnknown in class EmptyVisitor

Parameters:

obj - the attribute.