dk.brics.string.grammar.operations
Class Component

java.lang.Object
  dk.brics.string.grammar.operations.Component

All Implemented Interfaces:

GraphComponent<Nonterminal>

public class Component
extends Object
implements GraphComponent<Nonterminal>

Strongly connected component.

Nested Class Summary

static class

Component.Recursion

Constructor Summary

Component()
Constructs a new empty component.

Method Summary

void	add(Nonterminal n) Adds a node to this component.
void	findRecursion() Finds recursion kind for this components.
Collection<Nonterminal>	getNodes() Returns the (unmodifiable) collection of nonterminals for this component.
Component.Recursion	getRecursion() Returns recursion kind for this component.
MLFAState	getState() Returns the MLFA state of this component.
void	setRecursion(Component.Recursion r) Sets recursion kind for this component.
void	setState(MLFAState s) Sets the MLFA state of this component.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Component

public Component()

Constructs a new empty component.

Method Detail

add

public void add(Nonterminal n)

Description copied from interface: GraphComponent

Adds a node to this component.

Specified by:

add in interface GraphComponent<Nonterminal>

findRecursion

public void findRecursion()

Finds recursion kind for this components.

getNodes

public Collection<Nonterminal> getNodes()

Returns the (unmodifiable) collection of nonterminals for this component.

Specified by:

getNodes in interface GraphComponent<Nonterminal>

getRecursion

public Component.Recursion getRecursion()

Returns recursion kind for this component.

getState

public MLFAState getState()

Returns the MLFA state of this component.

setRecursion

public void setRecursion(Component.Recursion r)

Sets recursion kind for this component.

setState

public void setState(MLFAState s)

Sets the MLFA state of this component.

toString

public String toString()

Overrides:

toString in class Object