Class InstConstraintVisitor
java.lang.Object
org.apache.bcel.generic.EmptyVisitor
org.apache.bcel.verifier.structurals.InstConstraintVisitor
- All Implemented Interfaces:
Visitor
A Visitor class testing for valid preconditions of JVM instructions. The instance of this class will throw a
StructuralCodeConstraintException instance if an instruction is visitXXX()ed which has preconditions that are not
satisfied. TODO: Currently, the JVM's behavior concerning monitors (MONITORENTER, MONITOREXIT) is not modeled in
JustIce.
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidSets the ConstantPoolGen instance needed for constraint checking prior to execution.voidThis returns the single instance of the InstConstraintVisitor class.voidSets the MethodGen instance needed for constraint checking prior to execution.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitALOAD(ALOAD o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the general preconditions of a CPInstruction instance.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitDCMPG(DCMPG o) Ensures the specific preconditions of the said instruction.voidvisitDCMPL(DCMPL o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitDLOAD(DLOAD o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitFCMPG(FCMPG o) Ensures the specific preconditions of the said instruction.voidvisitFCMPL(FCMPL o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the general preconditions of a FieldInstruction instance.voidvisitFLOAD(FLOAD o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitILOAD(ILOAD o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the general preconditions of an InvokeInstruction instance.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitIUSHR(IUSHR o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitJSR_W(JSR_W o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitLDC_W(LDC_W o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitLLOAD(LLOAD o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidAssures the generic preconditions of a LoadClass instance.voidAssures the generic preconditions of a LoadInstruction instance.voidAssures the generic preconditions of a LocalVariableInstruction instance.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidvisitLUSHR(LUSHR o) Ensures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidAssures the generic preconditions of a ReturnInstruction instance.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.voidEnsures the general preconditions of a StackConsumer instance.voidEnsures the general preconditions of a StackInstruction instance.voidEnsures the general preconditions of a StackProducer instance.voidAssures the generic preconditions of a StoreInstruction instance.voidEnsures the specific preconditions of the said instruction.voidEnsures the specific preconditions of the said instruction.Methods inherited from class org.apache.bcel.generic.EmptyVisitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
-
Constructor Details
-
InstConstraintVisitor
public InstConstraintVisitor()The constructor. Constructs a new instance of this class.
-
-
Method Details
-
setConstantPoolGen
Sets the ConstantPoolGen instance needed for constraint checking prior to execution. -
setFrame
This returns the single instance of the InstConstraintVisitor class. To operate correctly, other values must have been set before actually using the instance. Use this method for performance reasons. -
setMethodGen
Sets the MethodGen instance needed for constraint checking prior to execution. -
visitAALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitAALOADin interfaceVisitor- Overrides:
visitAALOADin classEmptyVisitor
-
visitAASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitAASTOREin interfaceVisitor- Overrides:
visitAASTOREin classEmptyVisitor
-
visitACONST_NULL
Ensures the specific preconditions of the said instruction.- Specified by:
visitACONST_NULLin interfaceVisitor- Overrides:
visitACONST_NULLin classEmptyVisitor
-
visitALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitALOADin interfaceVisitor- Overrides:
visitALOADin classEmptyVisitor
-
visitANEWARRAY
Ensures the specific preconditions of the said instruction.- Specified by:
visitANEWARRAYin interfaceVisitor- Overrides:
visitANEWARRAYin classEmptyVisitor
-
visitARETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitARETURNin interfaceVisitor- Overrides:
visitARETURNin classEmptyVisitor
-
visitARRAYLENGTH
Ensures the specific preconditions of the said instruction.- Specified by:
visitARRAYLENGTHin interfaceVisitor- Overrides:
visitARRAYLENGTHin classEmptyVisitor
-
visitASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitASTOREin interfaceVisitor- Overrides:
visitASTOREin classEmptyVisitor
-
visitATHROW
Ensures the specific preconditions of the said instruction.- Specified by:
visitATHROWin interfaceVisitor- Overrides:
visitATHROWin classEmptyVisitor
-
visitBALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitBALOADin interfaceVisitor- Overrides:
visitBALOADin classEmptyVisitor
-
visitBASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitBASTOREin interfaceVisitor- Overrides:
visitBASTOREin classEmptyVisitor
-
visitBIPUSH
Ensures the specific preconditions of the said instruction.- Specified by:
visitBIPUSHin interfaceVisitor- Overrides:
visitBIPUSHin classEmptyVisitor
-
visitBREAKPOINT
Ensures the specific preconditions of the said instruction.- Specified by:
visitBREAKPOINTin interfaceVisitor- Overrides:
visitBREAKPOINTin classEmptyVisitor
-
visitCALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitCALOADin interfaceVisitor- Overrides:
visitCALOADin classEmptyVisitor
-
visitCASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitCASTOREin interfaceVisitor- Overrides:
visitCASTOREin classEmptyVisitor
-
visitCHECKCAST
Ensures the specific preconditions of the said instruction.- Specified by:
visitCHECKCASTin interfaceVisitor- Overrides:
visitCHECKCASTin classEmptyVisitor
-
visitCPInstruction
Ensures the general preconditions of a CPInstruction instance.- Specified by:
visitCPInstructionin interfaceVisitor- Overrides:
visitCPInstructionin classEmptyVisitor
-
visitD2F
Ensures the specific preconditions of the said instruction.- Specified by:
visitD2Fin interfaceVisitor- Overrides:
visitD2Fin classEmptyVisitor
-
visitD2I
Ensures the specific preconditions of the said instruction.- Specified by:
visitD2Iin interfaceVisitor- Overrides:
visitD2Iin classEmptyVisitor
-
visitD2L
Ensures the specific preconditions of the said instruction.- Specified by:
visitD2Lin interfaceVisitor- Overrides:
visitD2Lin classEmptyVisitor
-
visitDADD
Ensures the specific preconditions of the said instruction.- Specified by:
visitDADDin interfaceVisitor- Overrides:
visitDADDin classEmptyVisitor
-
visitDALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitDALOADin interfaceVisitor- Overrides:
visitDALOADin classEmptyVisitor
-
visitDASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitDASTOREin interfaceVisitor- Overrides:
visitDASTOREin classEmptyVisitor
-
visitDCMPG
Ensures the specific preconditions of the said instruction.- Specified by:
visitDCMPGin interfaceVisitor- Overrides:
visitDCMPGin classEmptyVisitor
-
visitDCMPL
Ensures the specific preconditions of the said instruction.- Specified by:
visitDCMPLin interfaceVisitor- Overrides:
visitDCMPLin classEmptyVisitor
-
visitDCONST
Ensures the specific preconditions of the said instruction.- Specified by:
visitDCONSTin interfaceVisitor- Overrides:
visitDCONSTin classEmptyVisitor
-
visitDDIV
Ensures the specific preconditions of the said instruction.- Specified by:
visitDDIVin interfaceVisitor- Overrides:
visitDDIVin classEmptyVisitor
-
visitDLOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitDLOADin interfaceVisitor- Overrides:
visitDLOADin classEmptyVisitor
-
visitDMUL
Ensures the specific preconditions of the said instruction.- Specified by:
visitDMULin interfaceVisitor- Overrides:
visitDMULin classEmptyVisitor
-
visitDNEG
Ensures the specific preconditions of the said instruction.- Specified by:
visitDNEGin interfaceVisitor- Overrides:
visitDNEGin classEmptyVisitor
-
visitDREM
Ensures the specific preconditions of the said instruction.- Specified by:
visitDREMin interfaceVisitor- Overrides:
visitDREMin classEmptyVisitor
-
visitDRETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitDRETURNin interfaceVisitor- Overrides:
visitDRETURNin classEmptyVisitor
-
visitDSTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitDSTOREin interfaceVisitor- Overrides:
visitDSTOREin classEmptyVisitor
-
visitDSUB
Ensures the specific preconditions of the said instruction.- Specified by:
visitDSUBin interfaceVisitor- Overrides:
visitDSUBin classEmptyVisitor
-
visitDUP
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUPin interfaceVisitor- Overrides:
visitDUPin classEmptyVisitor
-
visitDUP_X1
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUP_X1in interfaceVisitor- Overrides:
visitDUP_X1in classEmptyVisitor
-
visitDUP_X2
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUP_X2in interfaceVisitor- Overrides:
visitDUP_X2in classEmptyVisitor
-
visitDUP2
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUP2in interfaceVisitor- Overrides:
visitDUP2in classEmptyVisitor
-
visitDUP2_X1
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUP2_X1in interfaceVisitor- Overrides:
visitDUP2_X1in classEmptyVisitor
-
visitDUP2_X2
Ensures the specific preconditions of the said instruction.- Specified by:
visitDUP2_X2in interfaceVisitor- Overrides:
visitDUP2_X2in classEmptyVisitor
-
visitF2D
Ensures the specific preconditions of the said instruction.- Specified by:
visitF2Din interfaceVisitor- Overrides:
visitF2Din classEmptyVisitor
-
visitF2I
Ensures the specific preconditions of the said instruction.- Specified by:
visitF2Iin interfaceVisitor- Overrides:
visitF2Iin classEmptyVisitor
-
visitF2L
Ensures the specific preconditions of the said instruction.- Specified by:
visitF2Lin interfaceVisitor- Overrides:
visitF2Lin classEmptyVisitor
-
visitFADD
Ensures the specific preconditions of the said instruction.- Specified by:
visitFADDin interfaceVisitor- Overrides:
visitFADDin classEmptyVisitor
-
visitFALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitFALOADin interfaceVisitor- Overrides:
visitFALOADin classEmptyVisitor
-
visitFASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitFASTOREin interfaceVisitor- Overrides:
visitFASTOREin classEmptyVisitor
-
visitFCMPG
Ensures the specific preconditions of the said instruction.- Specified by:
visitFCMPGin interfaceVisitor- Overrides:
visitFCMPGin classEmptyVisitor
-
visitFCMPL
Ensures the specific preconditions of the said instruction.- Specified by:
visitFCMPLin interfaceVisitor- Overrides:
visitFCMPLin classEmptyVisitor
-
visitFCONST
Ensures the specific preconditions of the said instruction.- Specified by:
visitFCONSTin interfaceVisitor- Overrides:
visitFCONSTin classEmptyVisitor
-
visitFDIV
Ensures the specific preconditions of the said instruction.- Specified by:
visitFDIVin interfaceVisitor- Overrides:
visitFDIVin classEmptyVisitor
-
visitFieldInstruction
Ensures the general preconditions of a FieldInstruction instance.- Specified by:
visitFieldInstructionin interfaceVisitor- Overrides:
visitFieldInstructionin classEmptyVisitor
-
visitFLOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitFLOADin interfaceVisitor- Overrides:
visitFLOADin classEmptyVisitor
-
visitFMUL
Ensures the specific preconditions of the said instruction.- Specified by:
visitFMULin interfaceVisitor- Overrides:
visitFMULin classEmptyVisitor
-
visitFNEG
Ensures the specific preconditions of the said instruction.- Specified by:
visitFNEGin interfaceVisitor- Overrides:
visitFNEGin classEmptyVisitor
-
visitFREM
Ensures the specific preconditions of the said instruction.- Specified by:
visitFREMin interfaceVisitor- Overrides:
visitFREMin classEmptyVisitor
-
visitFRETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitFRETURNin interfaceVisitor- Overrides:
visitFRETURNin classEmptyVisitor
-
visitFSTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitFSTOREin interfaceVisitor- Overrides:
visitFSTOREin classEmptyVisitor
-
visitFSUB
Ensures the specific preconditions of the said instruction.- Specified by:
visitFSUBin interfaceVisitor- Overrides:
visitFSUBin classEmptyVisitor
-
visitGETFIELD
Ensures the specific preconditions of the said instruction.- Specified by:
visitGETFIELDin interfaceVisitor- Overrides:
visitGETFIELDin classEmptyVisitor
-
visitGETSTATIC
Ensures the specific preconditions of the said instruction.- Specified by:
visitGETSTATICin interfaceVisitor- Overrides:
visitGETSTATICin classEmptyVisitor
-
visitGOTO
Ensures the specific preconditions of the said instruction.- Specified by:
visitGOTOin interfaceVisitor- Overrides:
visitGOTOin classEmptyVisitor
-
visitGOTO_W
Ensures the specific preconditions of the said instruction.- Specified by:
visitGOTO_Win interfaceVisitor- Overrides:
visitGOTO_Win classEmptyVisitor
-
visitI2B
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Bin interfaceVisitor- Overrides:
visitI2Bin classEmptyVisitor
-
visitI2C
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Cin interfaceVisitor- Overrides:
visitI2Cin classEmptyVisitor
-
visitI2D
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Din interfaceVisitor- Overrides:
visitI2Din classEmptyVisitor
-
visitI2F
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Fin interfaceVisitor- Overrides:
visitI2Fin classEmptyVisitor
-
visitI2L
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Lin interfaceVisitor- Overrides:
visitI2Lin classEmptyVisitor
-
visitI2S
Ensures the specific preconditions of the said instruction.- Specified by:
visitI2Sin interfaceVisitor- Overrides:
visitI2Sin classEmptyVisitor
-
visitIADD
Ensures the specific preconditions of the said instruction.- Specified by:
visitIADDin interfaceVisitor- Overrides:
visitIADDin classEmptyVisitor
-
visitIALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitIALOADin interfaceVisitor- Overrides:
visitIALOADin classEmptyVisitor
-
visitIAND
Ensures the specific preconditions of the said instruction.- Specified by:
visitIANDin interfaceVisitor- Overrides:
visitIANDin classEmptyVisitor
-
visitIASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIASTOREin interfaceVisitor- Overrides:
visitIASTOREin classEmptyVisitor
-
visitICONST
Ensures the specific preconditions of the said instruction.- Specified by:
visitICONSTin interfaceVisitor- Overrides:
visitICONSTin classEmptyVisitor
-
visitIDIV
Ensures the specific preconditions of the said instruction.- Specified by:
visitIDIVin interfaceVisitor- Overrides:
visitIDIVin classEmptyVisitor
-
visitIF_ACMPEQ
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ACMPEQin interfaceVisitor- Overrides:
visitIF_ACMPEQin classEmptyVisitor
-
visitIF_ACMPNE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ACMPNEin interfaceVisitor- Overrides:
visitIF_ACMPNEin classEmptyVisitor
-
visitIF_ICMPEQ
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPEQin interfaceVisitor- Overrides:
visitIF_ICMPEQin classEmptyVisitor
-
visitIF_ICMPGE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPGEin interfaceVisitor- Overrides:
visitIF_ICMPGEin classEmptyVisitor
-
visitIF_ICMPGT
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPGTin interfaceVisitor- Overrides:
visitIF_ICMPGTin classEmptyVisitor
-
visitIF_ICMPLE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPLEin interfaceVisitor- Overrides:
visitIF_ICMPLEin classEmptyVisitor
-
visitIF_ICMPLT
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPLTin interfaceVisitor- Overrides:
visitIF_ICMPLTin classEmptyVisitor
-
visitIF_ICMPNE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIF_ICMPNEin interfaceVisitor- Overrides:
visitIF_ICMPNEin classEmptyVisitor
-
visitIFEQ
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFEQin interfaceVisitor- Overrides:
visitIFEQin classEmptyVisitor
-
visitIFGE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFGEin interfaceVisitor- Overrides:
visitIFGEin classEmptyVisitor
-
visitIFGT
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFGTin interfaceVisitor- Overrides:
visitIFGTin classEmptyVisitor
-
visitIFLE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFLEin interfaceVisitor- Overrides:
visitIFLEin classEmptyVisitor
-
visitIFLT
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFLTin interfaceVisitor- Overrides:
visitIFLTin classEmptyVisitor
-
visitIFNE
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFNEin interfaceVisitor- Overrides:
visitIFNEin classEmptyVisitor
-
visitIFNONNULL
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFNONNULLin interfaceVisitor- Overrides:
visitIFNONNULLin classEmptyVisitor
-
visitIFNULL
Ensures the specific preconditions of the said instruction.- Specified by:
visitIFNULLin interfaceVisitor- Overrides:
visitIFNULLin classEmptyVisitor
-
visitIINC
Ensures the specific preconditions of the said instruction.- Specified by:
visitIINCin interfaceVisitor- Overrides:
visitIINCin classEmptyVisitor
-
visitILOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitILOADin interfaceVisitor- Overrides:
visitILOADin classEmptyVisitor
-
visitIMPDEP1
Ensures the specific preconditions of the said instruction.- Specified by:
visitIMPDEP1in interfaceVisitor- Overrides:
visitIMPDEP1in classEmptyVisitor
-
visitIMPDEP2
Ensures the specific preconditions of the said instruction.- Specified by:
visitIMPDEP2in interfaceVisitor- Overrides:
visitIMPDEP2in classEmptyVisitor
-
visitIMUL
Ensures the specific preconditions of the said instruction.- Specified by:
visitIMULin interfaceVisitor- Overrides:
visitIMULin classEmptyVisitor
-
visitINEG
Ensures the specific preconditions of the said instruction.- Specified by:
visitINEGin interfaceVisitor- Overrides:
visitINEGin classEmptyVisitor
-
visitINSTANCEOF
Ensures the specific preconditions of the said instruction.- Specified by:
visitINSTANCEOFin interfaceVisitor- Overrides:
visitINSTANCEOFin classEmptyVisitor
-
visitINVOKEDYNAMIC
Ensures the specific preconditions of the said instruction.- Specified by:
visitINVOKEDYNAMICin interfaceVisitor- Overrides:
visitINVOKEDYNAMICin classEmptyVisitor- Since:
- 6.0
-
visitInvokeInstruction
Ensures the general preconditions of an InvokeInstruction instance.- Specified by:
visitInvokeInstructionin interfaceVisitor- Overrides:
visitInvokeInstructionin classEmptyVisitor
-
visitINVOKEINTERFACE
Ensures the specific preconditions of the said instruction.- Specified by:
visitINVOKEINTERFACEin interfaceVisitor- Overrides:
visitINVOKEINTERFACEin classEmptyVisitor
-
visitINVOKESPECIAL
Ensures the specific preconditions of the said instruction.- Specified by:
visitINVOKESPECIALin interfaceVisitor- Overrides:
visitINVOKESPECIALin classEmptyVisitor
-
visitINVOKESTATIC
Ensures the specific preconditions of the said instruction.- Specified by:
visitINVOKESTATICin interfaceVisitor- Overrides:
visitINVOKESTATICin classEmptyVisitor
-
visitINVOKEVIRTUAL
Ensures the specific preconditions of the said instruction.- Specified by:
visitINVOKEVIRTUALin interfaceVisitor- Overrides:
visitINVOKEVIRTUALin classEmptyVisitor
-
visitIOR
Ensures the specific preconditions of the said instruction.- Specified by:
visitIORin interfaceVisitor- Overrides:
visitIORin classEmptyVisitor
-
visitIREM
Ensures the specific preconditions of the said instruction.- Specified by:
visitIREMin interfaceVisitor- Overrides:
visitIREMin classEmptyVisitor
-
visitIRETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitIRETURNin interfaceVisitor- Overrides:
visitIRETURNin classEmptyVisitor
-
visitISHL
Ensures the specific preconditions of the said instruction.- Specified by:
visitISHLin interfaceVisitor- Overrides:
visitISHLin classEmptyVisitor
-
visitISHR
Ensures the specific preconditions of the said instruction.- Specified by:
visitISHRin interfaceVisitor- Overrides:
visitISHRin classEmptyVisitor
-
visitISTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitISTOREin interfaceVisitor- Overrides:
visitISTOREin classEmptyVisitor
-
visitISUB
Ensures the specific preconditions of the said instruction.- Specified by:
visitISUBin interfaceVisitor- Overrides:
visitISUBin classEmptyVisitor
-
visitIUSHR
Ensures the specific preconditions of the said instruction.- Specified by:
visitIUSHRin interfaceVisitor- Overrides:
visitIUSHRin classEmptyVisitor
-
visitIXOR
Ensures the specific preconditions of the said instruction.- Specified by:
visitIXORin interfaceVisitor- Overrides:
visitIXORin classEmptyVisitor
-
visitJSR
Ensures the specific preconditions of the said instruction.- Specified by:
visitJSRin interfaceVisitor- Overrides:
visitJSRin classEmptyVisitor
-
visitJSR_W
Ensures the specific preconditions of the said instruction.- Specified by:
visitJSR_Win interfaceVisitor- Overrides:
visitJSR_Win classEmptyVisitor
-
visitL2D
Ensures the specific preconditions of the said instruction.- Specified by:
visitL2Din interfaceVisitor- Overrides:
visitL2Din classEmptyVisitor
-
visitL2F
Ensures the specific preconditions of the said instruction.- Specified by:
visitL2Fin interfaceVisitor- Overrides:
visitL2Fin classEmptyVisitor
-
visitL2I
Ensures the specific preconditions of the said instruction.- Specified by:
visitL2Iin interfaceVisitor- Overrides:
visitL2Iin classEmptyVisitor
-
visitLADD
Ensures the specific preconditions of the said instruction.- Specified by:
visitLADDin interfaceVisitor- Overrides:
visitLADDin classEmptyVisitor
-
visitLALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitLALOADin interfaceVisitor- Overrides:
visitLALOADin classEmptyVisitor
-
visitLAND
Ensures the specific preconditions of the said instruction.- Specified by:
visitLANDin interfaceVisitor- Overrides:
visitLANDin classEmptyVisitor
-
visitLASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitLASTOREin interfaceVisitor- Overrides:
visitLASTOREin classEmptyVisitor
-
visitLCMP
Ensures the specific preconditions of the said instruction.- Specified by:
visitLCMPin interfaceVisitor- Overrides:
visitLCMPin classEmptyVisitor
-
visitLCONST
Ensures the specific preconditions of the said instruction.- Specified by:
visitLCONSTin interfaceVisitor- Overrides:
visitLCONSTin classEmptyVisitor
-
visitLDC
Ensures the specific preconditions of the said instruction.- Specified by:
visitLDCin interfaceVisitor- Overrides:
visitLDCin classEmptyVisitor
-
visitLDC_W
Ensures the specific preconditions of the said instruction. -
visitLDC2_W
Ensures the specific preconditions of the said instruction.- Specified by:
visitLDC2_Win interfaceVisitor- Overrides:
visitLDC2_Win classEmptyVisitor
-
visitLDIV
Ensures the specific preconditions of the said instruction.- Specified by:
visitLDIVin interfaceVisitor- Overrides:
visitLDIVin classEmptyVisitor
-
visitLLOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitLLOADin interfaceVisitor- Overrides:
visitLLOADin classEmptyVisitor
-
visitLMUL
Ensures the specific preconditions of the said instruction.- Specified by:
visitLMULin interfaceVisitor- Overrides:
visitLMULin classEmptyVisitor
-
visitLNEG
Ensures the specific preconditions of the said instruction.- Specified by:
visitLNEGin interfaceVisitor- Overrides:
visitLNEGin classEmptyVisitor
-
visitLoadClass
Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.- Specified by:
visitLoadClassin interfaceVisitor- Overrides:
visitLoadClassin classEmptyVisitor
-
visitLoadInstruction
Assures the generic preconditions of a LoadInstruction instance.- Specified by:
visitLoadInstructionin interfaceVisitor- Overrides:
visitLoadInstructionin classEmptyVisitor
-
visitLocalVariableInstruction
Assures the generic preconditions of a LocalVariableInstruction instance. That is, the index of the local variable must be valid.- Specified by:
visitLocalVariableInstructionin interfaceVisitor- Overrides:
visitLocalVariableInstructionin classEmptyVisitor
-
visitLOOKUPSWITCH
Ensures the specific preconditions of the said instruction.- Specified by:
visitLOOKUPSWITCHin interfaceVisitor- Overrides:
visitLOOKUPSWITCHin classEmptyVisitor
-
visitLOR
Ensures the specific preconditions of the said instruction.- Specified by:
visitLORin interfaceVisitor- Overrides:
visitLORin classEmptyVisitor
-
visitLREM
Ensures the specific preconditions of the said instruction.- Specified by:
visitLREMin interfaceVisitor- Overrides:
visitLREMin classEmptyVisitor
-
visitLRETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitLRETURNin interfaceVisitor- Overrides:
visitLRETURNin classEmptyVisitor
-
visitLSHL
Ensures the specific preconditions of the said instruction.- Specified by:
visitLSHLin interfaceVisitor- Overrides:
visitLSHLin classEmptyVisitor
-
visitLSHR
Ensures the specific preconditions of the said instruction.- Specified by:
visitLSHRin interfaceVisitor- Overrides:
visitLSHRin classEmptyVisitor
-
visitLSTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitLSTOREin interfaceVisitor- Overrides:
visitLSTOREin classEmptyVisitor
-
visitLSUB
Ensures the specific preconditions of the said instruction.- Specified by:
visitLSUBin interfaceVisitor- Overrides:
visitLSUBin classEmptyVisitor
-
visitLUSHR
Ensures the specific preconditions of the said instruction.- Specified by:
visitLUSHRin interfaceVisitor- Overrides:
visitLUSHRin classEmptyVisitor
-
visitLXOR
Ensures the specific preconditions of the said instruction.- Specified by:
visitLXORin interfaceVisitor- Overrides:
visitLXORin classEmptyVisitor
-
visitMONITORENTER
Ensures the specific preconditions of the said instruction.- Specified by:
visitMONITORENTERin interfaceVisitor- Overrides:
visitMONITORENTERin classEmptyVisitor
-
visitMONITOREXIT
Ensures the specific preconditions of the said instruction.- Specified by:
visitMONITOREXITin interfaceVisitor- Overrides:
visitMONITOREXITin classEmptyVisitor
-
visitMULTIANEWARRAY
Ensures the specific preconditions of the said instruction.- Specified by:
visitMULTIANEWARRAYin interfaceVisitor- Overrides:
visitMULTIANEWARRAYin classEmptyVisitor
-
visitNEW
Ensures the specific preconditions of the said instruction.- Specified by:
visitNEWin interfaceVisitor- Overrides:
visitNEWin classEmptyVisitor
-
visitNEWARRAY
Ensures the specific preconditions of the said instruction.- Specified by:
visitNEWARRAYin interfaceVisitor- Overrides:
visitNEWARRAYin classEmptyVisitor
-
visitNOP
Ensures the specific preconditions of the said instruction.- Specified by:
visitNOPin interfaceVisitor- Overrides:
visitNOPin classEmptyVisitor
-
visitPOP
Ensures the specific preconditions of the said instruction.- Specified by:
visitPOPin interfaceVisitor- Overrides:
visitPOPin classEmptyVisitor
-
visitPOP2
Ensures the specific preconditions of the said instruction.- Specified by:
visitPOP2in interfaceVisitor- Overrides:
visitPOP2in classEmptyVisitor
-
visitPUTFIELD
Ensures the specific preconditions of the said instruction.- Specified by:
visitPUTFIELDin interfaceVisitor- Overrides:
visitPUTFIELDin classEmptyVisitor
-
visitPUTSTATIC
Ensures the specific preconditions of the said instruction.- Specified by:
visitPUTSTATICin interfaceVisitor- Overrides:
visitPUTSTATICin classEmptyVisitor
-
visitRET
Ensures the specific preconditions of the said instruction.- Specified by:
visitRETin interfaceVisitor- Overrides:
visitRETin classEmptyVisitor
-
visitRETURN
Ensures the specific preconditions of the said instruction.- Specified by:
visitRETURNin interfaceVisitor- Overrides:
visitRETURNin classEmptyVisitor
-
visitReturnInstruction
Assures the generic preconditions of a ReturnInstruction instance.- Specified by:
visitReturnInstructionin interfaceVisitor- Overrides:
visitReturnInstructionin classEmptyVisitor
-
visitSALOAD
Ensures the specific preconditions of the said instruction.- Specified by:
visitSALOADin interfaceVisitor- Overrides:
visitSALOADin classEmptyVisitor
-
visitSASTORE
Ensures the specific preconditions of the said instruction.- Specified by:
visitSASTOREin interfaceVisitor- Overrides:
visitSASTOREin classEmptyVisitor
-
visitSIPUSH
Ensures the specific preconditions of the said instruction.- Specified by:
visitSIPUSHin interfaceVisitor- Overrides:
visitSIPUSHin classEmptyVisitor
-
visitStackConsumer
Ensures the general preconditions of a StackConsumer instance.- Specified by:
visitStackConsumerin interfaceVisitor- Overrides:
visitStackConsumerin classEmptyVisitor
-
visitStackInstruction
Ensures the general preconditions of a StackInstruction instance.- Specified by:
visitStackInstructionin interfaceVisitor- Overrides:
visitStackInstructionin classEmptyVisitor
-
visitStackProducer
Ensures the general preconditions of a StackProducer instance.- Specified by:
visitStackProducerin interfaceVisitor- Overrides:
visitStackProducerin classEmptyVisitor
-
visitStoreInstruction
Assures the generic preconditions of a StoreInstruction instance.- Specified by:
visitStoreInstructionin interfaceVisitor- Overrides:
visitStoreInstructionin classEmptyVisitor
-
visitSWAP
Ensures the specific preconditions of the said instruction.- Specified by:
visitSWAPin interfaceVisitor- Overrides:
visitSWAPin classEmptyVisitor
-
visitTABLESWITCH
Ensures the specific preconditions of the said instruction.- Specified by:
visitTABLESWITCHin interfaceVisitor- Overrides:
visitTABLESWITCHin classEmptyVisitor
-