Package soot.jimple.toolkits.typing.fast

Class TypePromotionUseVisitor

java.lang.Object

soot.jimple.toolkits.typing.fast.TypePromotionUseVisitor

All Implemented Interfaces:

IUseVisitor

public class TypePromotionUseVisitor
extends Object
implements IUseVisitor

Field Summary

Fields

Modifier and Type	Field	Description
boolean	fail
boolean	typingChanged

Constructor Summary

Constructors

Constructor	Description
TypePromotionUseVisitor(JimpleBody jb, Typing tg)

Method Summary

Modifier and Type	Method	Description
boolean	finish()
Value	visit(Value op, Type useType, Stmt stmt, boolean checkOnly)

Methods inherited from class java.lang.Object

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

Methods inherited from interface soot.jimple.toolkits.typing.fast.IUseVisitor

visit

Field Detail

fail

public boolean fail

typingChanged

public boolean typingChanged

Constructor Detail

TypePromotionUseVisitor

public TypePromotionUseVisitor(JimpleBody jb,
                               Typing tg)

Method Detail

visit

public Value visit(Value op,
                   Type useType,
                   Stmt stmt,
                   boolean checkOnly)

Specified by:

visit in interface IUseVisitor

finish

public boolean finish()

Specified by:

finish in interface IUseVisitor