Package eu.bandm.tools.lexic

Class Automaton.State

java.lang.Object

eu.bandm.tools.lexic.Automaton.State

All Implemented Interfaces:

FormatClient

Enclosing class:

Automaton<L,T>

protected static final class Automaton.State
extends Object
implements FormatClient

State of an automaton.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	State()

Method Summary

Modifier and Type	Method	Description
<F> F	format(FormatServer<F> server)	Returns a pretty-printable representation of this state.
String	toString()	Returns a human-readable representation of this state.

Methods inherited from class java.lang.Object

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

Constructor Details

State

protected State()

Method Details

toString

public String toString()

Returns a human-readable representation of this state.

Overrides:

toString in class Object

format

public <F> F format(FormatServer<F> server)

Returns a pretty-printable representation of this state.

Specified by:

format in interface FormatClient

Type Parameters:

F - the type of format objects to produce

Parameters:

server - a factory object that can produce format objects

Returns:

a format object produced by the server