Package sootup.interceptors.typeresolving

Class TypeChecker

java.lang.Object

sootup.core.jimple.visitor.AbstractStmtVisitor

sootup.interceptors.typeresolving.TypeChecker

All Implemented Interfaces:

StmtVisitor, Visitor

Direct Known Subclasses:

CastCounter, TypePromotionVisitor

public abstract class TypeChecker
extends AbstractStmtVisitor

Field Summary

Fields

Modifier and Type	Field	Description
protected final Body.BodyBuilder	builder
protected final MutableStmtGraph	graph
protected Stmt	result

Constructor Summary

Constructors

Constructor	Description
TypeChecker(@NonNull Body.BodyBuilder builder, @NonNull AugEvalFunction evalFunction, @NonNull BytecodeHierarchy hierarchy)

Method Summary

Modifier and Type	Method	Description
void	caseAssignStmt(@NonNull JAssignStmt stmt)
void	caseEnterMonitorStmt(@NonNull JEnterMonitorStmt stmt)
void	caseExitMonitorStmt(@NonNull JExitMonitorStmt stmt)
void	caseIfStmt(@NonNull JIfStmt stmt)
void	caseInvokeStmt(@NonNull JInvokeStmt stmt)
void	caseReturnStmt(@NonNull JReturnStmt stmt)
void	caseSwitchStmt(@NonNull JSwitchStmt stmt)
void	caseThrowStmt(@NonNull JThrowStmt stmt)
AugEvalFunction	getFuntion()
BytecodeHierarchy	getHierarchy()
Stmt	getResult()
Typing	getTyping()
Type	selectArrayType(@Nullable Type preType, @NonNull Type newType, @NonNull Stmt stmt)
protected void	setResult(Stmt result)
void	setTyping(Typing typing)
abstract void	visit(@NonNull Value value, @NonNull Type stdType, @NonNull Stmt stmt)

Methods inherited from class sootup.core.jimple.visitor.AbstractStmtVisitor

caseBreakpointStmt, caseGotoStmt, caseIdentityStmt, caseNopStmt, caseRetStmt, caseReturnVoidStmt, defaultCaseStmt

Methods inherited from class java.lang.Object

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

Field Details

result

protected Stmt result

builder

protected final Body.BodyBuilder builder

graph

protected final MutableStmtGraph graph

Constructor Details

TypeChecker

public TypeChecker(@NonNull Body.BodyBuilder builder,
 @NonNull AugEvalFunction evalFunction,
 @NonNull BytecodeHierarchy hierarchy)

Method Details

visit

public abstract void visit(@NonNull Value value,
 @NonNull Type stdType,
 @NonNull Stmt stmt)

caseInvokeStmt

public void caseInvokeStmt(@NonNull JInvokeStmt stmt)

Specified by:

caseInvokeStmt in interface StmtVisitor

Overrides:

caseInvokeStmt in class AbstractStmtVisitor

caseAssignStmt

public void caseAssignStmt(@NonNull JAssignStmt stmt)

Specified by:

caseAssignStmt in interface StmtVisitor

Overrides:

caseAssignStmt in class AbstractStmtVisitor

caseEnterMonitorStmt

public void caseEnterMonitorStmt(@NonNull JEnterMonitorStmt stmt)

Specified by:

caseEnterMonitorStmt in interface StmtVisitor

Overrides:

caseEnterMonitorStmt in class AbstractStmtVisitor

caseExitMonitorStmt

public void caseExitMonitorStmt(@NonNull JExitMonitorStmt stmt)

Specified by:

caseExitMonitorStmt in interface StmtVisitor

Overrides:

caseExitMonitorStmt in class AbstractStmtVisitor

caseIfStmt

public void caseIfStmt(@NonNull JIfStmt stmt)

Specified by:

caseIfStmt in interface StmtVisitor

Overrides:

caseIfStmt in class AbstractStmtVisitor

caseSwitchStmt

public void caseSwitchStmt(@NonNull JSwitchStmt stmt)

Specified by:

caseSwitchStmt in interface StmtVisitor

Overrides:

caseSwitchStmt in class AbstractStmtVisitor

caseReturnStmt

public void caseReturnStmt(@NonNull JReturnStmt stmt)

Specified by:

caseReturnStmt in interface StmtVisitor

Overrides:

caseReturnStmt in class AbstractStmtVisitor

caseThrowStmt

public void caseThrowStmt(@NonNull JThrowStmt stmt)

Specified by:

caseThrowStmt in interface StmtVisitor

Overrides:

caseThrowStmt in class AbstractStmtVisitor

getFuntion

public AugEvalFunction getFuntion()

getHierarchy

public BytecodeHierarchy getHierarchy()

getTyping

public Typing getTyping()

setTyping

public void setTyping(Typing typing)

selectArrayType

public Type selectArrayType(@Nullable Type preType,
 @NonNull Type newType,
 @NonNull Stmt stmt)

getResult

public Stmt getResult()

setResult

protected void setResult(Stmt result)