Package sootup.interceptors.typeresolving

Class Typing

java.lang.Object

sootup.interceptors.typeresolving.Typing

public class Typing
extends Object

Constructor Summary

Constructors

Constructor	Description
Typing(Collection<Local> locals)
Typing(Typing typing, BitSet stmtsIDList)

Method Summary

Modifier and Type	Method	Description
int	compare(Typing typing, BytecodeHierarchy hierarchy, Collection<Local> localsToIgnore)	This method is used to compare two Typings that have same locals' set, but with different types.
Collection<Local>	getLocals()
Map<Local,Type>	getMap()
BitSet	getStmtsIDList()
Type	getType(Local local)
void	set(Local local, Type type)
void	setStmtsIDList(BitSet bitSet)

Methods inherited from class java.lang.Object

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

Constructor Details

Typing

public Typing(@Nonnull
 Collection<Local> locals)

Typing

public Typing(@Nonnull
 Typing typing,
 @Nonnull
 BitSet stmtsIDList)

Method Details

getType

@Nullable
public Type getType(@Nonnull
 Local local)

set

public void set(@Nonnull
 Local local,
 @Nonnull
 Type type)

getLocals

public Collection<Local> getLocals()

getMap

public Map<Local,Type> getMap()

setStmtsIDList

public void setStmtsIDList(@Nonnull
 BitSet bitSet)

getStmtsIDList

@Nonnull
public BitSet getStmtsIDList()

compare

public int compare(@Nonnull
 Typing typing,
 @Nonnull
 BytecodeHierarchy hierarchy,
 @Nonnull
 Collection<Local> localsToIgnore)

This method is used to compare two Typings that have same locals' set, but with different types.

Returns:

0: same to the given typing. 1: more general to the given typing . -1: more specific to the given typing. -2: cannot be compared to the given typing. One local have two different types which have no ancestor relationship. 2: cannot be compared to the given typing. One local's type is more specific than the given typing, but another local's type is more general than the given typing.