/*
 * LoadedMachine.java
 *
 * Created on December 8, 2002, 10:12 PM
 */

package JSE;

/**
 *
 * @author  S
 */
public class LoadedMachine {
    
    private String machName;
    private int numStates;
    private int initState;
    private int numFinalStates; 
    
    private State finalStates[];
    private State states[];
    
    /** Creates a new instance of LoadedMachine */
    public LoadedMachine(String mName, int nSt, int initSt, int nFSt) {       
        
        machName = mName;
        numStates = nSt;
        initState = initSt;
        numFinalStates = nFSt;
        
        finalStates = new State[numFinalStates];
        states = new State[numStates];     
        setStateIds();
    
    }
    private void setStateIds()
    {
        int i;
        
        for ( i = 0; i < numFinalStates; i++)
        {
            states[i].setId(i);          
        }
    }
    public State getState(int sId){    
        
        return states[sId];
    }
    
    public void setFinalState(int sFid, int st)
    {
        finalStates[sFid] = getState(st);
    }
    
    public int getNumStates(){    
        
        return numStates;
    }
}