Modifier and Type	Class and Description
private class	Pass3aVerifier.InstOperandConstraintVisitor This visitor class does the actual checking for the instruction operand's constraints.

Modifier and Type	Field and Description
private Code	code The one and only Code object used by an instance of this class.
private InstructionList	instructionList The one and only InstructionList object used by an instance of this class.
private final int	methodNo The method number to verify.
private final Verifier	verifier The Verifier that created this.

Access	Constructor and Description
public	Pass3aVerifier(final Verifier verifier, final int methodNo) Should only be instantiated by a Verifier.

Modifier and Type	Method and Description
private static boolean	contains(final int[] ints, final int i) A small utility method returning if a given int i is in the given int[] ints.
private void	delayedPass2Checks() These are the checks that could be done in pass 2 but are delayed to pass 3 for performance reasons.
public VerificationResult	do_verify() Implements abstract org.apache.bcel.verifier.PassVerifier.do_verify. Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions).
public int	getMethodNo() Returns the method number as supplied when instantiating.
private void	pass3StaticInstructionChecks() These are the checks if constraints are satisfied which are described in the Java Virtual Machine Specification, Second Edition as Static Constraints on the instructions of Java Virtual Machine Code (chapter 4.8.1).
private void	pass3StaticInstructionOperandsChecks() These are the checks for the satisfaction of constraints which are described in the Java Virtual Machine Specification, Second Edition as Static Constraints on the operands of instructions of Java Virtual Machine Code (chapter 4.8.1).
protected String	tostring(final Object obj) This method is a slightly modified version of verifier.statics.StringRepresentation.toString(final Node obj) that accepts any Object, not just a Node.

code	back to summary
private Code code The one and only Code object used by an instance of this class. It's here for performance reasons by do_verify() and its callees.

instructionList	back to summary
private InstructionList instructionList The one and only InstructionList object used by an instance of this class. It's here for performance reasons by do_verify() and its callees.

methodNo	back to summary
private final int methodNo The method number to verify. This is the index in the array returned by JavaClass.getMethods().

verifier	back to summary
private final Verifier verifier The Verifier that created this.

Pass3aVerifier	back to summary
public Pass3aVerifier(final Verifier verifier, final int methodNo) Should only be instantiated by a Verifier.

contains	back to summary
private static boolean contains(final int[] ints, final int i) A small utility method returning if a given int i is in the given int[] ints.

delayedPass2Checks	back to summary
private void delayedPass2Checks() These are the checks that could be done in pass 2 but are delayed to pass 3 for performance reasons. Also, these checks need access to the code array of the Code attribute of a Method so it's okay to perform them here. Also see the description of the do_verify() method. Exceptions ClassConstraintException: if the verification fails. See Also `do_verify()`

do_verify	back to summary
public VerificationResult do_verify() Implements abstract org.apache.bcel.verifier.PassVerifier.do_verify. Pass 3a is the verification of static constraints of JVM code (such as legal targets of branch instructions). This is the part of pass 3 where you do not need data flow analysis. JustIce also delays the checks for a correct exception table of a Code attribute and correct line number entries in a LineNumberTable attribute of a Code attribute (which conceptually belong to pass 2) to this pass. Also, most of the check for valid local variable entries in a LocalVariableTable attribute of a Code attribute is delayed until this pass. All these checks need access to the code array of the Code attribute. Returns:VerificationResult Doc from org.apache.bcel.verifier.PassVerifier.do_verify. The VerificationResult Annotations @Override Exceptions InvalidMethodException: if the method to verify does not exist.

getMethodNo	back to summary
public int getMethodNo() Returns the method number as supplied when instantiating.

pass3StaticInstructionChecks	back to summary
private void pass3StaticInstructionChecks() These are the checks if constraints are satisfied which are described in the Java Virtual Machine Specification, Second Edition as Static Constraints on the instructions of Java Virtual Machine Code (chapter 4.8.1). Exceptions StaticCodeConstraintException: if the verification fails.

