|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.toolkits.scalar.AbstractFlowSet soot.jimple.toolkits.scalar.ToppedSet
public class ToppedSet
Represents information for flow analysis, adding a top element to a lattice. A FlowSet is an element of a lattice; this lattice might be described by a FlowUniverse. If add, remove, size, isEmpty, toList and contains are implemented, the lattice must be the powerset of some set.
Constructor Summary | |
---|---|
ToppedSet(FlowSet under)
|
Method Summary | |
---|---|
void |
add(Object obj)
Adds obj to this . |
void |
clear()
implemented, but *very* inefficient. |
ToppedSet |
clone()
Clones the current FlowSet. |
boolean |
contains(Object obj)
Returns true if this FlowSet contains obj . |
void |
copy(FlowSet d)
Copies the current FlowSet into dest. |
void |
difference(FlowSet o,
FlowSet d)
Returns the set difference (this intersect ~other) of this FlowSet and other , putting result into dest . |
Object |
emptySet()
implemented, but inefficient. |
boolean |
equals(Object o)
|
void |
intersection(FlowSet o,
FlowSet d)
Returns the intersection (meet) of this FlowSet and other ,
putting result into dest . |
boolean |
isEmpty()
Returns true if this FlowSet is the empty set. |
boolean |
isTop()
|
void |
remove(Object obj)
Removes obj from this . |
void |
setTop(boolean top)
|
int |
size()
Returns the size of the current FlowSet. |
List |
toList()
Returns an unbacked list of contained objects for this FlowSet. |
String |
toString()
|
void |
union(FlowSet o,
FlowSet d)
Returns the union (join) of this FlowSet and other , putting
result into dest . |
Methods inherited from class soot.toolkits.scalar.AbstractFlowSet |
---|
add, difference, hashCode, intersection, iterator, remove, union |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ToppedSet(FlowSet under)
Method Detail |
---|
public void setTop(boolean top)
public boolean isTop()
public ToppedSet clone()
FlowSet
clone
in interface FlowSet
clone
in class AbstractFlowSet
public void copy(FlowSet d)
FlowSet
copy
in interface FlowSet
copy
in class AbstractFlowSet
public Object emptySet()
AbstractFlowSet
emptySet
in interface FlowSet
emptySet
in class AbstractFlowSet
public void clear()
AbstractFlowSet
clear
in interface FlowSet
clear
in class AbstractFlowSet
public void union(FlowSet o, FlowSet d)
FlowSet
other
, putting
result into dest
. dest
, other
and
this
could be the same object.
union
in interface FlowSet
union
in class AbstractFlowSet
public void intersection(FlowSet o, FlowSet d)
FlowSet
other
,
putting result into dest
. dest
,
other
and this
could be the same object.
intersection
in interface FlowSet
intersection
in class AbstractFlowSet
public void difference(FlowSet o, FlowSet d)
FlowSet
other
, putting result into dest
.
dest
, other
and this
could be the
same object.
difference
in interface FlowSet
difference
in class AbstractFlowSet
public boolean isEmpty()
FlowSet
isEmpty
in interface FlowSet
isEmpty
in class AbstractFlowSet
public int size()
FlowSet
size
in interface FlowSet
size
in class AbstractFlowSet
public void add(Object obj)
FlowSet
obj
to this
.
add
in interface FlowSet
add
in class AbstractFlowSet
public void remove(Object obj)
FlowSet
obj
from this
.
remove
in interface FlowSet
remove
in class AbstractFlowSet
public boolean contains(Object obj)
FlowSet
obj
.
contains
in interface FlowSet
contains
in class AbstractFlowSet
public List toList()
FlowSet
toList
in interface FlowSet
toList
in class AbstractFlowSet
public boolean equals(Object o)
equals
in class AbstractFlowSet
public String toString()
toString
in class AbstractFlowSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |