Package sootup.interceptors.typeresolving

Class TypePromotionVisitor

java.lang.Object

sootup.core.jimple.visitor.AbstractStmtVisitor

sootup.interceptors.typeresolving.TypeChecker

sootup.interceptors.typeresolving.TypePromotionVisitor

All Implemented Interfaces:

StmtVisitor, Visitor

public class TypePromotionVisitor
extends TypeChecker

Field Summary

Fields inherited from class sootup.interceptors.typeresolving.TypeChecker

builder, graph, result

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Typing	getPromotedTyping(Typing typing)
static boolean	isIntermediateType(Type type)
void	visit(@NonNull Value value, @NonNull Type stdType, @NonNull Stmt stmt)

Methods inherited from class sootup.interceptors.typeresolving.TypeChecker

caseAssignStmt, caseEnterMonitorStmt, caseExitMonitorStmt, caseIfStmt, caseInvokeStmt, caseReturnStmt, caseSwitchStmt, caseThrowStmt, getFuntion, getHierarchy, getResult, getTyping, selectArrayType, setResult, setTyping

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

Constructor Details

TypePromotionVisitor

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

Method Details

getPromotedTyping

public Typing getPromotedTyping(Typing typing)

isIntermediateType

public static boolean isIntermediateType(Type type)

visit

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

Specified by:

visit in class TypeChecker