KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > DFSR > DFSRPathItem


1 /*
2  * $Id: DFSRPathItem.java,v 1.4 2005/07/08 12:04:11 kofron Exp $
3  *
4  * Copyright 2004
5  * Distributed Systems Research Group
6  * Department of Software Engineering
7  * Faculty of Mathematics and Physics
8  * Charles University, Prague
9  *
10  * Copyright 2005
11  * Formal Methods In Software Engineering Group
12  * Institute of Computer Science
13  * Academy of Sciences of the Czech Republic
14  *
15  * This code was developed by Jan Kofron <kofron@nenya.ms.mff.cuni.cz>
16  */
17
18 package SOFA.SOFAnode.Util.DFSRChecker.DFSR;
19
20 import SOFA.SOFAnode.Util.DFSRChecker.state.State;
21 import SOFA.SOFAnode.Util.DFSRChecker.state.TransitionPair;
22
23 /**
24  * Denotes one item of the path stack in DFSRTraverser.
25  */
26 public class DFSRPathItem {
27
28     /**
29      * Creates a new instance of DFSRPathItem.
30      *
31      * @param stateindex the index to the transitions array
32      * @param transitions all transitions from the state
33      * @param state the initial state for the transitions
34      */
35     public DFSRPathItem(int stateindex, TransitionPair[] transitions, State state) {
36         this.stateIndex = stateindex;
37         this.transitions = transitions;
38         this.state = state;
39     }
40
41     /**
42      * Index of actual item within the transitions.
43      */
44     public int stateIndex;
45
46     /**
47      * The transitions from the state
48      */
49     public TransitionPair[] transitions;
50
51     /**
52      * The initial state
53      */
54     final public State state;
55 }
Popular Tags