pass3StaticInstructionOperandsChecks	back to summary
private void pass3StaticInstructionOperandsChecks() These are the checks for the satisfaction of constraints which are described in the Java Virtual Machine Specification, Second Edition as Static Constraints on the operands of instructions of Java Virtual Machine Code (chapter 4.8.1). BCEL parses the code array to create an InstructionList and therefore has to check some of these constraints. Additional checks are also implemented here. Exceptions StaticCodeConstraintException: if the verification fails.

tostring	back to summary
protected String tostring(final Object obj) This method is a slightly modified version of verifier.statics.StringRepresentation.toString(final Node obj) that accepts any Object, not just a Node. Returns the String representation of the Object obj; this is obj.toString() if it does not throw any RuntimeException, or else it is a string derived only from obj's class name.

org.apache.bcel.verifier.statics back to summary

private final Class Pass3aVerifier.InstOperandConstraintVisitor

Class Inheritance

java.lang.Object
org.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.statics.Pass3aVerifier.InstOperandConstraintVisitor

This visitor class does the actual checking for the instruction operand's constraints.

Field Summary

Modifier and Type	Field and Description
private final ConstantPoolGen	constantPoolGen The ConstantPoolGen instance this Visitor operates on.

Constructor Summary

Access	Constructor and Description
pack-priv	InstOperandConstraintVisitor(final ConstantPoolGen constantPoolGen) The only Constructor.

Method Summary

