soot.dava.toolkits.base.AST.structuredAnalysis

Class UnreachableCodeFinder.UnreachableCodeFlowSet

java.lang.Object

soot.toolkits.scalar.AbstractFlowSet<T>

soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

soot.dava.toolkits.base.AST.structuredAnalysis.UnreachableCodeFinder.UnreachableCodeFlowSet

All Implemented Interfaces:

java.lang.Iterable, FlowSet

Enclosing class:

UnreachableCodeFinder

public class UnreachableCodeFinder.UnreachableCodeFlowSet
extends DavaFlowSet

Field Summary

Fields inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

elements

Constructor Summary

Constructors

Constructor and Description
UnreachableCodeFlowSet()

Method Summary

Modifier and Type	Method and Description
UnreachableCodeFinder.UnreachableCodeFlowSet	clone() Clones the current FlowSet.
void	intersection(FlowSet otherFlow, FlowSet destFlow) Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method

Methods inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

add, addToBreakList, addToContinueList, addToImplicitBreaks, addToImplicitContinues, clear, contains, copy, copyInternalDataFrom, difference, emptySet, equals, getBreakSet, getContinueSet, getElementAt, getElementCount, getImplicitBreaks, getImplicitContinues, getImplicitlyBrokenSets, getImplicitlyContinuedSets, internalDataMatchesTo, isEmpty, iterator, remove, remove, size, toList, toString, union

Methods inherited from class soot.toolkits.scalar.AbstractFlowSet

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

UnreachableCodeFlowSet

public UnreachableCodeFlowSet()

Method Detail

clone

public UnreachableCodeFinder.UnreachableCodeFlowSet clone()

Description copied from interface: FlowSet

Clones the current FlowSet.

Specified by:

clone in interface FlowSet

Overrides:

clone in class DavaFlowSet

intersection

public void intersection(FlowSet otherFlow,
                         FlowSet destFlow)

Description copied from class: DavaFlowSet

Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method

Specified by:

intersection in interface FlowSet

Overrides:

intersection in class DavaFlowSet