Package de.uzl.its.swat.symbolic.instruction

Interface IVisitor

All Known Implementing Classes:
SymbolicInstructionVisitor
public interface IVisitor

  • Method Details

    • visitAALOAD

      void visitAALOAD(AALOAD inst)

    • visitAASTORE

      void visitAASTORE(AASTORE inst)

    • visitACONST_NULL

      void visitACONST_NULL(ACONST_NULL inst)

    • visitALOAD

      void visitALOAD(ALOAD inst)

    • visitANEWARRAY

      void visitANEWARRAY(ANEWARRAY inst)

    • visitARETURN

      void visitARETURN(ARETURN inst)

    • visitARRAYLENGTH

      void visitARRAYLENGTH(ARRAYLENGTH inst)

    • visitASTORE

      void visitASTORE(ASTORE inst)

    • visitATHROW

      void visitATHROW(ATHROW inst)

    • visitBALOAD

      void visitBALOAD(BALOAD inst)

    • visitBASTORE

      void visitBASTORE(BASTORE inst)

    • visitBIPUSH

      void visitBIPUSH(BIPUSH inst)

    • visitCALOAD

      void visitCALOAD(CALOAD inst)

    • visitCASTORE

      void visitCASTORE(CASTORE inst)

    • visitCHECKCAST

      void visitCHECKCAST(CHECKCAST inst)

    • visitD2F

      void visitD2F(D2F inst)

    • visitD2I

      void visitD2I(D2I inst)

    • visitD2L

      void visitD2L(D2L inst)

    • visitDADD

      void visitDADD(DADD inst)

    • visitDALOAD

      void visitDALOAD(DALOAD inst)

    • visitDASTORE

      void visitDASTORE(DASTORE inst)

    • visitDCMPG

      void visitDCMPG(DCMPG inst)

    • visitDCMPL

      void visitDCMPL(DCMPL inst)

    • visitDCONST_0

      void visitDCONST_0(DCONST_0 inst)

    • visitDCONST_1

      void visitDCONST_1(DCONST_1 inst)

    • visitDDIV

      void visitDDIV(DDIV inst)

    • visitDLOAD

      void visitDLOAD(DLOAD inst)

    • visitDMUL

      void visitDMUL(DMUL inst)

    • visitDNEG

      void visitDNEG(DNEG inst)

    • visitDREM

      void visitDREM(DREM inst)

    • visitDRETURN

      void visitDRETURN(DRETURN inst)

    • visitDSTORE

      void visitDSTORE(DSTORE inst)

    • visitDSUB

      void visitDSUB(DSUB inst)

    • visitDUP

      void visitDUP(DUP inst)

    • visitDUP2

      void visitDUP2(DUP2 inst)

    • visitDUP2_X1

      void visitDUP2_X1(DUP2_X1 inst)

    • visitDUP2_X2

      void visitDUP2_X2(DUP2_X2 inst)

    • visitDUP_X1

      void visitDUP_X1(DUP_X1 inst)

    • visitDUP_X2

      void visitDUP_X2(DUP_X2 inst)

    • visitF2D

      void visitF2D(F2D inst)

    • visitF2I

      void visitF2I(F2I inst)

    • visitF2L

      void visitF2L(F2L inst)

    • visitFADD

      void visitFADD(FADD inst)

    • visitFALOAD

      void visitFALOAD(FALOAD inst)

    • visitFASTORE

      void visitFASTORE(FASTORE inst)

    • visitFCMPG

      void visitFCMPG(FCMPG inst)

    • visitFCMPL

      void visitFCMPL(FCMPL inst)

    • visitFCONST_0

      void visitFCONST_0(FCONST_0 inst)

    • visitFCONST_1

      void visitFCONST_1(FCONST_1 inst)

    • visitFCONST_2

      void visitFCONST_2(FCONST_2 inst)

    • visitFDIV

      void visitFDIV(FDIV inst)

    • visitFLOAD

      void visitFLOAD(FLOAD inst)

    • visitFMUL

      void visitFMUL(FMUL inst)

    • visitFNEG

      void visitFNEG(FNEG inst)

    • visitFREM

      void visitFREM(FREM inst)

    • visitFRETURN

      void visitFRETURN(FRETURN inst)

    • visitFSTORE

      void visitFSTORE(FSTORE inst)

    • visitFSUB

      void visitFSUB(FSUB inst)

    • visitGETFIELD

      void visitGETFIELD(GETFIELD inst)

    • visitGETSTATIC

      void visitGETSTATIC(GETSTATIC inst)

    • visitGETVALUE_Object

      void visitGETVALUE_Object(GETVALUE_Object<?> inst)

    • visitGETVALUE_boolean

      void visitGETVALUE_boolean(GETVALUE_boolean inst)

    • visitGETVALUE_byte

      void visitGETVALUE_byte(GETVALUE_byte inst)

    • visitGETVALUE_char

      void visitGETVALUE_char(GETVALUE_char inst)

    • visitGETVALUE_double

      void visitGETVALUE_double(GETVALUE_double inst)

    • visitGETVALUE_float

      void visitGETVALUE_float(GETVALUE_float inst)

    • visitGETVALUE_int

      void visitGETVALUE_int(GETVALUE_int inst)

    • visitGETVALUE_long

      void visitGETVALUE_long(GETVALUE_long inst)

    • visitGETVALUE_short

      void visitGETVALUE_short(GETVALUE_short inst)

    • visitGETVALUE_void

      void visitGETVALUE_void(GETVALUE_void inst)

    • visitGOTO

      void visitGOTO(GOTO inst)

    • visitI2B

      void visitI2B(I2B inst)

    • visitI2C

      void visitI2C(I2C inst)

    • visitI2D

      void visitI2D(I2D inst)

    • visitI2F

      void visitI2F(I2F inst)

    • visitI2L

      void visitI2L(I2L inst)

    • visitI2S

      void visitI2S(I2S inst)

    • visitIADD

      void visitIADD(IADD inst)

    • visitIALOAD

      void visitIALOAD(IALOAD inst)

    • visitIAND

      void visitIAND(IAND inst)

    • visitIASTORE

      void visitIASTORE(IASTORE inst)

    • visitICONST_0

      void visitICONST_0(ICONST_0 inst)

    • visitICONST_1

      void visitICONST_1(ICONST_1 inst)

    • visitICONST_2

      void visitICONST_2(ICONST_2 inst)

    • visitICONST_3

      void visitICONST_3(ICONST_3 inst)

    • visitICONST_4

      void visitICONST_4(ICONST_4 inst)

    • visitICONST_5

      void visitICONST_5(ICONST_5 inst)

    • visitICONST_M1

      void visitICONST_M1(ICONST_M1 inst)

    • visitIDIV

      void visitIDIV(IDIV inst)

    • visitIFEQ

      void visitIFEQ(IFEQ inst)

    • visitIFGE

      void visitIFGE(IFGE inst)

    • visitIFGT

      void visitIFGT(IFGT inst)

    • visitIFLE

      void visitIFLE(IFLE inst)

    • visitIFLT

      void visitIFLT(IFLT inst)

    • visitIFNE

      void visitIFNE(IFNE inst)

    • visitIFNONNULL

      void visitIFNONNULL(IFNONNULL inst)

    • visitIFNULL

      void visitIFNULL(IFNULL inst)

    • visitIF_ACMPEQ

      void visitIF_ACMPEQ(IF_ACMPEQ inst)

    • visitIF_ACMPNE

      void visitIF_ACMPNE(IF_ACMPNE inst)

    • visitIF_ICMPEQ

      void visitIF_ICMPEQ(IF_ICMPEQ inst)

    • visitIF_ICMPGE

      void visitIF_ICMPGE(IF_ICMPGE inst)

    • visitIF_ICMPGT

      void visitIF_ICMPGT(IF_ICMPGT inst)

    • visitIF_ICMPLE

      void visitIF_ICMPLE(IF_ICMPLE inst)

    • visitIF_ICMPLT

      void visitIF_ICMPLT(IF_ICMPLT inst)

    • visitIF_ICMPNE

      void visitIF_ICMPNE(IF_ICMPNE inst)

    • visitIINC

      void visitIINC(IINC inst)

    • visitILOAD

      void visitILOAD(ILOAD inst)

    • visitIMUL

      void visitIMUL(IMUL inst)

    • visitINEG

      void visitINEG(INEG inst)

    • visitINSTANCEOF

      void visitINSTANCEOF(INSTANCEOF inst)

    • visitINVOKEDYNAMIC

      void visitINVOKEDYNAMIC(INVOKEDYNAMIC inst)

    • visitINVOKEINTERFACE

      void visitINVOKEINTERFACE(INVOKEINTERFACE inst)

    • visitINVOKEMETHOD_EXCEPTION

      void visitINVOKEMETHOD_EXCEPTION(INVOKEMETHOD_EXCEPTION inst)

    • visitINVOKESPECIAL

      void visitINVOKESPECIAL(INVOKESPECIAL inst)

    • visitINVOKESTATIC

      void visitINVOKESTATIC(INVOKESTATIC inst)

    • visitINVOKEVIRTUAL

      void visitINVOKEVIRTUAL(INVOKEVIRTUAL inst)

    • visitIOR

      void visitIOR(IOR inst)

    • visitIREM

      void visitIREM(IREM inst)

    • visitIRETURN

      void visitIRETURN(IRETURN inst)

    • visitISHL

      void visitISHL(ISHL inst)

    • visitISHR

      void visitISHR(ISHR inst)

    • visitISTORE

      void visitISTORE(ISTORE inst)

    • visitISUB

      void visitISUB(ISUB inst)

    • visitIUSHR

      void visitIUSHR(IUSHR inst)

    • visitIXOR

      void visitIXOR(IXOR inst)

    • visitJSR

      void visitJSR(JSR inst)

    • visitL2D

      void visitL2D(L2D inst)

    • visitL2F

      void visitL2F(L2F inst)

    • visitL2I

      void visitL2I(L2I inst)

    • visitLADD

      void visitLADD(LADD inst)

    • visitLALOAD

      void visitLALOAD(LALOAD inst)

    • visitLAND

      void visitLAND(LAND inst)

    • visitLASTORE

      void visitLASTORE(LASTORE inst)

    • visitLCMP

      void visitLCMP(LCMP inst)

    • visitLCONST_0

      void visitLCONST_0(LCONST_0 inst)

    • visitLCONST_1

      void visitLCONST_1(LCONST_1 inst)

    • visitLDC_String

      void visitLDC_String(LDC_String inst)

    • visitLDC_double

      void visitLDC_double(LDC_double inst)

    • visitLDC_float

      void visitLDC_float(LDC_float inst)

    • visitLDC_int

      void visitLDC_int(LDC_int inst)

    • visitLDC_long

      void visitLDC_long(LDC_long inst)

    • visitLDC_Object

      void visitLDC_Object(LDC_Object inst)

    • visitLDIV

      void visitLDIV(LDIV inst)

    • visitLLOAD

      void visitLLOAD(LLOAD inst)

    • visitLMUL

      void visitLMUL(LMUL inst)

    • visitLNEG

      void visitLNEG(LNEG inst)

    • visitLOOKUPSWITCH

      void visitLOOKUPSWITCH(LOOKUPSWITCH inst)

    • visitLOR

      void visitLOR(LOR inst)

    • visitLREM

      void visitLREM(LREM inst)

    • visitLRETURN

      void visitLRETURN(LRETURN inst)

    • visitLSHL

      void visitLSHL(LSHL inst)

    • visitLSHR

      void visitLSHR(LSHR inst)

    • visitLSTORE

      void visitLSTORE(LSTORE inst)

    • visitLSUB

      void visitLSUB(LSUB inst)

    • visitLUSHR

      void visitLUSHR(LUSHR inst)

    • visitLXOR

      void visitLXOR(LXOR inst)

    • visitMONITORENTER

      void visitMONITORENTER(MONITORENTER inst)

    • visitMONITOREXIT

      void visitMONITOREXIT(MONITOREXIT inst)

    • visitMULTIANEWARRAY

      void visitMULTIANEWARRAY(MULTIANEWARRAY inst)

    • visitNEW

      void visitNEW(NEW inst)

    • visitNEWARRAY

      void visitNEWARRAY(NEWARRAY inst)

    • visitNOP

      void visitNOP(NOP inst)

    • visitPOP

      void visitPOP(POP inst)

    • visitPOP2

      void visitPOP2(POP2 inst)

    • visitPUTFIELD

      void visitPUTFIELD(PUTFIELD inst)

    • visitPUTSTATIC

      void visitPUTSTATIC(PUTSTATIC inst)

    • visitRET

      void visitRET(RET inst)

    • visitRETURN

      void visitRETURN(RETURN inst)

    • visitSALOAD

      void visitSALOAD(SALOAD inst)

    • visitSASTORE

      void visitSASTORE(SASTORE inst)

    • visitSIPUSH

      void visitSIPUSH(SIPUSH inst)

    • visitSWAP

      void visitSWAP(SWAP inst)

    • visitTABLESWITCH

      void visitTABLESWITCH(TABLESWITCH inst)

    • visitINVOKEMETHOD_END

      void visitINVOKEMETHOD_END(INVOKEMETHOD_END inst)

    • visitMAKE_SYMBOLIC

      void visitMAKE_SYMBOLIC(MAKE_SYMBOLIC inst)

    • visitLOOP_BEGIN

      void visitLOOP_BEGIN(LOOP_BEGIN inst)

    • visitLOOP_END

      void visitLOOP_END(LOOP_END inst)

    • visitSPECIAL

      void visitSPECIAL(SPECIAL inst)

    • setNext

      void setNext(Instruction next)