net.covers1624.coffeegrinder.bytecode

Class InvariantVisitor

java.lang.Object

net.covers1624.coffeegrinder.bytecode.InsnVisitor<None,C>

net.covers1624.coffeegrinder.bytecode.SimpleInsnVisitor<None>

net.covers1624.coffeegrinder.bytecode.InvariantVisitor

Direct Known Subclasses:

ReaderInvariantVisitor

public class InvariantVisitor
extends SimpleInsnVisitor<None>

Created by covers1624 on 18/1/22.

Field Summary

Fields inherited from class net.covers1624.coffeegrinder.bytecode.SimpleInsnVisitor

NONE

Constructor Summary

Constructors

Constructor and Description
InvariantVisitor()

Method Summary

Modifier and Type	Method and Description
static void	checkInvariants(Instruction insn)
boolean	isAssignableTo(AType from, AType to)
boolean	isCastableTo(ReferenceType from, ReferenceType to)
None	visitArrayElementReference(ArrayElementReference elemRef, None ctx)
None	visitArrayLen(ArrayLen arrayLen, None ctx)
None	visitBlock(Block block, None ctx)
None	visitBlockContainer(BlockContainer container, None ctx)
None	visitBranch(Branch branch, None ctx)
None	visitCheckCast(Cast cast, None ctx)
None	visitContinue(Continue cont, None ctx)
None	visitDefault(Instruction insn, None ctx)
None	visitFieldDecl(FieldDecl fieldDecl, None ctx)
None	visitIfInstruction(IfInstruction ifInsn, None ctx)
None	visitInvoke(Invoke invoke, None ctx)
None	visitLeave(Leave leave, None ctx)
None	visitLocalReference(LocalReference localRef, None ctx)
None	visitLocalVariable(LocalVariable localVariable, None ctx)
None	visitNew(New newInsn, None ctx)
None	visitReturn(Return ret, None ctx)
None	visitStore(Store store, None ctx)
None	visitSwitch(Switch switchInsn, None ctx)
None	visitSwitchSection(SwitchTable.SwitchSection switchSection, None ctx)
None	visitSwitchTable(SwitchTable switchTable, None ctx)
None	visitTernary(Ternary ternary, None ctx)
None	visitYield(Yield yield, None ctx)

Methods inherited from class net.covers1624.coffeegrinder.bytecode.InsnVisitor

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, visitWhileLoop

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InvariantVisitor

public InvariantVisitor()

Method Detail

checkInvariants

public static void checkInvariants(Instruction insn)

visitDefault

public None visitDefault(Instruction insn,
                         None ctx)

Overrides:

visitDefault in class SimpleInsnVisitor<None>

visitArrayElementReference

public None visitArrayElementReference(ArrayElementReference elemRef,
                                       None ctx)

Overrides:

visitArrayElementReference in class InsnVisitor<None,None>

visitArrayLen

public None visitArrayLen(ArrayLen arrayLen,
                          None ctx)

Overrides:

visitArrayLen in class InsnVisitor<None,None>

visitBlock

public None visitBlock(Block block,
                       None ctx)

Overrides:

visitBlock in class InsnVisitor<None,None>

visitBlockContainer

public None visitBlockContainer(BlockContainer container,
                                None ctx)

Overrides:

visitBlockContainer in class InsnVisitor<None,None>

visitBranch

public None visitBranch(Branch branch,
                        None ctx)

Overrides:

visitBranch in class InsnVisitor<None,None>

visitCheckCast

public None visitCheckCast(Cast cast,
                           None ctx)

Overrides:

visitCheckCast in class InsnVisitor<None,None>

visitContinue

public None visitContinue(Continue cont,
                          None ctx)

Overrides:

visitContinue in class InsnVisitor<None,None>

visitFieldDecl

public None visitFieldDecl(FieldDecl fieldDecl,
                           None ctx)

Overrides:

visitFieldDecl in class InsnVisitor<None,None>

visitIfInstruction

public None visitIfInstruction(IfInstruction ifInsn,
                               None ctx)

Overrides:

visitIfInstruction in class InsnVisitor<None,None>

visitLocalVariable

public None visitLocalVariable(LocalVariable localVariable,
                               None ctx)

Overrides:

visitLocalVariable in class InsnVisitor<None,None>

visitInvoke

public None visitInvoke(Invoke invoke,
                        None ctx)

Overrides:

visitInvoke in class InsnVisitor<None,None>

visitLeave

public None visitLeave(Leave leave,
                       None ctx)

Overrides:

visitLeave in class InsnVisitor<None,None>

visitLocalReference

public None visitLocalReference(LocalReference localRef,
                                None ctx)

Overrides:

visitLocalReference in class InsnVisitor<None,None>

visitNew

public None visitNew(New newInsn,
                     None ctx)

Overrides:

visitNew in class InsnVisitor<None,None>

visitReturn

public None visitReturn(Return ret,
                        None ctx)

Overrides:

visitReturn in class InsnVisitor<None,None>

visitStore

public None visitStore(Store store,
                       None ctx)

Overrides:

visitStore in class InsnVisitor<None,None>

visitSwitch

public None visitSwitch(Switch switchInsn,
                        None ctx)

Overrides:

visitSwitch in class InsnVisitor<None,None>

visitSwitchTable

public None visitSwitchTable(SwitchTable switchTable,
                             None ctx)

Overrides:

visitSwitchTable in class InsnVisitor<None,None>

visitSwitchSection

public None visitSwitchSection(SwitchTable.SwitchSection switchSection,
                               None ctx)

Overrides:

visitSwitchSection in class InsnVisitor<None,None>

visitTernary

public None visitTernary(Ternary ternary,
                         None ctx)

Overrides:

visitTernary in class InsnVisitor<None,None>

visitYield

public None visitYield(Yield yield,
                       None ctx)

Overrides:

visitYield in class InsnVisitor<None,None>

isAssignableTo

public boolean isAssignableTo(AType from,
                              AType to)

isCastableTo

public boolean isCastableTo(ReferenceType from,
                            ReferenceType to)