Contents

require 'forwardable' # Delegation

module Rley # This module is used as a namespace
  module Parser # This module is used as a namespace
    class StateSet
      extend Forwardable
      def_delegators :states, :empty?, :size, :first, :each

      # The set of parse states
      attr_reader(:states)


      def initialize()
        @states = []
      end

      # Append the given state (if it isn't yet in the set)
      # to the list of states
      # @param aState [ParseState] the state to push.
      def push_state(aState)
        @states << aState unless include?(aState)
      end

      # The list of ParseState that expect the given terminal
      def states_expecting(aTerminal)
        return states.select { |s| s.dotted_rule.next_symbol == aTerminal }
      end

      # The list of complete ParseState that have the symbol as the lhs of their
      # production
      def states_rewriting(aNonTerm)
        return states.select do |s| 
          (s.dotted_rule.production.lhs == aNonTerm) && s.complete?
        end
      end
      
      # The list of ParseState that involve the given production
      def states_for(aProduction)
        return states.select { |s| s.dotted_rule.production == aProduction }
      end
      
      # Retrieve the parse state that is the predecessor of the given one.
      def predecessor_state(aParseState)
        if aParseState.dotted_rule.prev_position.nil?
          raise StandardError, "#{aParseState}"
        else
          prod = aParseState.dotted_rule.production
          candidate = states.find { |s| s.precedes?(aParseState) }
        end
        
        return candidate
      end
      

      private

      def include?(aState)
        # TODO: make it better than linear search
        return states.include?(aState)
      end
    end # class
  end # module
end # module
# End of file

Version data entries

9 entries across 9 versions & 1 rubygems

Version	Path
rley-0.1.08	lib/rley/parser/state_set.rb
rley-0.1.07	lib/rley/parser/state_set.rb
rley-0.1.06	lib/rley/parser/state_set.rb
rley-0.1.05	lib/rley/parser/state_set.rb
rley-0.1.04	lib/rley/parser/state_set.rb
rley-0.1.03	lib/rley/parser/state_set.rb
rley-0.1.02	lib/rley/parser/state_set.rb
rley-0.1.01	lib/rley/parser/state_set.rb
rley-0.1.00	lib/rley/parser/state_set.rb