soot.jimple.toolkits.typing.fast

Class TypeResolver.CastInsertionUseVisitor

java.lang.Object

soot.jimple.toolkits.typing.fast.TypeResolver.CastInsertionUseVisitor

All Implemented Interfaces:

IUseVisitor

Enclosing class:

TypeResolver

public class TypeResolver.CastInsertionUseVisitor
extends Object
implements IUseVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected IHierarchy	h
protected JimpleBody	jb
protected Typing	tg

Constructor Summary

Constructors

Constructor and Description
CastInsertionUseVisitor(boolean countOnly, JimpleBody jb, Typing tg, IHierarchy h)

Method Summary

Modifier and Type	Method and Description
protected Local	createCast(Type useType, Stmt stmt, Local old) Creates a cast at stmt of vold to the given type.
boolean	finish()
int	getCount()
Value	visit(Value op, Type useType, Stmt stmt)

Methods inherited from class java.lang.Object

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

Field Detail

jb

protected JimpleBody jb

tg

protected Typing tg

h

protected IHierarchy h

Constructor Detail

CastInsertionUseVisitor

public CastInsertionUseVisitor(boolean countOnly,
                               JimpleBody jb,
                               Typing tg,
                               IHierarchy h)

Method Detail

visit

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

Specified by:

visit in interface IUseVisitor

createCast

protected Local createCast(Type useType,
                           Stmt stmt,
                           Local old)

Creates a cast at stmt of vold to the given type.

Parameters:

useType - the new type

stmt - stmt

old - the old local

Returns:

the new local

getCount

public int getCount()

finish

public boolean finish()

Specified by:

finish in interface IUseVisitor