Overview  Package   Class  Tree  Deprecated  Index  Help 
BCEL's class file verifier "JustIce"
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

de.fub.bytecode.verifier.structurals
Class InstConstraintVisitor

java.lang.Object
  |
  +--de.fub.bytecode.generic.EmptyVisitor
        |
        +--de.fub.bytecode.verifier.structurals.InstConstraintVisitor
All Implemented Interfaces:
de.fub.bytecode.generic.Visitor
public class InstConstraintVisitor
extends de.fub.bytecode.generic.EmptyVisitor
implements de.fub.bytecode.generic.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 behaviour concerning monitors (MONITORENTER, MONITOREXIT) is not modeled in JustIce.

Version:
$Id: InstConstraintVisitor.java,v 1.68 2001/09/12 11:59:15 ehaase Exp $
Author:
Enver Haase
See Also:
StructuralCodeConstraintException, LinkingConstraintException

Constructor Summary
InstConstraintVisitor()
          The constructor.
 
Method Summary
 void setConstantPoolGen(de.fub.bytecode.generic.ConstantPoolGen cpg)
          Sets the ConstantPoolGen instance needed for constraint checking prior to execution.
 void setFrame(Frame f)
          This returns the single instance of the InstConstraintVisitor class.
 void setMethodGen(de.fub.bytecode.generic.MethodGen mg)
          Sets the MethodGen instance needed for constraint checking prior to execution.
 void visitAALOAD(de.fub.bytecode.generic.AALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitAASTORE(de.fub.bytecode.generic.AASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitACONST_NULL(de.fub.bytecode.generic.ACONST_NULL o)
          Ensures the specific preconditions of the said instruction.
 void visitALOAD(de.fub.bytecode.generic.ALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitANEWARRAY(de.fub.bytecode.generic.ANEWARRAY o)
          Ensures the specific preconditions of the said instruction.
 void visitARETURN(de.fub.bytecode.generic.ARETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitARRAYLENGTH(de.fub.bytecode.generic.ARRAYLENGTH o)
          Ensures the specific preconditions of the said instruction.
 void visitASTORE(de.fub.bytecode.generic.ASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitATHROW(de.fub.bytecode.generic.ATHROW o)
          Ensures the specific preconditions of the said instruction.
 void visitBALOAD(de.fub.bytecode.generic.BALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitBASTORE(de.fub.bytecode.generic.BASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitBIPUSH(de.fub.bytecode.generic.BIPUSH o)
          Ensures the specific preconditions of the said instruction.
 void visitBREAKPOINT(de.fub.bytecode.generic.BREAKPOINT o)
          Ensures the specific preconditions of the said instruction.
 void visitCALOAD(de.fub.bytecode.generic.CALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitCASTORE(de.fub.bytecode.generic.CASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitCHECKCAST(de.fub.bytecode.generic.CHECKCAST o)
          Ensures the specific preconditions of the said instruction.
 void visitCPInstruction(de.fub.bytecode.generic.CPInstruction o)
          Ensures the general preconditions of a CPInstruction instance.
 void visitD2F(de.fub.bytecode.generic.D2F o)
          Ensures the specific preconditions of the said instruction.
 void visitD2I(de.fub.bytecode.generic.D2I o)
          Ensures the specific preconditions of the said instruction.
 void visitD2L(de.fub.bytecode.generic.D2L o)
          Ensures the specific preconditions of the said instruction.
 void visitDADD(de.fub.bytecode.generic.DADD o)
          Ensures the specific preconditions of the said instruction.
 void visitDALOAD(de.fub.bytecode.generic.DALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitDASTORE(de.fub.bytecode.generic.DASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitDCMPG(de.fub.bytecode.generic.DCMPG o)
          Ensures the specific preconditions of the said instruction.
 void visitDCMPL(de.fub.bytecode.generic.DCMPL o)
          Ensures the specific preconditions of the said instruction.
 void visitDCONST(de.fub.bytecode.generic.DCONST o)
          Ensures the specific preconditions of the said instruction.
 void visitDDIV(de.fub.bytecode.generic.DDIV o)
          Ensures the specific preconditions of the said instruction.
 void visitDLOAD(de.fub.bytecode.generic.DLOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitDMUL(de.fub.bytecode.generic.DMUL o)
          Ensures the specific preconditions of the said instruction.
 void visitDNEG(de.fub.bytecode.generic.DNEG o)
          Ensures the specific preconditions of the said instruction.
 void visitDREM(de.fub.bytecode.generic.DREM o)
          Ensures the specific preconditions of the said instruction.
 void visitDRETURN(de.fub.bytecode.generic.DRETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitDSTORE(de.fub.bytecode.generic.DSTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitDSUB(de.fub.bytecode.generic.DSUB o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP_X1(de.fub.bytecode.generic.DUP_X1 o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP_X2(de.fub.bytecode.generic.DUP_X2 o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP(de.fub.bytecode.generic.DUP o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP2_X1(de.fub.bytecode.generic.DUP2_X1 o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP2_X2(de.fub.bytecode.generic.DUP2_X2 o)
          Ensures the specific preconditions of the said instruction.
 void visitDUP2(de.fub.bytecode.generic.DUP2 o)
          Ensures the specific preconditions of the said instruction.
 void visitF2D(de.fub.bytecode.generic.F2D o)
          Ensures the specific preconditions of the said instruction.
 void visitF2I(de.fub.bytecode.generic.F2I o)
          Ensures the specific preconditions of the said instruction.
 void visitF2L(de.fub.bytecode.generic.F2L o)
          Ensures the specific preconditions of the said instruction.
 void visitFADD(de.fub.bytecode.generic.FADD o)
          Ensures the specific preconditions of the said instruction.
 void visitFALOAD(de.fub.bytecode.generic.FALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitFASTORE(de.fub.bytecode.generic.FASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitFCMPG(de.fub.bytecode.generic.FCMPG o)
          Ensures the specific preconditions of the said instruction.
 void visitFCMPL(de.fub.bytecode.generic.FCMPL o)
          Ensures the specific preconditions of the said instruction.
 void visitFCONST(de.fub.bytecode.generic.FCONST o)
          Ensures the specific preconditions of the said instruction.
 void visitFDIV(de.fub.bytecode.generic.FDIV o)
          Ensures the specific preconditions of the said instruction.
 void visitFieldInstruction(de.fub.bytecode.generic.FieldInstruction o)
          Ensures the general preconditions of a FieldInstruction instance.
 void visitFLOAD(de.fub.bytecode.generic.FLOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitFMUL(de.fub.bytecode.generic.FMUL o)
          Ensures the specific preconditions of the said instruction.
 void visitFNEG(de.fub.bytecode.generic.FNEG o)
          Ensures the specific preconditions of the said instruction.
 void visitFREM(de.fub.bytecode.generic.FREM o)
          Ensures the specific preconditions of the said instruction.
 void visitFRETURN(de.fub.bytecode.generic.FRETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitFSTORE(de.fub.bytecode.generic.FSTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitFSUB(de.fub.bytecode.generic.FSUB o)
          Ensures the specific preconditions of the said instruction.
 void visitGETFIELD(de.fub.bytecode.generic.GETFIELD o)
          Ensures the specific preconditions of the said instruction.
 void visitGETSTATIC(de.fub.bytecode.generic.GETSTATIC o)
          Ensures the specific preconditions of the said instruction.
 void visitGOTO_W(de.fub.bytecode.generic.GOTO_W o)
          Ensures the specific preconditions of the said instruction.
 void visitGOTO(de.fub.bytecode.generic.GOTO o)
          Ensures the specific preconditions of the said instruction.
 void visitI2B(de.fub.bytecode.generic.I2B o)
          Ensures the specific preconditions of the said instruction.
 void visitI2C(de.fub.bytecode.generic.I2C o)
          Ensures the specific preconditions of the said instruction.
 void visitI2D(de.fub.bytecode.generic.I2D o)
          Ensures the specific preconditions of the said instruction.
 void visitI2F(de.fub.bytecode.generic.I2F o)
          Ensures the specific preconditions of the said instruction.
 void visitI2L(de.fub.bytecode.generic.I2L o)
          Ensures the specific preconditions of the said instruction.
 void visitI2S(de.fub.bytecode.generic.I2S o)
          Ensures the specific preconditions of the said instruction.
 void visitIADD(de.fub.bytecode.generic.IADD o)
          Ensures the specific preconditions of the said instruction.
 void visitIALOAD(de.fub.bytecode.generic.IALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitIAND(de.fub.bytecode.generic.IAND o)
          Ensures the specific preconditions of the said instruction.
 void visitIASTORE(de.fub.bytecode.generic.IASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitICONST(de.fub.bytecode.generic.ICONST o)
          Ensures the specific preconditions of the said instruction.
 void visitIDIV(de.fub.bytecode.generic.IDIV o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ACMPEQ(de.fub.bytecode.generic.IF_ACMPEQ o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ACMPNE(de.fub.bytecode.generic.IF_ACMPNE o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPEQ(de.fub.bytecode.generic.IF_ICMPEQ o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPGE(de.fub.bytecode.generic.IF_ICMPGE o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPGT(de.fub.bytecode.generic.IF_ICMPGT o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPLE(de.fub.bytecode.generic.IF_ICMPLE o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPLT(de.fub.bytecode.generic.IF_ICMPLT o)
          Ensures the specific preconditions of the said instruction.
 void visitIF_ICMPNE(de.fub.bytecode.generic.IF_ICMPNE o)
          Ensures the specific preconditions of the said instruction.
 void visitIFEQ(de.fub.bytecode.generic.IFEQ o)
          Ensures the specific preconditions of the said instruction.
 void visitIFGE(de.fub.bytecode.generic.IFGE o)
          Ensures the specific preconditions of the said instruction.
 void visitIFGT(de.fub.bytecode.generic.IFGT o)
          Ensures the specific preconditions of the said instruction.
 void visitIFLE(de.fub.bytecode.generic.IFLE o)
          Ensures the specific preconditions of the said instruction.
 void visitIFLT(de.fub.bytecode.generic.IFLT o)
          Ensures the specific preconditions of the said instruction.
 void visitIFNE(de.fub.bytecode.generic.IFNE o)
          Ensures the specific preconditions of the said instruction.
 void visitIFNONNULL(de.fub.bytecode.generic.IFNONNULL o)
          Ensures the specific preconditions of the said instruction.
 void visitIFNULL(de.fub.bytecode.generic.IFNULL o)
          Ensures the specific preconditions of the said instruction.
 void visitIINC(de.fub.bytecode.generic.IINC o)
          Ensures the specific preconditions of the said instruction.
 void visitILOAD(de.fub.bytecode.generic.ILOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitIMPDEP1(de.fub.bytecode.generic.IMPDEP1 o)
          Ensures the specific preconditions of the said instruction.
 void visitIMPDEP2(de.fub.bytecode.generic.IMPDEP2 o)
          Ensures the specific preconditions of the said instruction.
 void visitIMUL(de.fub.bytecode.generic.IMUL o)
          Ensures the specific preconditions of the said instruction.
 void visitINEG(de.fub.bytecode.generic.INEG o)
          Ensures the specific preconditions of the said instruction.
 void visitINSTANCEOF(de.fub.bytecode.generic.INSTANCEOF o)
          Ensures the specific preconditions of the said instruction.
 void visitInvokeInstruction(de.fub.bytecode.generic.InvokeInstruction o)
          Ensures the general preconditions of an InvokeInstruction instance.
 void visitINVOKEINTERFACE(de.fub.bytecode.generic.INVOKEINTERFACE o)
          Ensures the specific preconditions of the said instruction.
 void visitINVOKESPECIAL(de.fub.bytecode.generic.INVOKESPECIAL o)
          Ensures the specific preconditions of the said instruction.
 void visitINVOKESTATIC(de.fub.bytecode.generic.INVOKESTATIC o)
          Ensures the specific preconditions of the said instruction.
 void visitINVOKEVIRTUAL(de.fub.bytecode.generic.INVOKEVIRTUAL o)
          Ensures the specific preconditions of the said instruction.
 void visitIOR(de.fub.bytecode.generic.IOR o)
          Ensures the specific preconditions of the said instruction.
 void visitIREM(de.fub.bytecode.generic.IREM o)
          Ensures the specific preconditions of the said instruction.
 void visitIRETURN(de.fub.bytecode.generic.IRETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitISHL(de.fub.bytecode.generic.ISHL o)
          Ensures the specific preconditions of the said instruction.
 void visitISHR(de.fub.bytecode.generic.ISHR o)
          Ensures the specific preconditions of the said instruction.
 void visitISTORE(de.fub.bytecode.generic.ISTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitISUB(de.fub.bytecode.generic.ISUB o)
          Ensures the specific preconditions of the said instruction.
 void visitIUSHR(de.fub.bytecode.generic.IUSHR o)
          Ensures the specific preconditions of the said instruction.
 void visitIXOR(de.fub.bytecode.generic.IXOR o)
          Ensures the specific preconditions of the said instruction.
 void visitJSR_W(de.fub.bytecode.generic.JSR_W o)
          Ensures the specific preconditions of the said instruction.
 void visitJSR(de.fub.bytecode.generic.JSR o)
          Ensures the specific preconditions of the said instruction.
 void visitL2D(de.fub.bytecode.generic.L2D o)
          Ensures the specific preconditions of the said instruction.
 void visitL2F(de.fub.bytecode.generic.L2F o)
          Ensures the specific preconditions of the said instruction.
 void visitL2I(de.fub.bytecode.generic.L2I o)
          Ensures the specific preconditions of the said instruction.
 void visitLADD(de.fub.bytecode.generic.LADD o)
          Ensures the specific preconditions of the said instruction.
 void visitLALOAD(de.fub.bytecode.generic.LALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitLAND(de.fub.bytecode.generic.LAND o)
          Ensures the specific preconditions of the said instruction.
 void visitLASTORE(de.fub.bytecode.generic.LASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitLCMP(de.fub.bytecode.generic.LCMP o)
          Ensures the specific preconditions of the said instruction.
 void visitLCONST(de.fub.bytecode.generic.LCONST o)
          Ensures the specific preconditions of the said instruction.
 void visitLDC_W(de.fub.bytecode.generic.LDC_W o)
          Ensures the specific preconditions of the said instruction.
 void visitLDC(de.fub.bytecode.generic.LDC o)
          Ensures the specific preconditions of the said instruction.
 void visitLDC2_W(de.fub.bytecode.generic.LDC2_W o)
          Ensures the specific preconditions of the said instruction.
 void visitLDIV(de.fub.bytecode.generic.LDIV o)
          Ensures the specific preconditions of the said instruction.
 void visitLLOAD(de.fub.bytecode.generic.LLOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitLMUL(de.fub.bytecode.generic.LMUL o)
          Ensures the specific preconditions of the said instruction.
 void visitLNEG(de.fub.bytecode.generic.LNEG o)
          Ensures the specific preconditions of the said instruction.
 void visitLoadClass(de.fub.bytecode.generic.LoadClass o)
          Assures the generic preconditions of a LoadClass instance.
 void visitLoadInstruction(de.fub.bytecode.generic.LoadInstruction o)
          Assures the generic preconditions of a LoadInstruction instance.
 void visitLocalVariableInstruction(de.fub.bytecode.generic.LocalVariableInstruction o)
          Assures the generic preconditions of a LocalVariableInstruction instance.
 void visitLOOKUPSWITCH(de.fub.bytecode.generic.LOOKUPSWITCH o)
          Ensures the specific preconditions of the said instruction.
 void visitLOR(de.fub.bytecode.generic.LOR o)
          Ensures the specific preconditions of the said instruction.
 void visitLREM(de.fub.bytecode.generic.LREM o)
          Ensures the specific preconditions of the said instruction.
 void visitLRETURN(de.fub.bytecode.generic.LRETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitLSHL(de.fub.bytecode.generic.LSHL o)
          Ensures the specific preconditions of the said instruction.
 void visitLSHR(de.fub.bytecode.generic.LSHR o)
          Ensures the specific preconditions of the said instruction.
 void visitLSTORE(de.fub.bytecode.generic.LSTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitLSUB(de.fub.bytecode.generic.LSUB o)
          Ensures the specific preconditions of the said instruction.
 void visitLUSHR(de.fub.bytecode.generic.LUSHR o)
          Ensures the specific preconditions of the said instruction.
 void visitLXOR(de.fub.bytecode.generic.LXOR o)
          Ensures the specific preconditions of the said instruction.
 void visitMONITORENTER(de.fub.bytecode.generic.MONITORENTER o)
          Ensures the specific preconditions of the said instruction.
 void visitMONITOREXIT(de.fub.bytecode.generic.MONITOREXIT o)
          Ensures the specific preconditions of the said instruction.
 void visitMULTIANEWARRAY(de.fub.bytecode.generic.MULTIANEWARRAY o)
          Ensures the specific preconditions of the said instruction.
 void visitNEW(de.fub.bytecode.generic.NEW o)
          Ensures the specific preconditions of the said instruction.
 void visitNEWARRAY(de.fub.bytecode.generic.NEWARRAY o)
          Ensures the specific preconditions of the said instruction.
 void visitNOP(de.fub.bytecode.generic.NOP o)
          Ensures the specific preconditions of the said instruction.
 void visitPOP(de.fub.bytecode.generic.POP o)
          Ensures the specific preconditions of the said instruction.
 void visitPOP2(de.fub.bytecode.generic.POP2 o)
          Ensures the specific preconditions of the said instruction.
 void visitPUTFIELD(de.fub.bytecode.generic.PUTFIELD o)
          Ensures the specific preconditions of the said instruction.
 void visitPUTSTATIC(de.fub.bytecode.generic.PUTSTATIC o)
          Ensures the specific preconditions of the said instruction.
 void visitRET(de.fub.bytecode.generic.RET o)
          Ensures the specific preconditions of the said instruction.
 void visitRETURN(de.fub.bytecode.generic.RETURN o)
          Ensures the specific preconditions of the said instruction.
 void visitReturnInstruction(de.fub.bytecode.generic.ReturnInstruction o)
          Assures the generic preconditions of a ReturnInstruction instance.
 void visitSALOAD(de.fub.bytecode.generic.SALOAD o)
          Ensures the specific preconditions of the said instruction.
 void visitSASTORE(de.fub.bytecode.generic.SASTORE o)
          Ensures the specific preconditions of the said instruction.
 void visitSIPUSH(de.fub.bytecode.generic.SIPUSH o)
          Ensures the specific preconditions of the said instruction.
 void visitStackConsumer(de.fub.bytecode.generic.StackConsumer o)
          Ensures the general preconditions of a StackConsumer instance.
 void visitStackInstruction(de.fub.bytecode.generic.StackInstruction o)
          Ensures the general preconditions of a StackInstruction instance.
 void visitStackProducer(de.fub.bytecode.generic.StackProducer o)
          Ensures the general preconditions of a StackProducer instance.
 void visitStoreInstruction(de.fub.bytecode.generic.StoreInstruction o)
          Assures the generic preconditions of a StoreInstruction instance.
 void visitSWAP(de.fub.bytecode.generic.SWAP o)
          Ensures the specific preconditions of the said instruction.
 void visitTABLESWITCH(de.fub.bytecode.generic.TABLESWITCH o)
          Ensures the specific preconditions of the said instruction.
 
Methods inherited from class de.fub.bytecode.generic.EmptyVisitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface de.fub.bytecode.generic.Visitor
visitAllocationInstruction, visitArithmeticInstruction, visitArrayInstruction, visitBranchInstruction, visitConstantPushInstruction, visitConversionInstruction, visitExceptionThrower, visitFieldOrMethod, visitGotoInstruction, visitIfInstruction, visitJsrInstruction, visitPopInstruction, visitPushInstruction, visitSelect, visitTypedInstruction, visitUnconditionalBranch, visitVariableLengthInstruction
 

Constructor Detail

InstConstraintVisitor

public InstConstraintVisitor()
The constructor. Constructs a new instance of this class.
Method Detail

setFrame

public void setFrame(Frame f)
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.
See Also:
setConstantPoolGen(ConstantPoolGen cpg), setMethodGen(MethodGen mg)

setConstantPoolGen

public void setConstantPoolGen(de.fub.bytecode.generic.ConstantPoolGen cpg)
Sets the ConstantPoolGen instance needed for constraint checking prior to execution.

setMethodGen

public void setMethodGen(de.fub.bytecode.generic.MethodGen mg)
Sets the MethodGen instance needed for constraint checking prior to execution.

visitLoadClass

public void visitLoadClass(de.fub.bytecode.generic.LoadClass o)
Assures the generic preconditions of a LoadClass instance. The referenced class is loaded and pass2-verified.
Specified by:
visitLoadClass in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLoadClass in class de.fub.bytecode.generic.EmptyVisitor

visitStackConsumer

public void visitStackConsumer(de.fub.bytecode.generic.StackConsumer o)
Ensures the general preconditions of a StackConsumer instance.
Specified by:
visitStackConsumer in interface de.fub.bytecode.generic.Visitor
Overrides:
visitStackConsumer in class de.fub.bytecode.generic.EmptyVisitor

visitStackProducer

public void visitStackProducer(de.fub.bytecode.generic.StackProducer o)
Ensures the general preconditions of a StackProducer instance.
Specified by:
visitStackProducer in interface de.fub.bytecode.generic.Visitor
Overrides:
visitStackProducer in class de.fub.bytecode.generic.EmptyVisitor

visitCPInstruction

public void visitCPInstruction(de.fub.bytecode.generic.CPInstruction o)
Ensures the general preconditions of a CPInstruction instance.
Specified by:
visitCPInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitCPInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitFieldInstruction

public void visitFieldInstruction(de.fub.bytecode.generic.FieldInstruction o)
Ensures the general preconditions of a FieldInstruction instance.
Specified by:
visitFieldInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFieldInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitInvokeInstruction

public void visitInvokeInstruction(de.fub.bytecode.generic.InvokeInstruction o)
Ensures the general preconditions of an InvokeInstruction instance.
Specified by:
visitInvokeInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitInvokeInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitStackInstruction

public void visitStackInstruction(de.fub.bytecode.generic.StackInstruction o)
Ensures the general preconditions of a StackInstruction instance.
Specified by:
visitStackInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitStackInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitLocalVariableInstruction

public void visitLocalVariableInstruction(de.fub.bytecode.generic.LocalVariableInstruction o)
Assures the generic preconditions of a LocalVariableInstruction instance. That is, the index of the local variable must be valid.
Specified by:
visitLocalVariableInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLocalVariableInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitLoadInstruction

public void visitLoadInstruction(de.fub.bytecode.generic.LoadInstruction o)
Assures the generic preconditions of a LoadInstruction instance.
Specified by:
visitLoadInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLoadInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitStoreInstruction

public void visitStoreInstruction(de.fub.bytecode.generic.StoreInstruction o)
Assures the generic preconditions of a StoreInstruction instance.
Specified by:
visitStoreInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitStoreInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitReturnInstruction

public void visitReturnInstruction(de.fub.bytecode.generic.ReturnInstruction o)
Assures the generic preconditions of a ReturnInstruction instance.
Specified by:
visitReturnInstruction in interface de.fub.bytecode.generic.Visitor
Overrides:
visitReturnInstruction in class de.fub.bytecode.generic.EmptyVisitor

visitAALOAD

public void visitAALOAD(de.fub.bytecode.generic.AALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitAALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitAALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitAASTORE

public void visitAASTORE(de.fub.bytecode.generic.AASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitAASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitAASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitACONST_NULL

public void visitACONST_NULL(de.fub.bytecode.generic.ACONST_NULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitACONST_NULL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitACONST_NULL in class de.fub.bytecode.generic.EmptyVisitor

visitALOAD

public void visitALOAD(de.fub.bytecode.generic.ALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitANEWARRAY

public void visitANEWARRAY(de.fub.bytecode.generic.ANEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitANEWARRAY in interface de.fub.bytecode.generic.Visitor
Overrides:
visitANEWARRAY in class de.fub.bytecode.generic.EmptyVisitor

visitARETURN

public void visitARETURN(de.fub.bytecode.generic.ARETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitARETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitARETURN in class de.fub.bytecode.generic.EmptyVisitor

visitARRAYLENGTH

public void visitARRAYLENGTH(de.fub.bytecode.generic.ARRAYLENGTH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitARRAYLENGTH in interface de.fub.bytecode.generic.Visitor
Overrides:
visitARRAYLENGTH in class de.fub.bytecode.generic.EmptyVisitor

visitASTORE

public void visitASTORE(de.fub.bytecode.generic.ASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitATHROW

public void visitATHROW(de.fub.bytecode.generic.ATHROW o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitATHROW in interface de.fub.bytecode.generic.Visitor
Overrides:
visitATHROW in class de.fub.bytecode.generic.EmptyVisitor

visitBALOAD

public void visitBALOAD(de.fub.bytecode.generic.BALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitBALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitBASTORE

public void visitBASTORE(de.fub.bytecode.generic.BASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitBASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitBIPUSH

public void visitBIPUSH(de.fub.bytecode.generic.BIPUSH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBIPUSH in interface de.fub.bytecode.generic.Visitor
Overrides:
visitBIPUSH in class de.fub.bytecode.generic.EmptyVisitor

visitBREAKPOINT

public void visitBREAKPOINT(de.fub.bytecode.generic.BREAKPOINT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitBREAKPOINT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitBREAKPOINT in class de.fub.bytecode.generic.EmptyVisitor

visitCALOAD

public void visitCALOAD(de.fub.bytecode.generic.CALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitCALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitCASTORE

public void visitCASTORE(de.fub.bytecode.generic.CASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitCASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitCHECKCAST

public void visitCHECKCAST(de.fub.bytecode.generic.CHECKCAST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitCHECKCAST in interface de.fub.bytecode.generic.Visitor
Overrides:
visitCHECKCAST in class de.fub.bytecode.generic.EmptyVisitor

visitD2F

public void visitD2F(de.fub.bytecode.generic.D2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2F in interface de.fub.bytecode.generic.Visitor
Overrides:
visitD2F in class de.fub.bytecode.generic.EmptyVisitor

visitD2I

public void visitD2I(de.fub.bytecode.generic.D2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2I in interface de.fub.bytecode.generic.Visitor
Overrides:
visitD2I in class de.fub.bytecode.generic.EmptyVisitor

visitD2L

public void visitD2L(de.fub.bytecode.generic.D2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitD2L in interface de.fub.bytecode.generic.Visitor
Overrides:
visitD2L in class de.fub.bytecode.generic.EmptyVisitor

visitDADD

public void visitDADD(de.fub.bytecode.generic.DADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDADD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDADD in class de.fub.bytecode.generic.EmptyVisitor

visitDALOAD

public void visitDALOAD(de.fub.bytecode.generic.DALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitDASTORE

public void visitDASTORE(de.fub.bytecode.generic.DASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitDCMPG

public void visitDCMPG(de.fub.bytecode.generic.DCMPG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCMPG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDCMPG in class de.fub.bytecode.generic.EmptyVisitor

visitDCMPL

public void visitDCMPL(de.fub.bytecode.generic.DCMPL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCMPL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDCMPL in class de.fub.bytecode.generic.EmptyVisitor

visitDCONST

public void visitDCONST(de.fub.bytecode.generic.DCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDCONST in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDCONST in class de.fub.bytecode.generic.EmptyVisitor

visitDDIV

public void visitDDIV(de.fub.bytecode.generic.DDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDDIV in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDDIV in class de.fub.bytecode.generic.EmptyVisitor

visitDLOAD

public void visitDLOAD(de.fub.bytecode.generic.DLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDLOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDLOAD in class de.fub.bytecode.generic.EmptyVisitor

visitDMUL

public void visitDMUL(de.fub.bytecode.generic.DMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDMUL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDMUL in class de.fub.bytecode.generic.EmptyVisitor

visitDNEG

public void visitDNEG(de.fub.bytecode.generic.DNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDNEG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDNEG in class de.fub.bytecode.generic.EmptyVisitor

visitDREM

public void visitDREM(de.fub.bytecode.generic.DREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDREM in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDREM in class de.fub.bytecode.generic.EmptyVisitor

visitDRETURN

public void visitDRETURN(de.fub.bytecode.generic.DRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDRETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDRETURN in class de.fub.bytecode.generic.EmptyVisitor

visitDSTORE

public void visitDSTORE(de.fub.bytecode.generic.DSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDSTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDSTORE in class de.fub.bytecode.generic.EmptyVisitor

visitDSUB

public void visitDSUB(de.fub.bytecode.generic.DSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDSUB in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDSUB in class de.fub.bytecode.generic.EmptyVisitor

visitDUP

public void visitDUP(de.fub.bytecode.generic.DUP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP in class de.fub.bytecode.generic.EmptyVisitor

visitDUP_X1

public void visitDUP_X1(de.fub.bytecode.generic.DUP_X1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP_X1 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP_X1 in class de.fub.bytecode.generic.EmptyVisitor

visitDUP_X2

public void visitDUP_X2(de.fub.bytecode.generic.DUP_X2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP_X2 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP_X2 in class de.fub.bytecode.generic.EmptyVisitor

visitDUP2

public void visitDUP2(de.fub.bytecode.generic.DUP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP2 in class de.fub.bytecode.generic.EmptyVisitor

visitDUP2_X1

public void visitDUP2_X1(de.fub.bytecode.generic.DUP2_X1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2_X1 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP2_X1 in class de.fub.bytecode.generic.EmptyVisitor

visitDUP2_X2

public void visitDUP2_X2(de.fub.bytecode.generic.DUP2_X2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitDUP2_X2 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitDUP2_X2 in class de.fub.bytecode.generic.EmptyVisitor

visitF2D

public void visitF2D(de.fub.bytecode.generic.F2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2D in interface de.fub.bytecode.generic.Visitor
Overrides:
visitF2D in class de.fub.bytecode.generic.EmptyVisitor

visitF2I

public void visitF2I(de.fub.bytecode.generic.F2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2I in interface de.fub.bytecode.generic.Visitor
Overrides:
visitF2I in class de.fub.bytecode.generic.EmptyVisitor

visitF2L

public void visitF2L(de.fub.bytecode.generic.F2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitF2L in interface de.fub.bytecode.generic.Visitor
Overrides:
visitF2L in class de.fub.bytecode.generic.EmptyVisitor

visitFADD

public void visitFADD(de.fub.bytecode.generic.FADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFADD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFADD in class de.fub.bytecode.generic.EmptyVisitor

visitFALOAD

public void visitFALOAD(de.fub.bytecode.generic.FALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitFASTORE

public void visitFASTORE(de.fub.bytecode.generic.FASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitFCMPG

public void visitFCMPG(de.fub.bytecode.generic.FCMPG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCMPG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFCMPG in class de.fub.bytecode.generic.EmptyVisitor

visitFCMPL

public void visitFCMPL(de.fub.bytecode.generic.FCMPL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCMPL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFCMPL in class de.fub.bytecode.generic.EmptyVisitor

visitFCONST

public void visitFCONST(de.fub.bytecode.generic.FCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFCONST in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFCONST in class de.fub.bytecode.generic.EmptyVisitor

visitFDIV

public void visitFDIV(de.fub.bytecode.generic.FDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFDIV in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFDIV in class de.fub.bytecode.generic.EmptyVisitor

visitFLOAD

public void visitFLOAD(de.fub.bytecode.generic.FLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFLOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFLOAD in class de.fub.bytecode.generic.EmptyVisitor

visitFMUL

public void visitFMUL(de.fub.bytecode.generic.FMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFMUL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFMUL in class de.fub.bytecode.generic.EmptyVisitor

visitFNEG

public void visitFNEG(de.fub.bytecode.generic.FNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFNEG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFNEG in class de.fub.bytecode.generic.EmptyVisitor

visitFREM

public void visitFREM(de.fub.bytecode.generic.FREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFREM in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFREM in class de.fub.bytecode.generic.EmptyVisitor

visitFRETURN

public void visitFRETURN(de.fub.bytecode.generic.FRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFRETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFRETURN in class de.fub.bytecode.generic.EmptyVisitor

visitFSTORE

public void visitFSTORE(de.fub.bytecode.generic.FSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFSTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFSTORE in class de.fub.bytecode.generic.EmptyVisitor

visitFSUB

public void visitFSUB(de.fub.bytecode.generic.FSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitFSUB in interface de.fub.bytecode.generic.Visitor
Overrides:
visitFSUB in class de.fub.bytecode.generic.EmptyVisitor

visitGETFIELD

public void visitGETFIELD(de.fub.bytecode.generic.GETFIELD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGETFIELD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitGETFIELD in class de.fub.bytecode.generic.EmptyVisitor

visitGETSTATIC

public void visitGETSTATIC(de.fub.bytecode.generic.GETSTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGETSTATIC in interface de.fub.bytecode.generic.Visitor
Overrides:
visitGETSTATIC in class de.fub.bytecode.generic.EmptyVisitor

visitGOTO

public void visitGOTO(de.fub.bytecode.generic.GOTO o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGOTO in interface de.fub.bytecode.generic.Visitor
Overrides:
visitGOTO in class de.fub.bytecode.generic.EmptyVisitor

visitGOTO_W

public void visitGOTO_W(de.fub.bytecode.generic.GOTO_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitGOTO_W in interface de.fub.bytecode.generic.Visitor
Overrides:
visitGOTO_W in class de.fub.bytecode.generic.EmptyVisitor

visitI2B

public void visitI2B(de.fub.bytecode.generic.I2B o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2B in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2B in class de.fub.bytecode.generic.EmptyVisitor

visitI2C

public void visitI2C(de.fub.bytecode.generic.I2C o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2C in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2C in class de.fub.bytecode.generic.EmptyVisitor

visitI2D

public void visitI2D(de.fub.bytecode.generic.I2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2D in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2D in class de.fub.bytecode.generic.EmptyVisitor

visitI2F

public void visitI2F(de.fub.bytecode.generic.I2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2F in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2F in class de.fub.bytecode.generic.EmptyVisitor

visitI2L

public void visitI2L(de.fub.bytecode.generic.I2L o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2L in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2L in class de.fub.bytecode.generic.EmptyVisitor

visitI2S

public void visitI2S(de.fub.bytecode.generic.I2S o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitI2S in interface de.fub.bytecode.generic.Visitor
Overrides:
visitI2S in class de.fub.bytecode.generic.EmptyVisitor

visitIADD

public void visitIADD(de.fub.bytecode.generic.IADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIADD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIADD in class de.fub.bytecode.generic.EmptyVisitor

visitIALOAD

public void visitIALOAD(de.fub.bytecode.generic.IALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitIAND

public void visitIAND(de.fub.bytecode.generic.IAND o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIAND in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIAND in class de.fub.bytecode.generic.EmptyVisitor

visitIASTORE

public void visitIASTORE(de.fub.bytecode.generic.IASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitICONST

public void visitICONST(de.fub.bytecode.generic.ICONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitICONST in interface de.fub.bytecode.generic.Visitor
Overrides:
visitICONST in class de.fub.bytecode.generic.EmptyVisitor

visitIDIV

public void visitIDIV(de.fub.bytecode.generic.IDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIDIV in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIDIV in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ACMPEQ

public void visitIF_ACMPEQ(de.fub.bytecode.generic.IF_ACMPEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ACMPEQ in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ACMPEQ in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ACMPNE

public void visitIF_ACMPNE(de.fub.bytecode.generic.IF_ACMPNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ACMPNE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ACMPNE in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPEQ

public void visitIF_ICMPEQ(de.fub.bytecode.generic.IF_ICMPEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPEQ in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPEQ in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPGE

public void visitIF_ICMPGE(de.fub.bytecode.generic.IF_ICMPGE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPGE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPGE in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPGT

public void visitIF_ICMPGT(de.fub.bytecode.generic.IF_ICMPGT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPGT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPGT in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPLE

public void visitIF_ICMPLE(de.fub.bytecode.generic.IF_ICMPLE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPLE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPLE in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPLT

public void visitIF_ICMPLT(de.fub.bytecode.generic.IF_ICMPLT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPLT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPLT in class de.fub.bytecode.generic.EmptyVisitor

visitIF_ICMPNE

public void visitIF_ICMPNE(de.fub.bytecode.generic.IF_ICMPNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIF_ICMPNE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIF_ICMPNE in class de.fub.bytecode.generic.EmptyVisitor

visitIFEQ

public void visitIFEQ(de.fub.bytecode.generic.IFEQ o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFEQ in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFEQ in class de.fub.bytecode.generic.EmptyVisitor

visitIFGE

public void visitIFGE(de.fub.bytecode.generic.IFGE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFGE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFGE in class de.fub.bytecode.generic.EmptyVisitor

visitIFGT

public void visitIFGT(de.fub.bytecode.generic.IFGT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFGT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFGT in class de.fub.bytecode.generic.EmptyVisitor

visitIFLE

public void visitIFLE(de.fub.bytecode.generic.IFLE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFLE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFLE in class de.fub.bytecode.generic.EmptyVisitor

visitIFLT

public void visitIFLT(de.fub.bytecode.generic.IFLT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFLT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFLT in class de.fub.bytecode.generic.EmptyVisitor

visitIFNE

public void visitIFNE(de.fub.bytecode.generic.IFNE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFNE in class de.fub.bytecode.generic.EmptyVisitor

visitIFNONNULL

public void visitIFNONNULL(de.fub.bytecode.generic.IFNONNULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNONNULL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFNONNULL in class de.fub.bytecode.generic.EmptyVisitor

visitIFNULL

public void visitIFNULL(de.fub.bytecode.generic.IFNULL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIFNULL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIFNULL in class de.fub.bytecode.generic.EmptyVisitor

visitIINC

public void visitIINC(de.fub.bytecode.generic.IINC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIINC in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIINC in class de.fub.bytecode.generic.EmptyVisitor

visitILOAD

public void visitILOAD(de.fub.bytecode.generic.ILOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitILOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitILOAD in class de.fub.bytecode.generic.EmptyVisitor

visitIMPDEP1

public void visitIMPDEP1(de.fub.bytecode.generic.IMPDEP1 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMPDEP1 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIMPDEP1 in class de.fub.bytecode.generic.EmptyVisitor

visitIMPDEP2

public void visitIMPDEP2(de.fub.bytecode.generic.IMPDEP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMPDEP2 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIMPDEP2 in class de.fub.bytecode.generic.EmptyVisitor

visitIMUL

public void visitIMUL(de.fub.bytecode.generic.IMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIMUL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIMUL in class de.fub.bytecode.generic.EmptyVisitor

visitINEG

public void visitINEG(de.fub.bytecode.generic.INEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINEG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINEG in class de.fub.bytecode.generic.EmptyVisitor

visitINSTANCEOF

public void visitINSTANCEOF(de.fub.bytecode.generic.INSTANCEOF o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINSTANCEOF in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINSTANCEOF in class de.fub.bytecode.generic.EmptyVisitor

visitINVOKEINTERFACE

public void visitINVOKEINTERFACE(de.fub.bytecode.generic.INVOKEINTERFACE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKEINTERFACE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINVOKEINTERFACE in class de.fub.bytecode.generic.EmptyVisitor

visitINVOKESPECIAL

public void visitINVOKESPECIAL(de.fub.bytecode.generic.INVOKESPECIAL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKESPECIAL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINVOKESPECIAL in class de.fub.bytecode.generic.EmptyVisitor

visitINVOKESTATIC

public void visitINVOKESTATIC(de.fub.bytecode.generic.INVOKESTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKESTATIC in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINVOKESTATIC in class de.fub.bytecode.generic.EmptyVisitor

visitINVOKEVIRTUAL

public void visitINVOKEVIRTUAL(de.fub.bytecode.generic.INVOKEVIRTUAL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitINVOKEVIRTUAL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitINVOKEVIRTUAL in class de.fub.bytecode.generic.EmptyVisitor

visitIOR

public void visitIOR(de.fub.bytecode.generic.IOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIOR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIOR in class de.fub.bytecode.generic.EmptyVisitor

visitIREM

public void visitIREM(de.fub.bytecode.generic.IREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIREM in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIREM in class de.fub.bytecode.generic.EmptyVisitor

visitIRETURN

public void visitIRETURN(de.fub.bytecode.generic.IRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIRETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIRETURN in class de.fub.bytecode.generic.EmptyVisitor

visitISHL

public void visitISHL(de.fub.bytecode.generic.ISHL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISHL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitISHL in class de.fub.bytecode.generic.EmptyVisitor

visitISHR

public void visitISHR(de.fub.bytecode.generic.ISHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISHR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitISHR in class de.fub.bytecode.generic.EmptyVisitor

visitISTORE

public void visitISTORE(de.fub.bytecode.generic.ISTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitISTORE in class de.fub.bytecode.generic.EmptyVisitor

visitISUB

public void visitISUB(de.fub.bytecode.generic.ISUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitISUB in interface de.fub.bytecode.generic.Visitor
Overrides:
visitISUB in class de.fub.bytecode.generic.EmptyVisitor

visitIUSHR

public void visitIUSHR(de.fub.bytecode.generic.IUSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIUSHR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIUSHR in class de.fub.bytecode.generic.EmptyVisitor

visitIXOR

public void visitIXOR(de.fub.bytecode.generic.IXOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitIXOR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitIXOR in class de.fub.bytecode.generic.EmptyVisitor

visitJSR

public void visitJSR(de.fub.bytecode.generic.JSR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitJSR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitJSR in class de.fub.bytecode.generic.EmptyVisitor

visitJSR_W

public void visitJSR_W(de.fub.bytecode.generic.JSR_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitJSR_W in interface de.fub.bytecode.generic.Visitor
Overrides:
visitJSR_W in class de.fub.bytecode.generic.EmptyVisitor

visitL2D

public void visitL2D(de.fub.bytecode.generic.L2D o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2D in interface de.fub.bytecode.generic.Visitor
Overrides:
visitL2D in class de.fub.bytecode.generic.EmptyVisitor

visitL2F

public void visitL2F(de.fub.bytecode.generic.L2F o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2F in interface de.fub.bytecode.generic.Visitor
Overrides:
visitL2F in class de.fub.bytecode.generic.EmptyVisitor

visitL2I

public void visitL2I(de.fub.bytecode.generic.L2I o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitL2I in interface de.fub.bytecode.generic.Visitor
Overrides:
visitL2I in class de.fub.bytecode.generic.EmptyVisitor

visitLADD

public void visitLADD(de.fub.bytecode.generic.LADD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLADD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLADD in class de.fub.bytecode.generic.EmptyVisitor

visitLALOAD

public void visitLALOAD(de.fub.bytecode.generic.LALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitLAND

public void visitLAND(de.fub.bytecode.generic.LAND o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLAND in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLAND in class de.fub.bytecode.generic.EmptyVisitor

visitLASTORE

public void visitLASTORE(de.fub.bytecode.generic.LASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitLCMP

public void visitLCMP(de.fub.bytecode.generic.LCMP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLCMP in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLCMP in class de.fub.bytecode.generic.EmptyVisitor

visitLCONST

public void visitLCONST(de.fub.bytecode.generic.LCONST o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLCONST in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLCONST in class de.fub.bytecode.generic.EmptyVisitor

visitLDC

public void visitLDC(de.fub.bytecode.generic.LDC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLDC in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLDC in class de.fub.bytecode.generic.EmptyVisitor

visitLDC_W

public void visitLDC_W(de.fub.bytecode.generic.LDC_W o)
Ensures the specific preconditions of the said instruction.

visitLDC2_W

public void visitLDC2_W(de.fub.bytecode.generic.LDC2_W o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLDC2_W in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLDC2_W in class de.fub.bytecode.generic.EmptyVisitor

visitLDIV

public void visitLDIV(de.fub.bytecode.generic.LDIV o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLDIV in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLDIV in class de.fub.bytecode.generic.EmptyVisitor

visitLLOAD

public void visitLLOAD(de.fub.bytecode.generic.LLOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLLOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLLOAD in class de.fub.bytecode.generic.EmptyVisitor

visitLMUL

public void visitLMUL(de.fub.bytecode.generic.LMUL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLMUL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLMUL in class de.fub.bytecode.generic.EmptyVisitor

visitLNEG

public void visitLNEG(de.fub.bytecode.generic.LNEG o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLNEG in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLNEG in class de.fub.bytecode.generic.EmptyVisitor

visitLOOKUPSWITCH

public void visitLOOKUPSWITCH(de.fub.bytecode.generic.LOOKUPSWITCH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLOOKUPSWITCH in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLOOKUPSWITCH in class de.fub.bytecode.generic.EmptyVisitor

visitLOR

public void visitLOR(de.fub.bytecode.generic.LOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLOR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLOR in class de.fub.bytecode.generic.EmptyVisitor

visitLREM

public void visitLREM(de.fub.bytecode.generic.LREM o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLREM in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLREM in class de.fub.bytecode.generic.EmptyVisitor

visitLRETURN

public void visitLRETURN(de.fub.bytecode.generic.LRETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLRETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLRETURN in class de.fub.bytecode.generic.EmptyVisitor

visitLSHL

public void visitLSHL(de.fub.bytecode.generic.LSHL o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSHL in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLSHL in class de.fub.bytecode.generic.EmptyVisitor

visitLSHR

public void visitLSHR(de.fub.bytecode.generic.LSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSHR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLSHR in class de.fub.bytecode.generic.EmptyVisitor

visitLSTORE

public void visitLSTORE(de.fub.bytecode.generic.LSTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLSTORE in class de.fub.bytecode.generic.EmptyVisitor

visitLSUB

public void visitLSUB(de.fub.bytecode.generic.LSUB o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLSUB in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLSUB in class de.fub.bytecode.generic.EmptyVisitor

visitLUSHR

public void visitLUSHR(de.fub.bytecode.generic.LUSHR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLUSHR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLUSHR in class de.fub.bytecode.generic.EmptyVisitor

visitLXOR

public void visitLXOR(de.fub.bytecode.generic.LXOR o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitLXOR in interface de.fub.bytecode.generic.Visitor
Overrides:
visitLXOR in class de.fub.bytecode.generic.EmptyVisitor

visitMONITORENTER

public void visitMONITORENTER(de.fub.bytecode.generic.MONITORENTER o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMONITORENTER in interface de.fub.bytecode.generic.Visitor
Overrides:
visitMONITORENTER in class de.fub.bytecode.generic.EmptyVisitor

visitMONITOREXIT

public void visitMONITOREXIT(de.fub.bytecode.generic.MONITOREXIT o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMONITOREXIT in interface de.fub.bytecode.generic.Visitor
Overrides:
visitMONITOREXIT in class de.fub.bytecode.generic.EmptyVisitor

visitMULTIANEWARRAY

public void visitMULTIANEWARRAY(de.fub.bytecode.generic.MULTIANEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitMULTIANEWARRAY in interface de.fub.bytecode.generic.Visitor
Overrides:
visitMULTIANEWARRAY in class de.fub.bytecode.generic.EmptyVisitor

visitNEW

public void visitNEW(de.fub.bytecode.generic.NEW o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNEW in interface de.fub.bytecode.generic.Visitor
Overrides:
visitNEW in class de.fub.bytecode.generic.EmptyVisitor

visitNEWARRAY

public void visitNEWARRAY(de.fub.bytecode.generic.NEWARRAY o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNEWARRAY in interface de.fub.bytecode.generic.Visitor
Overrides:
visitNEWARRAY in class de.fub.bytecode.generic.EmptyVisitor

visitNOP

public void visitNOP(de.fub.bytecode.generic.NOP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitNOP in interface de.fub.bytecode.generic.Visitor
Overrides:
visitNOP in class de.fub.bytecode.generic.EmptyVisitor

visitPOP

public void visitPOP(de.fub.bytecode.generic.POP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPOP in interface de.fub.bytecode.generic.Visitor
Overrides:
visitPOP in class de.fub.bytecode.generic.EmptyVisitor

visitPOP2

public void visitPOP2(de.fub.bytecode.generic.POP2 o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPOP2 in interface de.fub.bytecode.generic.Visitor
Overrides:
visitPOP2 in class de.fub.bytecode.generic.EmptyVisitor

visitPUTFIELD

public void visitPUTFIELD(de.fub.bytecode.generic.PUTFIELD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPUTFIELD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitPUTFIELD in class de.fub.bytecode.generic.EmptyVisitor

visitPUTSTATIC

public void visitPUTSTATIC(de.fub.bytecode.generic.PUTSTATIC o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitPUTSTATIC in interface de.fub.bytecode.generic.Visitor
Overrides:
visitPUTSTATIC in class de.fub.bytecode.generic.EmptyVisitor

visitRET

public void visitRET(de.fub.bytecode.generic.RET o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitRET in interface de.fub.bytecode.generic.Visitor
Overrides:
visitRET in class de.fub.bytecode.generic.EmptyVisitor

visitRETURN

public void visitRETURN(de.fub.bytecode.generic.RETURN o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitRETURN in interface de.fub.bytecode.generic.Visitor
Overrides:
visitRETURN in class de.fub.bytecode.generic.EmptyVisitor

visitSALOAD

public void visitSALOAD(de.fub.bytecode.generic.SALOAD o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSALOAD in interface de.fub.bytecode.generic.Visitor
Overrides:
visitSALOAD in class de.fub.bytecode.generic.EmptyVisitor

visitSASTORE

public void visitSASTORE(de.fub.bytecode.generic.SASTORE o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSASTORE in interface de.fub.bytecode.generic.Visitor
Overrides:
visitSASTORE in class de.fub.bytecode.generic.EmptyVisitor

visitSIPUSH

public void visitSIPUSH(de.fub.bytecode.generic.SIPUSH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSIPUSH in interface de.fub.bytecode.generic.Visitor
Overrides:
visitSIPUSH in class de.fub.bytecode.generic.EmptyVisitor

visitSWAP

public void visitSWAP(de.fub.bytecode.generic.SWAP o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitSWAP in interface de.fub.bytecode.generic.Visitor
Overrides:
visitSWAP in class de.fub.bytecode.generic.EmptyVisitor

visitTABLESWITCH

public void visitTABLESWITCH(de.fub.bytecode.generic.TABLESWITCH o)
Ensures the specific preconditions of the said instruction.
Specified by:
visitTABLESWITCH in interface de.fub.bytecode.generic.Visitor
Overrides:
visitTABLESWITCH in class de.fub.bytecode.generic.EmptyVisitor
Overview  Package   Class  Tree  Deprecated  Index  Help 
(c) Enver Haase 2001, released under the FSF's "GPL version 2" license.
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD