Package net.maswag.falcaun

Class SignalDeriver

java.lang.Object

net.maswag.falcaun.SignalDeriver

All Implemented Interfaces:

Mapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>, Mapper.SynchronousMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>, SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>

public class SignalDeriver
extends Object
implements SULMapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>

Signal derivation mapper that uses SignalMapper to derive signals from concrete I/O signals.

This class implements the SULMapper interface to provide signal derivation functionality. It takes concrete input signals and passes them through unchanged, while for output signals, it uses a SignalMapper to derive additional signals from the concrete I/O signal piece.

When composed with SignalAdapter, it provides the same functionality as NumericSULMapper.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.Mapper

Mapper.AsynchronousMapper<AI extends Object,AO extends Object,CI extends Object,CO extends Object>, Mapper.SynchronousMapper<AI extends Object,AO extends Object,CI extends Object,CO extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
private final SignalMapper	sigMap

Constructor Summary

Constructors

Constructor	Description
SignalDeriver(@NonNull SignalMapper sigMap)	Constructor for SignalDeriver.

Method Summary

Modifier and Type	Method	Description
List<Double>	mapInput(List<Double> input)	Maps a concrete input signal to itself (pass-through).
IOSignalPiece<List<Double>>	mapOutput(IOSignalPiece<List<Double>> concreteIO)	Maps a concrete IOSignalPiece to an IOSignalPiece with derived signals.
static SignalDeriver	parse(List<String> mapperDefinitions)	Constructs a SignalDeriver from extended signal-mapper definitions.
static SignalDeriver	parseSimple(List<String> mapperDefinitions)	Constructs a SignalDeriver from simple signal-mapper definitions.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.Mapper

post, pre

Methods inherited from interface de.learnlib.sul.SULMapper

canFork, fork, mapUnwrappedException, mapWrappedException

Field Details

sigMap

private final SignalMapper sigMap

Constructor Details

SignalDeriver

public SignalDeriver(@NonNull
 @NonNull SignalMapper sigMap)

Constructor for SignalDeriver.

Parameters:

sigMap - The SignalMapper for deriving additional signals.

Method Details

parse

public static SignalDeriver parse(List<String> mapperDefinitions)

Constructs a SignalDeriver from extended signal-mapper definitions.

The given definitions are parsed by ExtendedSignalMapper.parse(List) and the resulting mapper is used to create the returned deriver.

Parameters:

mapperDefinitions - signal-mapper definitions to parse with the extended parser

Returns:

a SignalDeriver configured with the parsed ExtendedSignalMapper

parseSimple

public static SignalDeriver parseSimple(List<String> mapperDefinitions)

Constructs a SignalDeriver from simple signal-mapper definitions.

The given definitions are parsed by SimpleSignalMapper.parse(List) and the resulting mapper is used to create the returned deriver.

Parameters:

mapperDefinitions - signal-mapper definitions to parse with the simple parser

Returns:

a SignalDeriver configured with the parsed simple SignalMapper

mapInput

public List<Double> mapInput(List<Double> input)

Maps a concrete input signal to itself (pass-through).

Specified by:

mapInput in interface Mapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>

Parameters:

input - The concrete input signal.

Returns:

The same input signal unchanged.

mapOutput

public IOSignalPiece<List<Double>> mapOutput(IOSignalPiece<List<Double>> concreteIO)

Maps a concrete IOSignalPiece to an IOSignalPiece with derived signals.

This method takes the original IOSignalPiece, derives additional signals using the SignalMapper, and returns a new IOSignalPiece with the derived signals.

Specified by:

mapOutput in interface Mapper<List<Double>,IOSignalPiece<List<Double>>,List<Double>,IOSignalPiece<List<Double>>>

Parameters:

concreteIO - The concrete IOSignalPiece to map.

Returns:

A new IOSignalPiece with derived signals.