Class PlainTextResultMappingSerializer
- java.lang.Object
-
- org.palladiosimulator.dataflow.confidentiality.transformation.dcp.resultmapping.serialize.AbstractResultMappingSerializer
-
- org.palladiosimulator.dataflow.confidentiality.transformation.dcp.resultmapping.serialize.PlainTextResultMappingSerializer
-
- All Implemented Interfaces:
ResultMappingSerializer
public class PlainTextResultMappingSerializer extends AbstractResultMappingSerializer
-
-
Field Summary
-
Fields inherited from class org.palladiosimulator.dataflow.confidentiality.transformation.dcp.resultmapping.serialize.AbstractResultMappingSerializer
crossPlatformConverter, serializeFlowTree, serializer
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
PlainTextResultMappingSerializer(boolean serializeFlowTree)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected String
advancedEnumHeader(String... header)
protected String
advancedEnumSeparator()
String
escape(String value)
String
fileExtension()
String
highlight(String value)
protected String
indent(String value)
String
makeSubTitle(String value)
String
makeTitle(String value)
String
mapCharacteristicTypeSelector(CharacteristicTypeSelector selector)
protected String
mapCharacteristicVariable(CharacteristicVariableType variable, List<String> values)
protected String
mapClassVariable(CharacteristicTypeSelector variable, String value)
-
Methods inherited from class org.palladiosimulator.dataflow.confidentiality.transformation.dcp.resultmapping.serialize.AbstractResultMappingSerializer
createDSLSerializer, getParameterOrCallState, handleSelectorLiterals, mapCallStackEntry, mapCharacteristicClass, mapCondition, mapNodeIdentity, mapQueryType, serialize, serializeCallStackEntry, serializeViolationCallStack, serializeViolationCharacteristicVariables, serializeViolationClassVariables, serializeViolations
-
-
-
-
Method Detail
-
mapCharacteristicTypeSelector
public String mapCharacteristicTypeSelector(CharacteristicTypeSelector selector)
- Specified by:
mapCharacteristicTypeSelector
in classAbstractResultMappingSerializer
-
makeTitle
public String makeTitle(String value)
- Specified by:
makeTitle
in classAbstractResultMappingSerializer
-
makeSubTitle
public String makeSubTitle(String value)
- Specified by:
makeSubTitle
in classAbstractResultMappingSerializer
-
fileExtension
public String fileExtension()
-
escape
public String escape(String value)
- Specified by:
escape
in classAbstractResultMappingSerializer
-
highlight
public String highlight(String value)
- Specified by:
highlight
in classAbstractResultMappingSerializer
-
mapClassVariable
protected String mapClassVariable(CharacteristicTypeSelector variable, String value)
- Specified by:
mapClassVariable
in classAbstractResultMappingSerializer
-
advancedEnumHeader
protected String advancedEnumHeader(String... header)
- Specified by:
advancedEnumHeader
in classAbstractResultMappingSerializer
-
advancedEnumSeparator
protected String advancedEnumSeparator()
- Specified by:
advancedEnumSeparator
in classAbstractResultMappingSerializer
-
indent
protected String indent(String value)
- Specified by:
indent
in classAbstractResultMappingSerializer
-
mapCharacteristicVariable
protected String mapCharacteristicVariable(CharacteristicVariableType variable, List<String> values)
- Overrides:
mapCharacteristicVariable
in classAbstractResultMappingSerializer
-
-