de.uka.ipd.sdq.beagle.core.measurement

Class LoopRepetitionCountMeasurementResult

java.lang.Object

de.uka.ipd.sdq.beagle.core.measurement.ParameterisationDependentMeasurementResult

de.uka.ipd.sdq.beagle.core.measurement.LoopRepetitionCountMeasurementResult

public class LoopRepetitionCountMeasurementResult
extends ParameterisationDependentMeasurementResult

A result of counting repetitions of a loop. It expresses that a loop construct’s body was completely executed this count result’s times when the loop was being started with the given Parameterisation.

Constructor Summary

Constructors

Constructor and Description
LoopRepetitionCountMeasurementResult(int count) Creates a result for a loop measurement for which no parameterisation was recorded.
LoopRepetitionCountMeasurementResult(Parameterisation parameterisation, int count) Creates a result for a parameterised loop measurement.

Method Summary

Modifier and Type	Method and Description
int	getCount() Gets the loop repetition count.
String	toString()

Methods inherited from class de.uka.ipd.sdq.beagle.core.measurement.ParameterisationDependentMeasurementResult

getParameterisation

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopRepetitionCountMeasurementResult

public LoopRepetitionCountMeasurementResult(int count)

Creates a result for a loop measurement for which no parameterisation was recorded.

Parameters:

count - How many times the loop's body was executed. May not be negative.

LoopRepetitionCountMeasurementResult

public LoopRepetitionCountMeasurementResult(Parameterisation parameterisation,
                                            int count)

Creates a result for a parameterised loop measurement.

Parameters:

parameterisation - The state of variables during measurement.

count - How many times the loop's body was executed. May not be negative.

Method Detail

getCount

public int getCount()

Gets the loop repetition count.

Returns:

How often the measured loop was executed. A positive Integer or 0.

toString

public String toString()

Overrides:

toString in class ParameterisationDependentMeasurementResult