Class GuardedBranchTransitionHandler
- java.lang.Object
-
- org.palladiosimulator.solver.handler.AbstractBranchTransitionHandler
-
- org.palladiosimulator.solver.handler.GuardedBranchTransitionHandler
-
public class GuardedBranchTransitionHandler extends AbstractBranchTransitionHandler
-
-
Field Summary
-
Fields inherited from class org.palladiosimulator.solver.handler.AbstractBranchTransitionHandler
usageFactory, visitor
-
-
Constructor Summary
Constructors Constructor Description GuardedBranchTransitionHandler(SeffVisitor seffVisitor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
handle(org.palladiosimulator.pcm.seff.GuardedBranchTransition bt)
-
Methods inherited from class org.palladiosimulator.solver.handler.AbstractBranchTransitionHandler
storeToUsageContext, visitChildBehaviour
-
-
-
-
Constructor Detail
-
GuardedBranchTransitionHandler
public GuardedBranchTransitionHandler(SeffVisitor seffVisitor)
- Parameters:
context
-_visitor
-nextHandler
-
-
-