de.uka.ipd.sdq.pcmsolver.handler
Class AbstractLoopActionHandler

java.lang.Object
  de.uka.ipd.sdq.pcmsolver.handler.AbstractLoopActionHandler

Direct Known Subclasses:

CollectionIteratorActionHandler, LoopActionHandler

public abstract class AbstractLoopActionHandler
extends Object

Field Summary

protected ComputedUsageFactory	usageFactory
protected SeffVisitor	visitor

Constructor Summary

AbstractLoopActionHandler(SeffVisitor seffVisitor)

Method Summary

int	getUpperBound(Expression solvedLoopCountExpr)
protected void	storeToUsageContext(AbstractLoopAction loop, String solvedSpecification)
protected void	visitLoopBody(AbstractLoopAction loop, String iterationCountSpecification)

Methods inherited from class java.lang.Object

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

Field Detail

usageFactory

protected ComputedUsageFactory usageFactory

visitor

protected SeffVisitor visitor

Constructor Detail

AbstractLoopActionHandler

public AbstractLoopActionHandler(SeffVisitor seffVisitor)

Parameters:

context -

_visitor -

nextHandler -

Method Detail

visitLoopBody

protected void visitLoopBody(AbstractLoopAction loop,
                             String iterationCountSpecification)

Parameters:

loop -

solvedIterationCountExpr -

getUpperBound

public int getUpperBound(Expression solvedLoopCountExpr)

Parameters:

solvedLoopCountExpr -

upperBound -

Returns:

storeToUsageContext

protected void storeToUsageContext(AbstractLoopAction loop,
                                   String solvedSpecification)

Parameters:

loop -

solvedSpecification -