KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > SOFA > SOFAnode > Util > DFSRChecker > state > TransitionPairs


1 /*
2  * $Id: TransitionPairs.java,v 1.1 2005/07/13 07:27:49 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.state;
19
20 import java.util.LinkedList JavaDoc;
21
22 /**
23  * This class is top hold an array of transition pair and a single list of
24  * potential bad activity dependecies across atomic actions.
25  */
26
27 public class TransitionPairs {
28     
29     /**
30      * Class for keeping the items of dependecy list
31      */
32     static public class IntPair {
33         public IntPair() {
34         }
35         
36         public IntPair(int first, int second) {
37             this.first = first;
38             this.second = second;
39         }
40             
41         public int first;
42         public int second;
43     }
44     
45     /**
46      * Constructor, dependency list is initially empty (in fact, it is null)
47      * @param trans the transitions to hold
48      */
49     public TransitionPairs(TransitionPair[] trans) {
50         this.transitions = trans;
51         this.deps = null;
52     }
53     
54     /**
55      * Constructor, dependency list is initially empty (in fact, it is null)
56      * @param trans the transitions to hold
57      * @param deps the atomic actions dependencies
58      */
59     public TransitionPairs(TransitionPair[] trans, LinkedList JavaDoc deps) {
60         this.transitions = trans;
61         this.deps = deps;
62     }
63     
64     /**
65      * the transitions
66      */
67     public TransitionPair[] transitions;
68     
69     /**
70      * atomic actions bad activity dependencies
71      */
72     public LinkedList JavaDoc deps;
73
74 }
75
Popular Tags