de.uni_hildesheim.sse.monitoring.runtime.recordingStrategies

Class ConfigurationToName

java.lang.Object

de.uni_hildesheim.sse.monitoring.runtime.recordingStrategies.ConfigurationToName

public class ConfigurationToName
extends java.lang.Object

Realizes a class which outputs for a given configuration (in binary String notation (see RecorderElementMap) a readable text form. Instances of this class are created on request by RecorderElementMap.

Since:

1.00

Version:

1.00

Author:

eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	ConfigurationToName.PosEntry Stores an entry i9n the configuration denoting a concrete variability, its binary-charId-to-variant-mapping and the name of the variability.

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	notAvailable Stops the not-available-string.
private ConfigurationToName.PosEntry[]	valToName Stores the correspondences between position in the configuration and variability at the respective positions.

Constructor Summary

Constructors

Constructor and Description
ConfigurationToName(int size) Creates an new configuration-to-name mapping.

Method Summary

Modifier and Type	Method and Description
java.lang.String	configurationHeadline(java.lang.String separator) Returns a headline for configurations, i.e. the names of the variants separated by separator.
java.lang.String	formatConfiguration(java.lang.String configuration, java.lang.String separator) Formats a binary string notation of a configuration to readable text.
java.lang.String	getName(int index) Returns the name of the variant at the specified position.
(package private) void	put(java.lang.String id, char separator, int index, char value) Adds a variant to this formatting instance.
void	setNotAvailable(java.lang.String notAvailable) Modifies the text to be printed in case of not-available variants (i.e.

Methods inherited from class java.lang.Object

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

Field Detail

valToName

private ConfigurationToName.PosEntry[] valToName

Stores the correspondences between position in the configuration and variability at the respective positions. Within an entry, the mapping between charId and its name is stored.

notAvailable

private java.lang.String notAvailable

Stops the not-available-string. Default value is N/A.

Constructor Detail

ConfigurationToName

ConfigurationToName(int size)

Creates an new configuration-to-name mapping.

Parameters:

size - the number of variants in the configuration (length of the configuration)

Since:

1.00

Method Detail

setNotAvailable

public void setNotAvailable(java.lang.String notAvailable)

Modifies the text to be printed in case of not-available variants (i.e. the variant was not detected automatically).

Parameters:

notAvailable - the new not-available String

Since:

1.00

put

void put(java.lang.String id,
         char separator,
         int index,
         char value)

Adds a variant to this formatting instance.

Parameters:

id - the name (identification) of the variant given as variability-nameseparatorvariant-name

separator - the separator between variability and variant

index - the position of the variability in the configuration

value - the binary representant of the variant

Since:

1.00

configurationHeadline

public java.lang.String configurationHeadline(java.lang.String separator)

Returns a headline for configurations, i.e. the names of the variants separated by separator.

Parameters:

separator - the text for separating the variants (usually ",")

Returns:

the headline for configurations

Since:

1.00

formatConfiguration

public java.lang.String formatConfiguration(java.lang.String configuration,
                                            java.lang.String separator)

Formats a binary string notation of a configuration to readable text.

Parameters:

configuration - the configuration to be printed

separator - the separator to be used, e.g. "|"

Returns:

the formatted configuration as readable text

Since:

1.00

getName

public java.lang.String getName(int index)

Returns the name of the variant at the specified position.

Parameters:

index - the index of the variant to be printed

Returns:

the name of the variant

Since:

1.00