org.stekikun.dolmen.codegen

Class AutomataOutput

java.lang.Object

org.stekikun.dolmen.codegen.AutomataOutput

public final class AutomataOutput
extends Object

This class generates a Java class that simulates the automata in some Automata instance. Each entry is realized by an entry point with the corresponding return type.

Author:

Stéphane Lescuyer

See Also:

output(Writer, String, Config, Automata)

Method Summary

Modifier and Type	Method and Description
static SourceMapping	output(Writer writer, String className, Config config, Automata aut) Generates the code from the automata aut in a Java class with name className, exported using the given writer and parameterized by the configuration config.
static SourceMapping	outputDefault(Writer writer, String className, Automata aut) Same as output(Writer, String, Config, Automata) but the the default configuration.

Methods inherited from class java.lang.Object

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

Method Detail

output

public static SourceMapping output(Writer writer,
                                   String className,
                                   Config config,
                                   Automata aut)
                            throws IOException

Generates the code from the automata aut in a Java class with name className, exported using the given writer and parameterized by the configuration config.

Returns the source mappings computed when emitting the code. Positions in generated code are computed assuming that writer is fresh, unless a CountingWriter is passed in which case its current character count is taken into account.

Parameters:

writer -

className -

config -

aut -

Throws:

IOException

outputDefault

public static SourceMapping outputDefault(Writer writer,
                                          String className,
                                          Automata aut)
                                   throws IOException

Same as output(Writer, String, Config, Automata) but the the default configuration.

Parameters:

writer -

className -

aut -

Returns:

the source mapping computed when emitting the code

Throws:

IOException