cz.cuni.mff.ksi.jinfer.twostep.processing.automatonmergingstate
Interface SymbolToString<T>

Type Parameters:

T - generic type of symbol (same as automaton it has to work with)

public interface SymbolToString<T>

Convert generic type T symbol on automaton transitions to String. When automaton is being renderer in AutoEditor, this interface is used to convert symbols on transitions to strings drawn about lines. Along with passing automaton to drawing procedure in AutoEditor one has to pass class implementing this interface, which will convert type T on Automaton to string. (type of symbol on automaton transitions).

Automaton and all simplifiers don't know the type T in run-time, this is the only way to present automaton to user with meaningful labels on transitions rendered.

Method Summary

String

toString(T symbol) Produce user-comprehensive string representation of symbol.

Method Detail

toString

String toString(T symbol)

Produce user-comprehensive string representation of symbol.

Parameters:

symbol - of alphabet in automaton

Returns: