public class InvariantVisitor extends SimpleInsnVisitor<None>
NONE| Constructor and Description |
|---|
InvariantVisitor() |
visitAssert, visitBinary, visitClassDecl, visitCompare, visitComparison, visitCompoundAssignment, visitDeadCode, visitDoWhileLoop, visitFieldReference, visitForEachLoop, visitForLoop, visitInstanceOf, visitInvokeDynamic, visitLdcBoolean, visitLdcChar, visitLdcClass, visitLdcNull, visitLdcNumber, visitLdcString, visitLoad, visitLoadThis, visitLogicAnd, visitLogicNot, visitLogicOr, visitMethodDecl, visitMethodReference, visitMonitor, visitNewArray, visitNewObject, visitNop, visitPostIncrement, visitSynchronized, visitThrow, visitTryCatch, visitTryCatchHandler, visitTryFinally, visitTryWithResources, visitWhileLooppublic static void checkInvariants(Instruction insn)
public None visitDefault(Instruction insn, None ctx)
visitDefault in class SimpleInsnVisitor<None>public None visitArrayElementReference(ArrayElementReference elemRef, None ctx)
visitArrayElementReference in class InsnVisitor<None,None>public None visitArrayLen(ArrayLen arrayLen, None ctx)
visitArrayLen in class InsnVisitor<None,None>public None visitBlock(Block block, None ctx)
visitBlock in class InsnVisitor<None,None>public None visitBlockContainer(BlockContainer container, None ctx)
visitBlockContainer in class InsnVisitor<None,None>public None visitBranch(Branch branch, None ctx)
visitBranch in class InsnVisitor<None,None>public None visitCheckCast(Cast cast, None ctx)
visitCheckCast in class InsnVisitor<None,None>public None visitContinue(Continue cont, None ctx)
visitContinue in class InsnVisitor<None,None>public None visitFieldDecl(FieldDecl fieldDecl, None ctx)
visitFieldDecl in class InsnVisitor<None,None>public None visitIfInstruction(IfInstruction ifInsn, None ctx)
visitIfInstruction in class InsnVisitor<None,None>public None visitLocalVariable(LocalVariable localVariable, None ctx)
visitLocalVariable in class InsnVisitor<None,None>public None visitInvoke(Invoke invoke, None ctx)
visitInvoke in class InsnVisitor<None,None>public None visitLeave(Leave leave, None ctx)
visitLeave in class InsnVisitor<None,None>public None visitLocalReference(LocalReference localRef, None ctx)
visitLocalReference in class InsnVisitor<None,None>public None visitNew(New newInsn, None ctx)
visitNew in class InsnVisitor<None,None>public None visitReturn(Return ret, None ctx)
visitReturn in class InsnVisitor<None,None>public None visitStore(Store store, None ctx)
visitStore in class InsnVisitor<None,None>public None visitSwitch(Switch switchInsn, None ctx)
visitSwitch in class InsnVisitor<None,None>public None visitSwitchTable(SwitchTable switchTable, None ctx)
visitSwitchTable in class InsnVisitor<None,None>public None visitSwitchSection(SwitchTable.SwitchSection switchSection, None ctx)
visitSwitchSection in class InsnVisitor<None,None>public None visitTernary(Ternary ternary, None ctx)
visitTernary in class InsnVisitor<None,None>public None visitYield(Yield yield, None ctx)
visitYield in class InsnVisitor<None,None>public boolean isCastableTo(ReferenceType from, ReferenceType to)