soot.jimple.toolkits.thread.mhp
Class MonitorSet
java.lang.Object
soot.toolkits.scalar.AbstractFlowSet
soot.toolkits.scalar.ArraySparseSet
soot.jimple.toolkits.thread.mhp.MonitorSet
- All Implemented Interfaces:
- Iterable, FlowSet
public class MonitorSet
- extends ArraySparseSet
Methods inherited from class soot.toolkits.scalar.ArraySparseSet |
add, clear, contains, copy, difference, emptySet, equals, intersection, isEmpty, remove, size, toList, union |
getMonitorDepth
public Object getMonitorDepth(String objName)
clone
public MonitorSet clone()
- Description copied from interface:
FlowSet
- Clones the current FlowSet.
- Specified by:
clone
in interface FlowSet
- Overrides:
clone
in class ArraySparseSet
union
public void union(MonitorSet other)
- Returns the union (join) of this MonitorSet and
other
, putting
result into this
.
intersection
public void intersection(MonitorSet other,
MonitorSet dest)
- Returns the union (join) of this MonitorSet and
other
, putting
result into dest
. dest
, other
and
this
could be the same object.
test
public void test()