dk.brics.xact.analysis.soot
Class StmtSwitch

java.lang.Object
  soot.jimple.AbstractStmtSwitch
      dk.brics.xact.analysis.soot.StmtSwitch

All Implemented Interfaces:

StmtSwitch, Switch

public class StmtSwitch
extends AbstractStmtSwitch

Switch for Soot Jimple statements.

When applied to a Jimple statement, one or more flow graph statements are put into the TranslatorContext statement queue.

Constructor Summary

StmtSwitch(TranslatorUtil util, StatementBuilder stm)
Constructs a new statement switch.

Method Summary

void	caseAssignStmt(AssignStmt stmt) Translates an AssignStmt.
void	caseIdentityStmt(IdentityStmt stmt) Translates an IdentityStmt.
void	caseInvokeStmt(InvokeStmt stmt) Translates an InvokeExpr.
void	caseReturnStmt(ReturnStmt stmt) Translates a ReturnStmt.
void	caseReturnVoidStmt(ReturnVoidStmt stmt) Translates a ReturnVoidStmt.
void	defaultCase(Object obj) Translates other statements.

Methods inherited from class soot.jimple.AbstractStmtSwitch

caseBreakpointStmt, caseEnterMonitorStmt, caseExitMonitorStmt, caseGotoStmt, caseIfStmt, caseLookupSwitchStmt, caseNopStmt, caseRetStmt, caseTableSwitchStmt, caseThrowStmt, getResult, setResult

Methods inherited from class java.lang.Object

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

Constructor Detail

StmtSwitch

public StmtSwitch(TranslatorUtil util,
                  StatementBuilder stm)

Constructs a new statement switch.

Method Detail

caseAssignStmt

public void caseAssignStmt(AssignStmt stmt)

Translates an AssignStmt.

Specified by:

caseAssignStmt in interface StmtSwitch

Overrides:

caseAssignStmt in class AbstractStmtSwitch

caseIdentityStmt

public void caseIdentityStmt(IdentityStmt stmt)

Translates an IdentityStmt.

Specified by:

caseIdentityStmt in interface StmtSwitch

Overrides:

caseIdentityStmt in class AbstractStmtSwitch

caseInvokeStmt

public void caseInvokeStmt(InvokeStmt stmt)

Translates an InvokeExpr.

Specified by:

caseInvokeStmt in interface StmtSwitch

Overrides:

caseInvokeStmt in class AbstractStmtSwitch

caseReturnStmt

public void caseReturnStmt(ReturnStmt stmt)

Translates a ReturnStmt.

Specified by:

caseReturnStmt in interface StmtSwitch

Overrides:

caseReturnStmt in class AbstractStmtSwitch

caseReturnVoidStmt

public void caseReturnVoidStmt(ReturnVoidStmt stmt)

Translates a ReturnVoidStmt.

Specified by:

caseReturnVoidStmt in interface StmtSwitch

Overrides:

caseReturnVoidStmt in class AbstractStmtSwitch

defaultCase

public void defaultCase(Object obj)

Translates other statements. These simply become NopStms.

Specified by:

defaultCase in interface StmtSwitch

Overrides:

defaultCase in class AbstractStmtSwitch