public class ReaderInvariantVisitor extends InvariantVisitor
NONE| Constructor and Description |
|---|
ReaderInvariantVisitor() |
| Modifier and Type | Method and Description |
|---|---|
None |
visitBranch(Branch branch,
None ctx) |
checkInvariants, isAssignableTo, isCastableTo, visitArrayElementReference, visitArrayLen, visitBlock, visitBlockContainer, visitCheckCast, visitContinue, visitDefault, visitFieldDecl, visitIfInstruction, visitInvoke, visitLeave, visitLocalReference, visitLocalVariable, visitNew, visitReturn, visitStore, visitSwitch, visitSwitchSection, visitSwitchTable, visitTernary, visitYieldvisitAssert, 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 None visitBranch(Branch branch, None ctx)
visitBranch in class InvariantVisitor