soot.jimple.toolkits.thread.mhp

Class MonitorSet

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet<T>

soot.toolkits.scalar.ArraySparseSet

soot.jimple.toolkits.thread.mhp.MonitorSet

All Implemented Interfaces:

Iterable, FlowSet

public class MonitorSet
extends ArraySparseSet

Field Summary

Fields inherited from class soot.toolkits.scalar.ArraySparseSet

DEFAULT_SIZE, elements, maxElements, numElements

Method Summary

Modifier and Type	Method and Description
MonitorSet	clone() Clones the current FlowSet.
Object	getMonitorDepth(String objName)
void	intersection(MonitorSet other, MonitorSet dest) Returns the union (join) of this MonitorSet and other, putting result into dest.
void	test()
void	union(MonitorSet other) Returns the union (join) of this MonitorSet and other, putting result into this.

Methods inherited from class soot.toolkits.scalar.ArraySparseSet

add, clear, contains, copy, difference, emptySet, equals, intersection, isEmpty, iterator, remove, remove, size, toList, union

Methods inherited from class soot.toolkits.scalar.AbstractFlowSet

add, difference, hashCode, intersection, isSubSet, remove, toString, union

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

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()