Things needed for the SulWrapperStandard to work, since it needs to

build a timeout symbol

Author: 00oskpet

src/main/java/se/uu/it/dtlsfuzzer/components/sul/core/TlsSulBuilderRA.java

@@ -3,10 +3,15 @@
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.core.AbstractSul;
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.core.SulBuilder;
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.core.config.SulConfig;
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.mappers.MapperComposerRA;
 import com.github.protocolfuzzing.protocolstatefuzzer.utils.CleanupTasks;
 import de.learnlib.ralib.words.PSymbolInstance;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.MockOutputMapperRA;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsExecutionContextRA;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsProtocolMessage;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsState;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.TlsInputTransformer;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.outputs.TlsOutputBuilderRA;
 
 public class TlsSulBuilderRA
     implements
@@ -24,7 +29,12 @@ public TlsSulBuilderRA(TlsInputTransformer inputTransformer) {
         PSymbolInstance,
         TlsExecutionContextRA
     > build(SulConfig sulConfig, CleanupTasks cleanupTasks) {
+
+        TlsOutputBuilderRA outputBuilder = new TlsOutputBuilderRA();
+        MockOutputMapperRA outputMapper = new MockOutputMapperRA(sulConfig.getMapperConfig(), outputBuilder);
+        MapperComposerRA<PSymbolInstance, TlsProtocolMessage, TlsExecutionContextRA, TlsState> mapperComposer = new MapperComposerRA<>(null, outputMapper);
+
         TlsSul sul = new TlsSulBuilder().build(sulConfig, cleanupTasks);
-        return new TlsSulRA(sul, inputTransformer);
+        return new TlsSulRA(sul, inputTransformer, mapperComposer);
     }
 }

src/main/java/se/uu/it/dtlsfuzzer/components/sul/core/TlsSulRA.java

@@ -5,10 +5,13 @@
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.core.config.SulConfig;
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.core.sulwrappers.DynamicPortProvider;
 import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.Mapper;
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.mappers.MapperComposerRA;
 import com.github.protocolfuzzing.protocolstatefuzzer.utils.CleanupTasks;
 import de.learnlib.ralib.words.OutputSymbol;
 import de.learnlib.ralib.words.PSymbolInstance;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsExecutionContextRA;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsProtocolMessage;
+import se.uu.it.dtlsfuzzer.components.sul.mapper.TlsState;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.TlsInputTransformer;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.inputs.TlsInput;
 import se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.outputs.TlsOutput;
@@ -21,9 +24,12 @@ public class TlsSulRA
 
     private TlsInputTransformer inputTransformer;
 
-    public TlsSulRA(TlsSul sul, TlsInputTransformer inputTransformer) {
+    private MapperComposerRA<PSymbolInstance, TlsProtocolMessage, TlsExecutionContextRA, TlsState> mapperComposer;
+
+    public TlsSulRA(TlsSul sul, TlsInputTransformer inputTransformer, MapperComposerRA<PSymbolInstance, TlsProtocolMessage, TlsExecutionContextRA, TlsState> mapperComposer) {
         this.wrappedSul = sul;
         this.inputTransformer = inputTransformer;
+        this.mapperComposer = mapperComposer;
     }
 
     @Override
@@ -75,10 +81,7 @@ public DynamicPortProvider getDynamicPortProvider() {
         PSymbolInstance,
         TlsExecutionContextRA
     > getMapper() {
-        // TODO Auto-generated method stub
-        throw new UnsupportedOperationException(
-            "Unimplemented method 'getMapper'"
-        );
+        return mapperComposer;
     }
 
     @Override

src/main/java/se/uu/it/dtlsfuzzer/components/sul/mapper/MockOutputMapperRA.java

@@ -0,0 +1,27 @@
+package se.uu.it.dtlsfuzzer.components.sul.mapper;
+
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.abstractsymbols.OutputBuilder;
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.config.MapperConfig;
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.mappers.OutputMapperRA;
+import de.learnlib.ralib.words.PSymbolInstance;
+import java.util.List;
+
+public class MockOutputMapperRA extends OutputMapperRA<PSymbolInstance, TlsProtocolMessage, TlsExecutionContextRA> {
+
+    public MockOutputMapperRA(MapperConfig mapperConfig, OutputBuilder<PSymbolInstance> outputBuilder) {
+        super(mapperConfig, outputBuilder);
+    }
+
+    @Override
+    public PSymbolInstance receiveOutput(TlsExecutionContextRA context) {
+        // TODO Auto-generated method stub
+        throw new UnsupportedOperationException("Unimplemented method 'receiveOutput'");
+    }
+
+    @Override
+    protected PSymbolInstance buildOutput(String name, List<TlsProtocolMessage> messages) {
+        // TODO Auto-generated method stub
+        throw new UnsupportedOperationException("Unimplemented method 'buildOutput'");
+    }
+
+}

src/main/java/se/uu/it/dtlsfuzzer/components/sul/mapper/symbols/outputs/TlsOutputBuilderRA.java

@@ -0,0 +1,14 @@
+package se.uu.it.dtlsfuzzer.components.sul.mapper.symbols.outputs;
+
+import com.github.protocolfuzzing.protocolstatefuzzer.components.sul.mapper.abstractsymbols.OutputBuilder;
+import de.learnlib.ralib.words.OutputSymbol;
+import de.learnlib.ralib.words.PSymbolInstance;
+
+public class TlsOutputBuilderRA extends OutputBuilder<PSymbolInstance> {
+
+    @Override
+    public PSymbolInstance buildOutputExact(String name) {
+        return new PSymbolInstance(new OutputSymbol(name));
+    }
+
+}