KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * $Id: CompositeState.java,v 1.4 2005/07/08 12:04:12 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
19 package SOFA.SOFAnode.Util.DFSRChecker.state;
20
21 /**
22  * This class represents the composite state that consists of the references to
23  * any finite number of substates. The members of this class are declared as
24  * public for better performance of the SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.
25  */
26 public class CompositeState extends State {
27
28     /** Creates a new instance of CompositeState. */
29     public CompositeState(State[] states) {
30         this.states = states;
31     }
32     
33     /**
34      * @see SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.state.State#createSignature()
35      */
36     protected void createSignature() {
37         for (int i = 0; i < states.length; ++i) {
38             this.signature.concat(states[i].getSignature());
39         }
40     }
41     
42     
43     /**
44      * Array of pointers to child states.
45      */
46     final public State[] states;
47
48 }
Popular Tags