de.uni_paderborn.fujaba.sequencer
Class Sequencer

java.lang.Object
  extended byde.uni_paderborn.fujaba.sequencer.Sequencer

public class Sequencer
extends java.lang.Object

Used in code generation of activity diagrams for exploring the control flow.

Version:
$Revision: 1.51.2.2 $
Author:
$Author: cschneid $

Method Summary
 Seq exploreCFG(FlowActivity startFlowActivity)
          exploreCFG
static Sequencer get()
          No comment provided by developer, please add a comment to improve documentation.
 de.upb.tools.fca.FHashSet intersection(de.upb.tools.fca.FHashSet setOne, de.upb.tools.fca.FHashSet setTwo)
          No comment provided by developer, please add a comment to improve documentation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

get

public static Sequencer get()
No comment provided by developer, please add a comment to improve documentation.

Returns:
No description provided

exploreCFG

public final Seq exploreCFG(FlowActivity startFlowActivity)
exploreCFG

Parameters:
startFlowActivity - The start activity of the method
Returns:
a sequence for the CFG (note: the flow assocs of the activities in the diagram have to be set before and removed afterwards)

intersection

public de.upb.tools.fca.FHashSet intersection(de.upb.tools.fca.FHashSet setOne,
                                              de.upb.tools.fca.FHashSet setTwo)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
setOne - No description provided
setTwo - No description provided
Returns:
No description provided