Package net.automatalib.serialization.fsm.parser

Class FSM2MealyParserIO<I,O,A extends MutableMealyMachine<Integer,I,?,O>>

java.lang.Object

net.automatalib.serialization.fsm.parser.AbstractFSMParser<I>

net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser<I,O,A>

net.automatalib.serialization.fsm.parser.FSM2MealyParserIO<I,O,A>

Type Parameters:

I - the input type

O - the output type

A - the parsed automaton type

All Implemented Interfaces:

ModelDeserializer<A>

public final class FSM2MealyParserIO<I,O,A extends MutableMealyMachine<Integer,I,?,O>>
extends AbstractFSM2MealyParser<I,O,A>

Parse a Mealy machine from an FSM source with straightforward edge semantics (as compared to FSM2MealyParserAlternating).

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.serialization.fsm.parser.AbstractFSMParser

AbstractFSMParser.Part

Field Summary

Fields inherited from class net.automatalib.serialization.fsm.parser.AbstractFSMParser

EXPECT_CHAR, EXPECT_IDENTIFIER, EXPECT_NUMBER, EXPECT_STRING, NO_SUCH_STATE, NON_DETERMINISM_DETECTED, targetInputs

Method Summary

Modifier and Type	Method	Description
protected void	checkTransitions(StreamTokenizer streamTokenizer)	Perform some actions after all transitions have been parsed.
static <E> ModelDeserializer<CompactMealy<E,E>>	getParser(@Nullable Collection<? extends E> targetInputs, Function<String,E> edgeParser)	Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.
static <I,O> ModelDeserializer<CompactMealy<I,O>>	getParser(@Nullable Collection<? extends I> targetInputs, Function<String,I> inputParser, Function<String,O> outputParser)	Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.
static <I,O,A extends MutableMealyMachine<Integer,I,?,O>> ModelDeserializer<A>	getParser(@Nullable Collection<? extends I> targetInputs, Function<String,I> inputParser, Function<String,O> outputParser, AutomatonCreator<A,I> creator)	Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a given MutableMealyMachine.
static <E> ModelDeserializer<CompactMealy<E,E>>	getParser(Function<String,E> edgeParser)	Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.
static <I,O> ModelDeserializer<CompactMealy<I,O>>	getParser(Function<String,I> inputParser, Function<String,O> outputParser)	Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.
protected void	parseTransition(StreamTokenizer streamTokenizer)	Parse a transition.

Methods inherited from class net.automatalib.serialization.fsm.parser.AbstractFSM2MealyParser

checkDataDefinitions, checkStateVectors, getOutputParser, getStates, getTransitions, parseDataDefinition, parseMealy, parseStateVector, readModel

Methods inherited from class net.automatalib.serialization.fsm.parser.AbstractFSMParser

getInputParser, getInputs, getPartLineNumber, getStreamTokenizer, parse

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Method Detail

parseTransition

protected void parseTransition(StreamTokenizer streamTokenizer)
                        throws IOException,
                               FormatException

Parse a transition.

Specified by:

parseTransition in class AbstractFSMParser<I>

Parameters:

streamTokenizer - tokenizer containing the input

Throws:

net.automatalib.serialization.fsm.parser.FSMFormatException - when the transition is illegal.

IOException - see StreamTokenizer.nextToken().

FormatException - when the FSM source is invalid.

checkTransitions

protected void checkTransitions(StreamTokenizer streamTokenizer)

Description copied from class: AbstractFSMParser

Perform some actions after all transitions have been parsed.

Specified by:

checkTransitions in class AbstractFSMParser<I>

Parameters:

streamTokenizer - tokenizer containing the input

getParser

public static <E> ModelDeserializer<CompactMealy<E,E>> getParser(Function<String,E> edgeParser)

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

Type Parameters:

E - symbol type

Parameters:

edgeParser - the transformer of String representatives to (same-typed) input/output symbols

Returns:

a ModelDeserializer that reads a MealyMachine description

getParser

public static <I,O> ModelDeserializer<CompactMealy<I,O>> getParser(Function<String,I> inputParser,
                                                                               Function<String,O> outputParser)

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

inputParser - the transformer of String representatives to input alphabet symbols

outputParser - the transformer of String representatives to output alphabet symbols

Returns:

a ModelDeserializer that reads a MealyMachine description

getParser

public static <E> ModelDeserializer<CompactMealy<E,E>> getParser(@Nullable Collection<? extends E> targetInputs,
                                                                       Function<String,E> edgeParser)

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

Type Parameters:

E - symbol type

Parameters:

targetInputs - the collection of symbols the parsing should be constrained to (may be null if unconstrained)

edgeParser - the transformer of String representatives to (same-typed) input/output symbols

Returns:

a ModelDeserializer that reads a MealyMachine description

getParser

public static <I,O> ModelDeserializer<CompactMealy<I,O>> getParser(@Nullable Collection<? extends I> targetInputs,
                                                                               Function<String,I> inputParser,
                                                                               Function<String,O> outputParser)

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a CompactMealy.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

targetInputs - the collection of symbols the parsing should be constrained to (may be null if unconstrained)

inputParser - the transformer of String representatives to input alphabet symbols

outputParser - the transformer of String representatives to output alphabet symbols

Returns:

a ModelDeserializer that reads a MealyMachine description

getParser

public static <I,O,A extends MutableMealyMachine<Integer,I,?,O>> ModelDeserializer<A> getParser(@Nullable Collection<? extends I> targetInputs,
                                                                                                                              Function<String,I> inputParser,
                                                                                                                              Function<String,O> outputParser,
                                                                                                                              AutomatonCreator<A,I> creator)

Constructs a ModelDeserializer that reads a MealyMachine description and writes it into a given MutableMealyMachine.

Type Parameters:

I - input symbol type

O - output symbol type

A - (concrete) automaton type

Parameters:

targetInputs - the collection of symbols the parsing should be constrained to (may be null if unconstrained)

inputParser - the transformer of String representatives to input alphabet symbols

outputParser - the transformer of String representatives to output alphabet symbols

creator - the creator to construct the concrete automaton instance

Returns:

a ModelDeserializer that reads a MealyMachine description