de.uka.ipd.sdq.beagle.core

Class SeffLoop

java.lang.Object

de.uka.ipd.sdq.beagle.core.SeffLoop

All Implemented Interfaces:

MeasurableSeffElement, Serializable

public class SeffLoop
extends Object
implements MeasurableSeffElement

Models loops (like Java’s for , while and do - while statement) which affect the calls a component makes to other components. Such loops are—contrary to loops that stay within an internal action—modelled in a component’s SEFF.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SeffLoop(CodeSection loopBody) Creates a SeffBranch using a given code section for the loop's body.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object object)
CodeSection	getLoopBody() Gives a valid code sections representing the body of this SeffBranch's loop.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SeffLoop

public SeffLoop(CodeSection loopBody)

Creates a SeffBranch using a given code section for the loop's body.

Parameters:

loopBody - A valid code sections representing the body of this SeffBranch's loop. Must not be null.

Method Detail

equals

public boolean equals(Object object)

Overrides:

equals in class Object

getLoopBody

public CodeSection getLoopBody()

Gives a valid code sections representing the body of this SeffBranch's loop.

Returns:

the loopBody A valid code sections representing the body of this SeffBranch's loop. Is never null.

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object