Package org.scandroid.flow.types

Class FlowType<E extends ISSABasicBlock>

java.lang.Object

org.scandroid.flow.types.FlowType<E>

Direct Known Subclasses:

FieldFlow, IKFlow, ParameterFlow, ReturnFlow, StaticFieldFlow

public abstract class FlowType<E extends ISSABasicBlock>
extends Object

Flow types represent specific instances of sources or sinks.

In contrast to the Source/Sink specs, these have ties to specific locations in the source.

Author:

creswick

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	FlowType.FlowTypeVisitor<E extends ISSABasicBlock,R>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FlowType(BasicBlockInContext<E> block, boolean source)

Method Summary

Modifier and Type	Method	Description
String	descString()
boolean	equals(Object obj)
final BasicBlockInContext<E>	getBlock()
int	hashCode()
final boolean	isSource()
String	toString()
abstract <R> R	visit(FlowType.FlowTypeVisitor<E,R> v)

Methods inherited from class java.lang.Object

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

Constructor Details

FlowType

protected FlowType(BasicBlockInContext<E> block,
 boolean source)

Method Details

getBlock

public final BasicBlockInContext<E> getBlock()

isSource

public final boolean isSource()

toString

public String toString()

Overrides:

toString in class Object

descString

public String descString()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

visit

public abstract <R> R visit(FlowType.FlowTypeVisitor<E,R> v)