CfgDominatorFrontier

class CfgDominatorFrontier[NodeType](cfgAdapter: CfgAdapter[NodeType], domTreeAdapter: DomTreeAdapter[NodeType])

Calculates the dominator frontier for a set of CFG nodes. The returned multimap associates the frontier nodes to each CFG node.

The used algorithm is from: "A Simple, Fast Dominance Algorithm" from "Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy".

class Object
trait Matchable
class Any

Value members

Concrete methods

def calculate(cfgNodes: Seq[NodeType]): Map[NodeType, Set[NodeType]]