|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface BoundedFlowSet
Represents bounded information for flow analysis. Just like FlowSet, but also provides complementation. Some implementations of BoundedFlowSet may require a FlowUniverse for construction.
| Method Summary | |
|---|---|
void |
complement()
Complements this. |
void |
complement(FlowSet dest)
Complements this BoundedFlowSet, putting the result into dest. |
Object |
topSet()
returns the topped set. |
| Methods inherited from interface soot.toolkits.scalar.FlowSet |
|---|
add, add, clear, clone, contains, copy, difference, difference, emptySet, intersection, intersection, isEmpty, iterator, remove, remove, size, toList, union, union |
| Method Detail |
|---|
void complement()
this.
void complement(FlowSet dest)
dest. dest and this may be the
same object.
Object topSet()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||