laser.regularlanguage.util
Class REtoDFAInfo

java.lang.Object
  extended by laser.regularlanguage.util.REtoDFAInfo

public class REtoDFAInfo
extends java.lang.Object

The REtoDFAInfo class contains the information needed for the RE to DFA algorithm.

REFERENCES:

The RE to DFA algorithm comes from "Compilers: Principles, Techniques, and Tools" by Aho, Sethi, and Ullman (the Dragon Book), in Section 3.9.

Author:
Heather M. Conboy (laser-software@cs.umass.edu)

Constructor Summary
REtoDFAInfo()
          Creates a new REToDFAInfo Object.
 
Method Summary
 int getDfsID()
          Gets the depth-first search (DFS) ID.
 java.util.BitSet getFirstPos()
          Returns the first position set.
 java.util.BitSet getFollowPos()
          Returns the follow position set.
 java.util.BitSet getLastPos()
          Returns the last position set.
 boolean getNullable()
          Returns whether or not this is nullable.
 void setDfsID(int dfsID)
          Sets the depth-first search (DFS) ID.
 void setFirstPos(java.util.BitSet firstpos)
          Sets the first position set.
 void setFollowPos(java.util.BitSet followpos)
          Sets the follow position set.
 void setLastPos(java.util.BitSet lastpos)
          Sets the last position set.
 void setNullable(boolean nullable)
          Sets whether or not this is nullable.
 java.lang.String toString()
          Returns a string representation of this REToDFAInfo Object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

REtoDFAInfo

public REtoDFAInfo()
Creates a new REToDFAInfo Object.

Method Detail

getDfsID

public int getDfsID()
Gets the depth-first search (DFS) ID.

Returns:
The depth-first search (DFS) ID

setDfsID

public void setDfsID(int dfsID)
Sets the depth-first search (DFS) ID.

Parameters:
dfsID - The depth-first search (DFS) ID

getNullable

public boolean getNullable()
Returns whether or not this is nullable.

Returns:
True if nullable and false otherwise

setNullable

public void setNullable(boolean nullable)
Sets whether or not this is nullable.

Parameters:
nullable - True if nullable and false otherwise

getFirstPos

public java.util.BitSet getFirstPos()
Returns the first position set.

Returns:
The first position set

setFirstPos

public void setFirstPos(java.util.BitSet firstpos)
Sets the first position set.

Parameters:
firstpos - The first position set

getLastPos

public java.util.BitSet getLastPos()
Returns the last position set.

Returns:
The last position set

setLastPos

public void setLastPos(java.util.BitSet lastpos)
Sets the last position set.

Parameters:
lastpos - The last position set

getFollowPos

public java.util.BitSet getFollowPos()
Returns the follow position set.

Returns:
The follow position set

setFollowPos

public void setFollowPos(java.util.BitSet followpos)
Sets the follow position set.

Parameters:
followpos - The follow position set

toString

public java.lang.String toString()
Returns a string representation of this REToDFAInfo Object.

Overrides:
toString in class java.lang.Object
Returns:
A string representation of this Object