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

java.lang.Object
  extended bysoot.toolkits.scalar.AbstractFlowSet
      extended bysoot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet
All Implemented Interfaces:
FlowSet

public class DavaFlowSet
extends AbstractFlowSet


Field Summary
 HashMap breakList
           
 Object[] elements
           
 
Constructor Summary
DavaFlowSet()
           
 
Method Summary
 void add(Object e)
          Adds obj to this.
 void addToBreakList(String labelBroken, DavaFlowSet set)
           
 void addToContinueList(String labelContinued, DavaFlowSet set)
           
 void clear()
          implemented, but *very* inefficient.
 Object clone()
          Clones the current FlowSet.
 boolean contains(Object obj)
          Returns true if this FlowSet contains obj.
 void copy(FlowSet destFlow)
          Copies the current FlowSet into dest.
 void copyInternalDataFrom(Object fromThis)
           
 void difference(FlowSet otherFlow, FlowSet destFlow)
          Returns the set difference (this join ~other) of this FlowSet and other, putting result into dest.
 Object emptySet()
          implemented, but inefficient.
 boolean equals(Object otherFlow)
           
 List getBreakSet(String label)
           
 List getContinueSet(String label)
           
 boolean internalDataMatchesTo(Object thisObj)
           
 void intersection(FlowSet otherFlow, FlowSet destFlow)
          Returns the intersection (meet) of this FlowSet and other, putting result into dest.
 boolean isEmpty()
          Returns true if this FlowSet is the empty set.
 void remove(Object obj)
          Removes obj from this.
 int size()
          Returns the size of the current FlowSet.
 List toList()
          Returns a unbacked list of elements in this set.
 String toString()
           
 void union(FlowSet otherFlow, FlowSet destFlow)
          Returns the union (join) of this FlowSet and other, putting result into dest.
 
Methods inherited from class soot.toolkits.scalar.AbstractFlowSet
add, difference, intersection, iterator, remove, union
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

elements

public Object[] elements

breakList

public HashMap breakList
Constructor Detail

DavaFlowSet

public DavaFlowSet()
Method Detail

clone

public Object clone()
Description copied from interface: FlowSet
Clones the current FlowSet.

Specified by:
clone in interface FlowSet
Specified by:
clone in class AbstractFlowSet

emptySet

public Object emptySet()
Description copied from class: AbstractFlowSet
implemented, but inefficient.

Specified by:
emptySet in interface FlowSet
Overrides:
emptySet in class AbstractFlowSet

clear

public void clear()
Description copied from class: AbstractFlowSet
implemented, but *very* inefficient.

Specified by:
clear in interface FlowSet
Overrides:
clear in class AbstractFlowSet

size

public int size()
Description copied from interface: FlowSet
Returns the size of the current FlowSet.

Specified by:
size in interface FlowSet
Specified by:
size in class AbstractFlowSet

isEmpty

public boolean isEmpty()
Description copied from interface: FlowSet
Returns true if this FlowSet is the empty set.

Specified by:
isEmpty in interface FlowSet
Specified by:
isEmpty in class AbstractFlowSet

toList

public List toList()
Returns a unbacked list of elements in this set.

Specified by:
toList in interface FlowSet
Specified by:
toList in class AbstractFlowSet

add

public void add(Object e)
Description copied from interface: FlowSet
Adds obj to this.

Specified by:
add in interface FlowSet
Specified by:
add in class AbstractFlowSet

remove

public void remove(Object obj)
Description copied from interface: FlowSet
Removes obj from this.

Specified by:
remove in interface FlowSet
Specified by:
remove in class AbstractFlowSet

union

public void union(FlowSet otherFlow,
                  FlowSet destFlow)
Description copied from interface: FlowSet
Returns the union (join) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:
union in interface FlowSet
Overrides:
union in class AbstractFlowSet

intersection

public void intersection(FlowSet otherFlow,
                         FlowSet destFlow)
Description copied from interface: FlowSet
Returns the intersection (meet) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:
intersection in interface FlowSet
Overrides:
intersection in class AbstractFlowSet

difference

public void difference(FlowSet otherFlow,
                       FlowSet destFlow)
Description copied from interface: FlowSet
Returns the set difference (this join ~other) of this FlowSet and other, putting result into dest. dest, other and this could be the same object.

Specified by:
difference in interface FlowSet
Overrides:
difference in class AbstractFlowSet

contains

public boolean contains(Object obj)
Description copied from interface: FlowSet
Returns true if this FlowSet contains obj.

Specified by:
contains in interface FlowSet
Specified by:
contains in class AbstractFlowSet

equals

public boolean equals(Object otherFlow)
Overrides:
equals in class AbstractFlowSet

copy

public void copy(FlowSet destFlow)
Description copied from interface: FlowSet
Copies the current FlowSet into dest.

Specified by:
copy in interface FlowSet
Overrides:
copy in class AbstractFlowSet

addToBreakList

public void addToBreakList(String labelBroken,
                           DavaFlowSet set)

addToContinueList

public void addToContinueList(String labelContinued,
                              DavaFlowSet set)

copyInternalDataFrom

public void copyInternalDataFrom(Object fromThis)

internalDataMatchesTo

public boolean internalDataMatchesTo(Object thisObj)

getContinueSet

public List getContinueSet(String label)

getBreakSet

public List getBreakSet(String label)

toString

public String toString()
Overrides:
toString in class AbstractFlowSet