dk.brics.tajs.flowgraph

Class FlowGraphFragment

java.lang.Object

dk.brics.tajs.flowgraph.FlowGraphFragment

public class FlowGraphFragment
extends Object

A fragment of a flow graph.

Constructor Summary

Constructors

Constructor and Description
FlowGraphFragment(Object key, BasicBlock entryBlock, Function entryFun, Collection<Function> functions, Collection<BasicBlock> blocks, Collection<AbstractNode> nodes) Constructs a flow graph fragment.

Method Summary

Methods

Modifier and Type	Method and Description
Collection<BasicBlock>	getBlocks() Returns the extra blocks.
BasicBlock	getEntryBlock() Returns the entry block.
Function	getEntryFunction() Returns the entry function.
Collection<Function>	getFunction() Returns the extra functions.
Object	getKey() Returns the key.
Collection<AbstractNode>	getNodes() Returns the extra nodes.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FlowGraphFragment

public FlowGraphFragment(Object key,
                 BasicBlock entryBlock,
                 Function entryFun,
                 Collection<Function> functions,
                 Collection<BasicBlock> blocks,
                 Collection<AbstractNode> nodes)

Constructs a flow graph fragment.

Method Detail

getBlocks

public Collection<BasicBlock> getBlocks()

Returns the extra blocks.

getEntryBlock

public BasicBlock getEntryBlock()

Returns the entry block.

getEntryFunction

public Function getEntryFunction()

Returns the entry function.

getFunction

public Collection<Function> getFunction()

Returns the extra functions.

getKey

public Object getKey()

Returns the key.

getNodes

public Collection<AbstractNode> getNodes()

Returns the extra nodes.