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(Body.BodyBuilder builder, AugEvalFunction evalFunction, BytecodeHierarchy hierarchy)

Method Summary

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