edu.ksu.cis.projects.bogor.analyses
Class CFG

java.lang.Object
  edu.ksu.cis.projects.bogor.analyses.CFG

All Implemented Interfaces:

Disposable

public class CFG
extends Object
implements Disposable

Version:

CVS $Revision: 1.7 $ $Date: 2005/05/19 17:19:39 $

Author:

Robby

Field Summary

protected int	entryLocDesc
protected int[]	exitLocDescs
protected FSMSymbolTable	fsmSymbolTable
protected IntObjectTable<IntSet>	predTable
protected int[]	reachableLocDescs
protected IntObjectTable<IntSet>	succTable

Constructor Summary

CFG(FSMSymbolTable fsmSymbolTable)

Method Summary

protected void	addToTable(IntObjectTable<IntSet> table, int fromLocDesc, int toLocDesc)
protected void	computePredAndSuccTable()
void	dispose() Remove references.
int	getEntryLocDesc()
int[]	getExitLocDescs()
FSMSymbolTable	getFSMSymbolTable()
int[]	getPreds(int locDesc)
int[]	getSuccs(int locDesc)

Methods inherited from class java.lang.Object

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

Field Detail

fsmSymbolTable

protected FSMSymbolTable fsmSymbolTable

predTable

protected IntObjectTable<IntSet> predTable

succTable

protected IntObjectTable<IntSet> succTable

entryLocDesc

protected int entryLocDesc

exitLocDescs

protected int[] exitLocDescs

reachableLocDescs

protected int[] reachableLocDescs

Constructor Detail

CFG

public CFG(FSMSymbolTable fsmSymbolTable)

Method Detail

getEntryLocDesc

public int getEntryLocDesc()

getExitLocDescs

public int[] getExitLocDescs()

getFSMSymbolTable

public FSMSymbolTable getFSMSymbolTable()

getPreds

public int[] getPreds(int locDesc)

getSuccs

public int[] getSuccs(int locDesc)

dispose

public void dispose()

Description copied from interface: Disposable

Remove references. Once called, avoid using this object.

Specified by:

dispose in interface Disposable

addToTable

protected void addToTable(IntObjectTable<IntSet> table,
                          int fromLocDesc,
                          int toLocDesc)

computePredAndSuccTable

protected void computePredAndSuccTable()