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

java.lang.Object
  de.uka.ipd.sdq.pcmsolver.handler.AbstractBranchTransitionHandler
      de.uka.ipd.sdq.pcmsolver.handler.GuardedBranchTransitionHandler

public class GuardedBranchTransitionHandler
extends AbstractBranchTransitionHandler

Author:

Koziolek

Field Summary

Fields inherited from class de.uka.ipd.sdq.pcmsolver.handler.AbstractBranchTransitionHandler

usageFactory, visitor

Constructor Summary

GuardedBranchTransitionHandler(SeffVisitor seffVisitor)

Method Summary

void	handle(GuardedBranchTransition bt)

Methods inherited from class de.uka.ipd.sdq.pcmsolver.handler.AbstractBranchTransitionHandler

storeToUsageContext, visitChildBehaviour

Methods inherited from class java.lang.Object

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

Constructor Detail

GuardedBranchTransitionHandler

public GuardedBranchTransitionHandler(SeffVisitor seffVisitor)

Parameters:

context -

_visitor -

nextHandler -

Method Detail

handle

public void handle(GuardedBranchTransition bt)