public interface IEdgeTransfer<ContextType extends IContext<?>>
Modifier and Type | Method and Description |
---|---|
ContextType |
transfer(BasicBlock src,
BasicBlock dst)
Returns non-null context if flow should occur on the given edge.
|
ContextType transfer(BasicBlock src, BasicBlock dst)
Copyright © 2009-2019 Aarhus University