Class StringSymbolMapper<AI>
- java.lang.Object
-
- net.automatalib.util.automaton.vpa.StringSymbolMapper<AI>
-
- Type Parameters:
AI
- abstract input symbol type
- All Implemented Interfaces:
SymbolMapper<AI,String>
public class StringSymbolMapper<AI> extends Object implements SymbolMapper<AI,String>
A default implementation that maps abstract input symbol to theirString
representations while adding an incrementing number to mappedcall symbols
.
-
-
Constructor Summary
Constructors Constructor Description StringSymbolMapper()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
mapCallSymbol(AI s)
Returns for an abstract call symbol of aVPAlphabet
its mapped call symbol of aProceduralInputAlphabet
.String
mapInternalSymbol(AI s)
Returns for an abstract internal symbol of aVPAlphabet
its mapped internal symbol of aProceduralInputAlphabet
.String
mapReturnSymbol(AI s)
Returns for an abstract return symbol of aVPAlphabet
its mapped return symbol of aProceduralInputAlphabet
.
-
-
-
Method Detail
-
mapCallSymbol
public String mapCallSymbol(AI s)
Description copied from interface:SymbolMapper
Returns for an abstract call symbol of aVPAlphabet
its mapped call symbol of aProceduralInputAlphabet
.Note that this is a stateful operation, i.e., multiple calls to this method with the same argument should return distinct results.
- Specified by:
mapCallSymbol
in interfaceSymbolMapper<AI,String>
- Parameters:
s
- abstract (call) input symbol- Returns:
- the concretized (call) input symbol
-
mapInternalSymbol
public String mapInternalSymbol(AI s)
Description copied from interface:SymbolMapper
Returns for an abstract internal symbol of aVPAlphabet
its mapped internal symbol of aProceduralInputAlphabet
.Note that this is a stateless operation, i.e., multiple calls to this method with the same argument should return the same result.
- Specified by:
mapInternalSymbol
in interfaceSymbolMapper<AI,String>
- Parameters:
s
- abstract (internal) input symbol- Returns:
- the concretized (internal) input symbol
-
mapReturnSymbol
public String mapReturnSymbol(AI s)
Description copied from interface:SymbolMapper
Returns for an abstract return symbol of aVPAlphabet
its mapped return symbol of aProceduralInputAlphabet
.Note that this is a stateless operation, i.e., multiple calls to this method with the same argument should return the same results.
- Specified by:
mapReturnSymbol
in interfaceSymbolMapper<AI,String>
- Parameters:
s
- abstract (return) input symbol- Returns:
- the concretized (return) input symbol
-
-