|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.uni_paderborn.fujaba.sequencer.Sequencer
Used in code generation of activity diagrams for exploring the control flow.
Field Summary | |
(package private) static int |
level
level: counter for checkForEachStructure() 0 : unexplored 1 : normal flow 2..n : ForEach level |
private static Sequencer |
theSequencer
No comment provided by developer, please add a comment to improve documentation. |
(package private) static int |
time
time: counter for dfs() will be incremented with each new node |
Constructor Summary | |
private |
Sequencer()
Constructor for class Sequencer |
Method Summary | |
private void |
buildForEachStructure(de.upb.tools.fca.FLinkedList transitionList)
buildForEachStructure() |
private void |
checkForEachStructure(FlowActivity flowActivity,
de.upb.tools.fca.FLinkedList transitionList)
Checks the 'ForEach' structure and collects all 'each time' transitions in a list |
private void |
checkTransitionGuards(UMLTransitionGuard leftGuard,
UMLTransitionGuard rightGuard)
Checks if the two guards are compatible. |
private void |
dfs(FlowActivity currentFlowActivity)
Depth First Search. |
private void |
explore(Seq seq,
FlowActivity startFlowActivity,
FlowActivity endFlowActivity)
Run dfs and checkForEachStructure before in exactly this order! |
private void |
exploreAndCollect(de.upb.tools.fca.FHashSet set,
FlowActivity start,
FlowActivity end)
Walk through the tree and collect nodes. |
private void |
exploreAndCompare(de.upb.tools.fca.FHashSet leftSet,
de.upb.tools.fca.FHashSet rightSet,
FlowActivity start,
FlowActivity end)
Walk through the tree and collect nodes until a node was foud which is in a given set. |
private void |
exploreBackwardAndCollect(de.upb.tools.fca.FHashSet set,
FlowActivity start,
FlowActivity end)
No comment provided by developer, please add a comment to improve documentation. |
Seq |
exploreCFG(FlowActivity startFlowActivity)
exploreCFG |
private void |
exploreRepetition(Seq seq,
UMLTransition backUMLTransition,
FlowActivity start,
FlowActivity end)
No comment provided by developer, please add a comment to improve documentation. |
private void |
exploreSelection(Seq seq,
UMLTransition firstUMLTransition,
UMLTransition secondUMLTransition,
FlowActivity start,
FlowActivity end)
No comment provided by developer, please add a comment to improve documentation. |
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. |
private boolean |
isIntervalNested(de.upb.tools.fca.FLinkedList intervalList,
de.upb.tools.fca.FLinkedList newInterval)
|
private boolean |
isTheOnlyTransition(UMLActivity curActivity,
UMLTransition curTransition)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private static Sequencer theSequencer
static int level
static int time
Constructor Detail |
private Sequencer()
Method Detail |
public static Sequencer get()
public final Seq exploreCFG(FlowActivity startFlowActivity)
startFlowActivity
- The start activity of the method
private final void buildForEachStructure(de.upb.tools.fca.FLinkedList transitionList)
transitionList
- List of transitions which are collected during checkForEachStructure
phase For each 'every times' transition in transitionList, a flow will be created
using explore(). This flow will be stored in the concerning flowActivityprivate final void checkForEachStructure(FlowActivity flowActivity, de.upb.tools.fca.FLinkedList transitionList)
flowActivity
- the actual activity which will be checkedtransitionList
- a list which stores all 'each time' transitions start createFlowActivities
before if there was no error, items in transitionList will be used to create flows,
collapse them and store them in the concerning flowActivitiesprivate final void dfs(FlowActivity currentFlowActivity)
currentFlowActivity
- No description providedprivate final boolean isTheOnlyTransition(UMLActivity curActivity, UMLTransition curTransition)
curActivity
- No description providedcurTransition
- No description provided
private final boolean isIntervalNested(de.upb.tools.fca.FLinkedList intervalList, de.upb.tools.fca.FLinkedList newInterval)
intervalList
- No description providednewInterval
- No description provided
private final void explore(Seq seq, FlowActivity startFlowActivity, FlowActivity endFlowActivity)
seq
- Seqence to be filledstartFlowActivity
- A flowActivity where to start fromendFlowActivity
- A flowActivity up to which CFG will be explored (may be null
for open end)private final void exploreBackwardAndCollect(de.upb.tools.fca.FHashSet set, FlowActivity start, FlowActivity end)
set
- No description providedstart
- No description providedend
- No description providedprivate final void exploreRepetition(Seq seq, UMLTransition backUMLTransition, FlowActivity start, FlowActivity end)
seq
- No description providedbackUMLTransition
- No description providedstart
- No description providedend
- No description providedprivate final void exploreAndCompare(de.upb.tools.fca.FHashSet leftSet, de.upb.tools.fca.FHashSet rightSet, FlowActivity start, FlowActivity end)
leftSet
- The given set with nodes to comparerightSet
- The set where to store the collected (visited) nodes instart
- The node where to start fromend
- The deepest node to goprivate final void exploreAndCollect(de.upb.tools.fca.FHashSet set, FlowActivity start, FlowActivity end)
set
- The set where to store the collected (visited) nodes instart
- The node where to start fromend
- The deepest node to goprivate final void checkTransitionGuards(UMLTransitionGuard leftGuard, UMLTransitionGuard rightGuard)
leftGuard
- Type of UMLTransitionGuardrightGuard
- Type of UMLTransitionGuardprivate final void exploreSelection(Seq seq, UMLTransition firstUMLTransition, UMLTransition secondUMLTransition, FlowActivity start, FlowActivity end)
seq
- No description providedfirstUMLTransition
- No description providedsecondUMLTransition
- No description providedstart
- No description providedend
- No description providedpublic de.upb.tools.fca.FHashSet intersection(de.upb.tools.fca.FHashSet setOne, de.upb.tools.fca.FHashSet setTwo)
setOne
- No description providedsetTwo
- No description provided
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |