Package 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	Description
protected IHierarchy	h
protected JimpleBody	jb
protected Typing	tg

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected Local	createCast(Type useType, Stmt stmt, Local old, boolean after)	Creates a cast at stmt of vold to the given type.
boolean	finish()
int	getCount()
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

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,
                   boolean checkOnly)

Specified by:

visit in interface IUseVisitor

createCast

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

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

Parameters:

useType - the new type

stmt - stmt

old - the old local

after - True to insert the cast after the statement, false to insert it before

Returns:

the new local

getCount

public int getCount()

finish

public boolean finish()

Specified by:

finish in interface IUseVisitor