Ejemplo n.º 1
0
        //TEST: Success.
        private void CreateTestStates()
        {
            _testStateA = new DefaultState("A", 0);
            _testStateB = new DefaultState("B", 0);

            Console.WriteLine("State name is: " + _testStateA.StateName + " and ID: " + _testStateA.StateID.ToString());
            Console.WriteLine("State name is: " + _testStateB.StateName + " and ID: " + _testStateB.StateID.ToString());
        }
Ejemplo n.º 2
0
        // Class Behaviour
        public void AddTransition(Transition transition, State state)
        {
            // Check that the given parameters are valid.
            if (transition==null || state == null)
            {
                Console.WriteLine("ERROR in State AddTransition: given parameters are not valid!");
                return;
            }//if

            // Check for duplicates - a deterministic finite automata cannot have a transition with a same id multiple times.
            if (stateTransitions.ContainsKey(transition.TransitionID))
            {
                Console.WriteLine("ERROR in State AddTransition: transition with id of " + transition.TransitionID + " is already included in state's transitions!");
                return;
            }

            // Add transition
            stateTransitions.Add(transition.TransitionID, state._stateID);
        }
Ejemplo n.º 3
0
        /// <summary>
        /// Adds the given state to dfa.
        /// </summary>
        /// <param name="stateToAdd"></param>
        public void AddState(State stateToAdd)
        {
            //Check whether given state already exists in DFA or the given state has same ID or name as some other state in DFA
            foreach (State existingState in _states) {
                if(existingState.StateID == stateToAdd.StateID){
                    Console.WriteLine("ERROR: Cannot add state to the dfa with same id!");
                    return;
                }//if

                if (existingState.StateName.Equals(stateToAdd.StateName))
                {
                    Console.WriteLine("ERROR: Cannot add state to the dfa with same name!");
                    return;
                }//if

            }//foreach

            // Add the state
            _states.Add(stateToAdd);
        }
Ejemplo n.º 4
0
        /// <summary>
        /// Performs a transition to a new state. 
        /// </summary>
        /// <param name="transition"></param>
        public void PerformTransition(Transition transition)
        {
            // Check the state's transitions and get the id of the state where to transit. If state doesn't have transition, it returns -1, which means looping back to itself
            int statetoTransit = _currentState.GetStateToTransit(transition);

            if(statetoTransit != -1){
                foreach(State newState in _states){
                    if (newState.StateID == statetoTransit) {
                        // Before transiting to new state, let the old state finish up and the new one to initialize.
                        _currentState.onLeavingState();
                        _currentState = newState;
                        _currentState.onEnteringState();
                    }//if
                }//foreach
            }//if
        }
Ejemplo n.º 5
0
        /// <summary>
        /// Removes the given state from dfa.
        /// </summary>
        /// <param name="StateToRemove"></param>
        public void RemoveState(State StateToRemove)
        {
            // Check whether the state to be removed is current state. Removing current state is not allowed.
            if(StateToRemove.StateID == _currentState.StateID){
                Console.WriteLine("ERROR: Cannot remove state that is currently active.");
                return;
            }//if

            // Loops through dfa's states and compares their id to given state's id. If match is found, state is removed from dfa.
            foreach(State existingState in _states){
                if(existingState.StateID == StateToRemove.StateID){
                    _states.Remove(StateToRemove);
                    Console.WriteLine("Removed state " + StateToRemove.StateName + " with an id of " + StateToRemove.StateID.ToString() + " from dfa.");
                    return;
                }//if
            }//foreach

            //If state was not found, print error
            Console.WriteLine("ERROR: state " + StateToRemove.StateName + " with an id of " + StateToRemove.StateID.ToString() + " was not found in dfa.");
        }