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

Class BranchDecisionMeasurementResult

java.lang.Object

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

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

public class BranchDecisionMeasurementResult
extends ParameterisationDependentMeasurementResult

A result of measuring which branch is taken in a branching source code construct. This result expresses that the result’s “indexth” branch was taken when a branching construct was executed with the given Parameterisation.

Constructor Summary

Constructors

Constructor and Description
BranchDecisionMeasurementResult(int branchIndex) Creates a result for a branch measurement for which no parameterisation was recorded.
BranchDecisionMeasurementResult(Parameterisation parameterisation, int branchIndex) Creates a result for a parameterised branch measurement.

Method Summary

Modifier and Type	Method and Description
int	getBranchIndex() Gets the taken branch’s index.
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

BranchDecisionMeasurementResult

public BranchDecisionMeasurementResult(int branchIndex)

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

Parameters:

branchIndex - The index of the branch in the associated SeffBranch's branch list that was executed.

BranchDecisionMeasurementResult

public BranchDecisionMeasurementResult(Parameterisation parameterisation,
                                       int branchIndex)

Creates a result for a parameterised branch measurement.

Parameters:

parameterisation - The state of variables during measurement.

branchIndex - The index of the branch in the associated SeffBranch's branch list that was executed.

Method Detail

getBranchIndex

public int getBranchIndex()

Gets the taken branch’s index.

Returns:

The index of the branch that was taken. Counting starts at 0, thus, this is a positive Integer or 0.

toString

public String toString()

Overrides:

toString in class ParameterisationDependentMeasurementResult