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

java.lang.Object
  extended by de.uka.ipd.sdq.pcmsolver.handler.AbstractBranchTransitionHandler
      extended by 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)