de.uni_hildesheim.sse.monitoring.runtime.recordingStrategies

Class RecorderElementMap.PositionRecord

java.lang.Object

de.uni_hildesheim.sse.monitoring.runtime.recordingStrategies.RecorderElementMap.PositionRecord

Enclosing class:

RecorderElementMap

private static class RecorderElementMap.PositionRecord
extends java.lang.Object

Information to be stored for a recording id on the index into the configuration string and the related char value.

Since:

1.00

Version:

1.00

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private int	index The index in the configuration string.
private char	value The number of the variant as char.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PositionRecord()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

index

private int index

The index in the configuration string.

value

private char value

The number of the variant as char.

Constructor Detail

PositionRecord

private PositionRecord()