KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * $Id: SimpleState.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  * The class represents a state of a simple automaton.
23  */
24 public class SimpleState extends State {
25
26     /** Creates a new instance of SimpleState */
27     public SimpleState(int state) {
28         this.state = state;
29         
30     }
31
32     /**
33      * @see SOFA.SOFAnode.Util.objectweb.fractal.behprotocols.checker.state.State#createSignature()
34      */
35     protected void createSignature() {
36         signature.set(0, state != 0);
37     }
38
39     /**
40      * the number of the state
41      */
42     final public int state;
43
44
45 }
Popular Tags