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 }