soot.jimple.toolkits.typing.fast
Class UseChecker
java.lang.Object
soot.jimple.AbstractStmtSwitch
soot.jimple.toolkits.typing.fast.UseChecker
- All Implemented Interfaces:
- StmtSwitch, Switch
public class UseChecker
- extends AbstractStmtSwitch
This checks all uses against the rules in Jimple, except some uses are not
checked where the bytecode verifier guarantees use validity.
- Author:
- Ben Bellamy
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UseChecker
public UseChecker(JimpleBody jb)
check
public void check(Typing tg,
IUseVisitor uv)
caseBreakpointStmt
public void caseBreakpointStmt(BreakpointStmt stmt)
- Specified by:
caseBreakpointStmt
in interface StmtSwitch
- Overrides:
caseBreakpointStmt
in class AbstractStmtSwitch
caseInvokeStmt
public void caseInvokeStmt(InvokeStmt stmt)
- Specified by:
caseInvokeStmt
in interface StmtSwitch
- Overrides:
caseInvokeStmt
in class AbstractStmtSwitch
caseAssignStmt
public void caseAssignStmt(AssignStmt stmt)
- Specified by:
caseAssignStmt
in interface StmtSwitch
- Overrides:
caseAssignStmt
in class AbstractStmtSwitch
caseIdentityStmt
public void caseIdentityStmt(IdentityStmt stmt)
- Specified by:
caseIdentityStmt
in interface StmtSwitch
- Overrides:
caseIdentityStmt
in class AbstractStmtSwitch
caseEnterMonitorStmt
public void caseEnterMonitorStmt(EnterMonitorStmt stmt)
- Specified by:
caseEnterMonitorStmt
in interface StmtSwitch
- Overrides:
caseEnterMonitorStmt
in class AbstractStmtSwitch
caseExitMonitorStmt
public void caseExitMonitorStmt(ExitMonitorStmt stmt)
- Specified by:
caseExitMonitorStmt
in interface StmtSwitch
- Overrides:
caseExitMonitorStmt
in class AbstractStmtSwitch
caseGotoStmt
public void caseGotoStmt(GotoStmt stmt)
- Specified by:
caseGotoStmt
in interface StmtSwitch
- Overrides:
caseGotoStmt
in class AbstractStmtSwitch
caseIfStmt
public void caseIfStmt(IfStmt stmt)
- Specified by:
caseIfStmt
in interface StmtSwitch
- Overrides:
caseIfStmt
in class AbstractStmtSwitch
caseLookupSwitchStmt
public void caseLookupSwitchStmt(LookupSwitchStmt stmt)
- Specified by:
caseLookupSwitchStmt
in interface StmtSwitch
- Overrides:
caseLookupSwitchStmt
in class AbstractStmtSwitch
caseNopStmt
public void caseNopStmt(NopStmt stmt)
- Specified by:
caseNopStmt
in interface StmtSwitch
- Overrides:
caseNopStmt
in class AbstractStmtSwitch
caseReturnStmt
public void caseReturnStmt(ReturnStmt stmt)
- Specified by:
caseReturnStmt
in interface StmtSwitch
- Overrides:
caseReturnStmt
in class AbstractStmtSwitch
caseReturnVoidStmt
public void caseReturnVoidStmt(ReturnVoidStmt stmt)
- Specified by:
caseReturnVoidStmt
in interface StmtSwitch
- Overrides:
caseReturnVoidStmt
in class AbstractStmtSwitch
caseTableSwitchStmt
public void caseTableSwitchStmt(TableSwitchStmt stmt)
- Specified by:
caseTableSwitchStmt
in interface StmtSwitch
- Overrides:
caseTableSwitchStmt
in class AbstractStmtSwitch
caseThrowStmt
public void caseThrowStmt(ThrowStmt stmt)
- Specified by:
caseThrowStmt
in interface StmtSwitch
- Overrides:
caseThrowStmt
in class AbstractStmtSwitch
defaultCase
public void defaultCase(Stmt stmt)