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

Method Summary

Modifier and Type	Method	Description
Typing	getPromotedTyping(Typing typing)
static boolean	isIntermediateType(Type type)
void	visit(Value value, Type stdType, 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