Modifier and Type	Method and Description
private void	constraintViolated(final Instruction i, final String message) A utility method to always raise an exception.
private Method	Returns: the referenced method or null if not found. getMethod(final JavaClass the class that defines the referenced method jc, final InvokeInstruction the instruction that references the method invoke) Looks for the method referenced by the given invoke instruction in the given class.
private Method	Returns: the referenced method or null if not found. getMethodRecursive(final JavaClass the class that defines the referenced method jc, final InvokeInstruction the instruction that references the method invoke) Looks for the method referenced by the given invoke instruction in the given class or its super classes and super interfaces.
private ObjectType	getObjectType(final FieldInstruction o)
private void	indexValid(final Instruction i, final int idx) A utility method to raise an exception if the index is not a valid constant pool index.
private int	maxLocals() Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.
public void	visitALOAD(final ALOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitALOAD. Implements org.apache.bcel.generic.Visitor.visitALOAD. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitANEWARRAY(final ANEWARRAY o) Overrides org.apache.bcel.generic.EmptyVisitor.visitANEWARRAY. Implements org.apache.bcel.generic.Visitor.visitANEWARRAY. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitASTORE(final ASTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitASTORE. Implements org.apache.bcel.generic.Visitor.visitASTORE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitCHECKCAST(final CHECKCAST o) Overrides org.apache.bcel.generic.EmptyVisitor.visitCHECKCAST. Implements org.apache.bcel.generic.Visitor.visitCHECKCAST. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitDLOAD(final DLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitDLOAD. Implements org.apache.bcel.generic.Visitor.visitDLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitDSTORE(final DSTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitDSTORE. Implements org.apache.bcel.generic.Visitor.visitDSTORE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitFieldInstruction(final FieldInstruction o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFieldInstruction. Implements org.apache.bcel.generic.Visitor.visitFieldInstruction. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitFLOAD(final FLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFLOAD. Implements org.apache.bcel.generic.Visitor.visitFLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitFSTORE(final FSTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFSTORE. Implements org.apache.bcel.generic.Visitor.visitFSTORE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitGETSTATIC(final GETSTATIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitGETSTATIC. Implements org.apache.bcel.generic.Visitor.visitGETSTATIC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitIINC(final IINC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitIINC. Implements org.apache.bcel.generic.Visitor.visitIINC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitILOAD(final ILOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitILOAD. Implements org.apache.bcel.generic.Visitor.visitILOAD. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINSTANCEOF(final INSTANCEOF o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINSTANCEOF. Implements org.apache.bcel.generic.Visitor.visitINSTANCEOF. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINVOKEDYNAMIC(final INVOKEDYNAMIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEDYNAMIC. Implements org.apache.bcel.generic.Visitor.visitINVOKEDYNAMIC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitInvokeInstruction(final InvokeInstruction o) Overrides org.apache.bcel.generic.EmptyVisitor.visitInvokeInstruction. Implements org.apache.bcel.generic.Visitor.visitInvokeInstruction. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINVOKEINTERFACE(final INVOKEINTERFACE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEINTERFACE. Implements org.apache.bcel.generic.Visitor.visitINVOKEINTERFACE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINVOKESPECIAL(final INVOKESPECIAL o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESPECIAL. Implements org.apache.bcel.generic.Visitor.visitINVOKESPECIAL. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINVOKESTATIC(final INVOKESTATIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESTATIC. Implements org.apache.bcel.generic.Visitor.visitINVOKESTATIC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitINVOKEVIRTUAL(final INVOKEVIRTUAL o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEVIRTUAL. Implements org.apache.bcel.generic.Visitor.visitINVOKEVIRTUAL. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitISTORE(final ISTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitISTORE. Implements org.apache.bcel.generic.Visitor.visitISTORE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitLDC(final LDC ldc) Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC. Implements org.apache.bcel.generic.Visitor.visitLDC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitLDC2_W(final LDC2_W o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC2_W. Implements org.apache.bcel.generic.Visitor.visitLDC2_W. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitLLOAD(final LLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLLOAD. Implements org.apache.bcel.generic.Visitor.visitLLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitLoadClass(final LoadClass loadClass) Overrides org.apache.bcel.generic.EmptyVisitor.visitLoadClass. Implements org.apache.bcel.generic.Visitor.visitLoadClass. Assures the generic preconditions of a LoadClass instance.
public void	visitLOOKUPSWITCH(final LOOKUPSWITCH o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLOOKUPSWITCH. Implements org.apache.bcel.generic.Visitor.visitLOOKUPSWITCH. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitLSTORE(final LSTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLSTORE. Implements org.apache.bcel.generic.Visitor.visitLSTORE. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitMULTIANEWARRAY(final MULTIANEWARRAY o) Overrides org.apache.bcel.generic.EmptyVisitor.visitMULTIANEWARRAY. Implements org.apache.bcel.generic.Visitor.visitMULTIANEWARRAY. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitNEW(final NEW o) Overrides org.apache.bcel.generic.EmptyVisitor.visitNEW. Implements org.apache.bcel.generic.Visitor.visitNEW. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitNEWARRAY(final NEWARRAY o) Overrides org.apache.bcel.generic.EmptyVisitor.visitNEWARRAY. Implements org.apache.bcel.generic.Visitor.visitNEWARRAY. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitPUTSTATIC(final PUTSTATIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitPUTSTATIC. Implements org.apache.bcel.generic.Visitor.visitPUTSTATIC. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitRET(final RET o) Overrides org.apache.bcel.generic.EmptyVisitor.visitRET. Implements org.apache.bcel.generic.Visitor.visitRET. Checks if the constraints of operands of the said instruction(s) are satisfied.
public void	visitTABLESWITCH(final TABLESWITCH o) Overrides org.apache.bcel.generic.EmptyVisitor.visitTABLESWITCH. Implements org.apache.bcel.generic.Visitor.visitTABLESWITCH. Checks if the constraints of operands of the said instruction(s) are satisfied.

Inherited from org.apache.bcel.generic.EmptyVisitor:: visitAALOAD visitAASTORE visitACONST_NULL visitAllocationInstruction visitARETURN visitArithmeticInstruction visitArrayInstruction visitARRAYLENGTH visitATHROW visitBALOAD visitBASTORE visitBIPUSH visitBranchInstruction visitBREAKPOINT visitCALOAD visitCASTORE visitConstantPushInstruction visitConversionInstruction visitCPInstruction visitD2F visitD2I visitD2L visitDADD visitDALOAD visitDASTORE visitDCMPG visitDCMPL visitDCONST visitDDIV visitDMUL visitDNEG visitDREM visitDRETURN visitDSUB visitDUP visitDUP2 visitDUP2_X1 visitDUP2_X2 visitDUP_X1 visitDUP_X2 visitExceptionThrower visitF2D visitF2I visitF2L visitFADD visitFALOAD visitFASTORE visitFCMPG visitFCMPL visitFCONST visitFDIV visitFieldOrMethod visitFMUL visitFNEG visitFREM visitFRETURN visitFSUB visitGETFIELD visitGOTO visitGOTO_W visitGotoInstruction visitI2B visitI2C visitI2D visitI2F visitI2L visitI2S visitIADD visitIALOAD visitIAND visitIASTORE visitICONST visitIDIV visitIF_ACMPEQ visitIF_ACMPNE visitIF_ICMPEQ visitIF_ICMPGE visitIF_ICMPGT visitIF_ICMPLE visitIF_ICMPLT visitIF_ICMPNE visitIFEQ visitIFGE visitIFGT visitIfInstruction visitIFLE visitIFLT visitIFNE visitIFNONNULL visitIFNULL visitIMPDEP1 visitIMPDEP2 visitIMUL visitINEG visitIOR visitIREM visitIRETURN visitISHL visitISHR visitISUB visitIUSHR visitIXOR visitJSR visitJSR_W visitJsrInstruction visitL2D visitL2F visitL2I visitLADD visitLALOAD visitLAND visitLASTORE visitLCMP visitLCONST visitLDIV visitLMUL visitLNEG visitLoadInstruction visitLocalVariableInstruction visitLOR visitLREM visitLRETURN visitLSHL visitLSHR visitLSUB visitLUSHR visitLXOR visitMONITORENTER visitMONITOREXIT visitNOP visitPOP visitPOP2 visitPopInstruction visitPushInstruction visitPUTFIELD visitRETURN visitReturnInstruction visitSALOAD visitSASTORE visitSelect visitSIPUSH visitStackConsumer visitStackInstruction visitStackProducer visitStoreInstruction visitSWAP visitTypedInstruction visitUnconditionalBranch visitVariableLengthInstruction

Field Detail

constantPoolGen	back to summary
private final ConstantPoolGen constantPoolGen The ConstantPoolGen instance this Visitor operates on.

Constructor Detail

InstOperandConstraintVisitor	back to summary
pack-priv InstOperandConstraintVisitor(final ConstantPoolGen constantPoolGen) The only Constructor.

Method Detail

constraintViolated	back to summary
private void constraintViolated(final Instruction i, final String message) A utility method to always raise an exception.

getMethod	back to summary
private Method getMethod(final JavaClass jc, final InvokeInstruction invoke) Looks for the method referenced by the given invoke instruction in the given class. Parameters jc:JavaClass the class that defines the referenced method invoke:InvokeInstruction the instruction that references the method Returns:Method the referenced method or null if not found.

getMethod

back to summary

private Method getMethod(final JavaClass jc, final InvokeInstruction invoke)

Looks for the method referenced by the given invoke instruction in the given class.

Parameters

jc:JavaClass: the class that defines the referenced method
invoke:InvokeInstruction: the instruction that references the method

Returns:Method

the referenced method or null if not found.

getMethodRecursive	back to summary
private Method getMethodRecursive(final JavaClass jc, final InvokeInstruction invoke) throws ClassNotFoundException Looks for the method referenced by the given invoke instruction in the given class or its super classes and super interfaces. Parameters jc:JavaClass the class that defines the referenced method invoke:InvokeInstruction the instruction that references the method Returns:Method the referenced method or null if not found.

getMethodRecursive

back to summary

private Method getMethodRecursive(final JavaClass jc, final InvokeInstruction invoke) throws ClassNotFoundException

Looks for the method referenced by the given invoke instruction in the given class or its super classes and super interfaces.

Parameters

jc:JavaClass: the class that defines the referenced method
invoke:InvokeInstruction: the instruction that references the method

Returns:Method

the referenced method or null if not found.

getObjectType	back to summary
private ObjectType getObjectType(final FieldInstruction o)

indexValid	back to summary
private void indexValid(final Instruction i, final int idx) A utility method to raise an exception if the index is not a valid constant pool index.

maxLocals	back to summary
private int maxLocals() Utility method to return the max_locals value of the method verified by the surrounding Pass3aVerifier instance.

visitALOAD	back to summary
public void visitALOAD(final ALOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitALOAD. Implements org.apache.bcel.generic.Visitor.visitALOAD. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitALOAD

back to summary

public void visitALOAD(final ALOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitALOAD.

Implements org.apache.bcel.generic.Visitor.visitALOAD.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitANEWARRAY	back to summary
public void visitANEWARRAY(final ANEWARRAY o) Overrides org.apache.bcel.generic.EmptyVisitor.visitANEWARRAY. Implements org.apache.bcel.generic.Visitor.visitANEWARRAY. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitANEWARRAY

back to summary

public void visitANEWARRAY(final ANEWARRAY o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitANEWARRAY.

Implements org.apache.bcel.generic.Visitor.visitANEWARRAY.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitASTORE	back to summary
public void visitASTORE(final ASTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitASTORE. Implements org.apache.bcel.generic.Visitor.visitASTORE. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitASTORE

back to summary

public void visitASTORE(final ASTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitASTORE.

Implements org.apache.bcel.generic.Visitor.visitASTORE.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitCHECKCAST	back to summary
public void visitCHECKCAST(final CHECKCAST o) Overrides org.apache.bcel.generic.EmptyVisitor.visitCHECKCAST. Implements org.apache.bcel.generic.Visitor.visitCHECKCAST. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitCHECKCAST

back to summary

public void visitCHECKCAST(final CHECKCAST o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitCHECKCAST.

Implements org.apache.bcel.generic.Visitor.visitCHECKCAST.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitDLOAD	back to summary
public void visitDLOAD(final DLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitDLOAD. Implements org.apache.bcel.generic.Visitor.visitDLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitDLOAD

back to summary

public void visitDLOAD(final DLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDLOAD.

Implements org.apache.bcel.generic.Visitor.visitDLOAD.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitDSTORE	back to summary
public void visitDSTORE(final DSTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitDSTORE. Implements org.apache.bcel.generic.Visitor.visitDSTORE. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitDSTORE

back to summary

public void visitDSTORE(final DSTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitDSTORE.

Implements org.apache.bcel.generic.Visitor.visitDSTORE.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitFieldInstruction	back to summary
public void visitFieldInstruction(final FieldInstruction o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFieldInstruction. Implements org.apache.bcel.generic.Visitor.visitFieldInstruction. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitFieldInstruction

back to summary

public void visitFieldInstruction(final FieldInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFieldInstruction.

Implements org.apache.bcel.generic.Visitor.visitFieldInstruction.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitFLOAD	back to summary
public void visitFLOAD(final FLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFLOAD. Implements org.apache.bcel.generic.Visitor.visitFLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitFLOAD

back to summary

public void visitFLOAD(final FLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFLOAD.

Implements org.apache.bcel.generic.Visitor.visitFLOAD.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitFSTORE	back to summary
public void visitFSTORE(final FSTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitFSTORE. Implements org.apache.bcel.generic.Visitor.visitFSTORE. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitFSTORE

back to summary

public void visitFSTORE(final FSTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitFSTORE.

Implements org.apache.bcel.generic.Visitor.visitFSTORE.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitGETSTATIC	back to summary
public void visitGETSTATIC(final GETSTATIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitGETSTATIC. Implements org.apache.bcel.generic.Visitor.visitGETSTATIC. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitGETSTATIC

back to summary

public void visitGETSTATIC(final GETSTATIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitGETSTATIC.

Implements org.apache.bcel.generic.Visitor.visitGETSTATIC.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitIINC	back to summary
public void visitIINC(final IINC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitIINC. Implements org.apache.bcel.generic.Visitor.visitIINC. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitIINC

back to summary

public void visitIINC(final IINC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitIINC.

Implements org.apache.bcel.generic.Visitor.visitIINC.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitILOAD	back to summary
public void visitILOAD(final ILOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitILOAD. Implements org.apache.bcel.generic.Visitor.visitILOAD. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitILOAD

back to summary

public void visitILOAD(final ILOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitILOAD.

Implements org.apache.bcel.generic.Visitor.visitILOAD.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINSTANCEOF	back to summary
public void visitINSTANCEOF(final INSTANCEOF o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINSTANCEOF. Implements org.apache.bcel.generic.Visitor.visitINSTANCEOF. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINSTANCEOF

back to summary

public void visitINSTANCEOF(final INSTANCEOF o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINSTANCEOF.

Implements org.apache.bcel.generic.Visitor.visitINSTANCEOF.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINVOKEDYNAMIC	back to summary
public void visitINVOKEDYNAMIC(final INVOKEDYNAMIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEDYNAMIC. Implements org.apache.bcel.generic.Visitor.visitINVOKEDYNAMIC. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINVOKEDYNAMIC

back to summary

public void visitINVOKEDYNAMIC(final INVOKEDYNAMIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEDYNAMIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKEDYNAMIC.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitInvokeInstruction	back to summary
public void visitInvokeInstruction(final InvokeInstruction o) Overrides org.apache.bcel.generic.EmptyVisitor.visitInvokeInstruction. Implements org.apache.bcel.generic.Visitor.visitInvokeInstruction. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitInvokeInstruction

back to summary

public void visitInvokeInstruction(final InvokeInstruction o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitInvokeInstruction.

Implements org.apache.bcel.generic.Visitor.visitInvokeInstruction.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINVOKEINTERFACE	back to summary
public void visitINVOKEINTERFACE(final INVOKEINTERFACE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEINTERFACE. Implements org.apache.bcel.generic.Visitor.visitINVOKEINTERFACE. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINVOKEINTERFACE

back to summary

public void visitINVOKEINTERFACE(final INVOKEINTERFACE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEINTERFACE.

Implements org.apache.bcel.generic.Visitor.visitINVOKEINTERFACE.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINVOKESPECIAL	back to summary
public void visitINVOKESPECIAL(final INVOKESPECIAL o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESPECIAL. Implements org.apache.bcel.generic.Visitor.visitINVOKESPECIAL. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINVOKESPECIAL

back to summary

public void visitINVOKESPECIAL(final INVOKESPECIAL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESPECIAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKESPECIAL.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINVOKESTATIC	back to summary
public void visitINVOKESTATIC(final INVOKESTATIC o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESTATIC. Implements org.apache.bcel.generic.Visitor.visitINVOKESTATIC. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINVOKESTATIC

back to summary

public void visitINVOKESTATIC(final INVOKESTATIC o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKESTATIC.

Implements org.apache.bcel.generic.Visitor.visitINVOKESTATIC.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitINVOKEVIRTUAL	back to summary
public void visitINVOKEVIRTUAL(final INVOKEVIRTUAL o) Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEVIRTUAL. Implements org.apache.bcel.generic.Visitor.visitINVOKEVIRTUAL. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitINVOKEVIRTUAL

back to summary

public void visitINVOKEVIRTUAL(final INVOKEVIRTUAL o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitINVOKEVIRTUAL.

Implements org.apache.bcel.generic.Visitor.visitINVOKEVIRTUAL.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitISTORE	back to summary
public void visitISTORE(final ISTORE o) Overrides org.apache.bcel.generic.EmptyVisitor.visitISTORE. Implements org.apache.bcel.generic.Visitor.visitISTORE. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitISTORE

back to summary

public void visitISTORE(final ISTORE o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitISTORE.

Implements org.apache.bcel.generic.Visitor.visitISTORE.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitLDC	back to summary
public void visitLDC(final LDC ldc) Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC. Implements org.apache.bcel.generic.Visitor.visitLDC. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitLDC

back to summary

public void visitLDC(final LDC ldc)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC.

Implements org.apache.bcel.generic.Visitor.visitLDC.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitLDC2_W	back to summary
public void visitLDC2_W(final LDC2_W o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC2_W. Implements org.apache.bcel.generic.Visitor.visitLDC2_W. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitLDC2_W

back to summary

public void visitLDC2_W(final LDC2_W o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLDC2_W.

Implements org.apache.bcel.generic.Visitor.visitLDC2_W.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations

@Override

visitLLOAD	back to summary
public void visitLLOAD(final LLOAD o) Overrides org.apache.bcel.generic.EmptyVisitor.visitLLOAD. Implements org.apache.bcel.generic.Visitor.visitLLOAD. Checks if the constraints of operands of the said instruction(s) are satisfied. Annotations @Override

visitLLOAD

back to summary

public void visitLLOAD(final LLOAD o)

Overrides org.apache.bcel.generic.EmptyVisitor.visitLLOAD.

Implements org.apache.bcel.generic.Visitor.visitLLOAD.

Checks if the constraints of operands of the said instruction(s) are satisfied.

Annotations