require_relative '../../ruler' require_relative '../../logger' require_relative '../../lexer/lexer_constants' class Tailor module Rulers class IndentationSpacesRuler < Tailor::Ruler # Used for managing the state of indentation for some file/text. An # object of this type has no knowledge of the file/text itself, but rather # just manages indentation expectations based on the object's user's # input, somewhat like a state machine. # # For the sake of talking about indentation expectations, the docs here # make mention of 'levels' of indentation. A _level_ here is simply # 1 * (number of spaces to indent); so if you've set (number of spaces to # indent) to 2, saying something should be indented 1 level, is simply # saying that it should be indented 2 spaces. class IndentationManager include Tailor::LexerConstants include Tailor::Logger::Mixin # These are event names generated by the {Lexer} that signify # indentation level should/could increase by 1. ENCLOSERS = Set.new [:on_lbrace, :on_lbracket, :on_lparen] # Look-up table that allows for OPEN_EVENT_FOR[:on_rbrace]. OPEN_EVENT_FOR = { on_kw: :on_kw, on_rbrace: :on_lbrace, on_rbracket: :on_lbracket, on_rparen: :on_lparen } # Allows for updating the indent expectation for the current line. attr_accessor :amount_to_change_this # @return [Fixnum] The actual number of characters the current line is # indented. attr_reader :actual_indentation # @return [Array] Each element represents a reason why code should # be indented. Indent levels are not necessarily 1:1 relationship # to these reasons (hence the need for this class). attr_reader :indent_reasons # @param [Fixnum] spaces The number of spaces each level of indentation # should move in & out. def initialize(spaces) @spaces = spaces @proper = { this_line: 0, next_line: 0 } @actual_indentation = 0 @indent_reasons = [] @amount_to_change_this = 0 start end # @return [Fixnum] The indent level the file should currently be at. def should_be_at @proper[:this_line] end # Decreases the indentation expectation for the current line by # 1 level. def decrease_this_line if started? @proper[:this_line] -= @spaces if @proper[:this_line] < 0 @proper[:this_line] = 0 end log "@proper[:this_line] = #{@proper[:this_line]}" log "@proper[:next_line] = #{@proper[:next_line]}" else log "#decrease_this_line called, but checking is stopped." end end # Sets up expectations in +@proper+ based on the number of +/- reasons # to change this and next lines, given in +@amount_to_change_this+. def set_up_line_transition log "Amount to change this line: #{@amount_to_change_this}" decrease_this_line if @amount_to_change_this < 0 end # Should be called just before moving to the next line. This sets the # expectation set in +@proper[:next_line]+ to # +@proper[:this_line]+. def transition_lines if started? log "Resetting change_this to 0." @amount_to_change_this = 0 log "Setting @proper[:this_line] = that of :next_line" @proper[:this_line] = @proper[:next_line] log "Transitioning @proper[:this_line] to #{@proper[:this_line]}" else log "Skipping #transition_lines; checking is stopped." end end # Starts the process of increasing/decreasing line indentation # expectations. def start log "Starting indentation ruling." log "Next check should be at #{should_be_at}" @do_measurement = true end # Tells if the indentation checking process is on. # # @return [Boolean] +true+ if it's started; +false+ if not. def started? @do_measurement end # Stops the process of increasing/decreasing line indentation # expectations. def stop if started? msg = "Stopping indentation ruling. Should be: #{should_be_at}; " msg << "actual: #{@actual_indentation}" log msg end @do_measurement = false end # Updates +@actual_indentation+ based on the given lexed_line_output. # # @param [Array] lexed_line_output The lexed output for the current line. def update_actual_indentation(lexed_line_output) if lexed_line_output.end_of_multi_line_string? log "Found end of multi-line string." return end first_non_space_element = lexed_line_output.first_non_space_element @actual_indentation = first_non_space_element.first.last log "Actual indentation: #{@actual_indentation}" end # Checks if the current line ends with an operator, comma, or period. # # @param [LexedLine] lexed_line # @return [Boolean] def line_ends_with_single_token_indenter?(lexed_line) lexed_line.ends_with_op? || lexed_line.ends_with_comma? || lexed_line.ends_with_period? || lexed_line.ends_with_label? || lexed_line.ends_with_modifier_kw? end # Checks to see if the last token in @single_tokens is the same as the # one in +token_event+. # # @param [Array] token_event A single event (probably extracted from a # {LexedLine}). # @return [Boolean] def line_ends_with_same_as_last(token_event) return false if @indent_reasons.empty? @indent_reasons.last[:event_type] == token_event[1] end # Determines if the current spot in the file is enclosed in braces, # brackets, or parens. # # @return [Boolean] def in_an_enclosure? return false if @indent_reasons.empty? i_reasons = @indent_reasons.dup log "i reasons: #{i_reasons}" until ENCLOSERS.include? i_reasons.last[:event_type] i_reasons.pop break if i_reasons.empty? end return false if i_reasons.empty? i_reasons.last[:event_type] == :on_lbrace || i_reasons.last[:event_type] == :on_lbracket || i_reasons.last[:event_type] == :on_lparen end # Adds to the list of reasons to indent the next line, then increases # the expectation for the next line by +@spaces+. # # @param [Symbol] event_type The event type that caused the reason for # indenting. # @param [Tailor::Token,String] token The token that caused the reason # for indenting. # @param [Fixnum] lineno The line number the reason for indenting was # discovered on. def add_indent_reason(event_type, token, lineno) @indent_reasons << { event_type: event_type, token: token, lineno: lineno, should_be_at: @proper[:this_line] } @proper[:next_line] = @indent_reasons.last[:should_be_at] + @spaces log "Added indent reason; it's now:" @indent_reasons.each { |r| log r.to_s } end # An "opening reason" is a reason for indenting that also has a "closing # reason", such as a +def+, +{+, +[+, +(+. # # @param [Symbol] event_type The event type that is the opening reason. # @param [Tailor::Token,String] token The token that is the opening # reasons. # @param [Fixnum] lineno The line number the opening reason was found # on. def update_for_opening_reason(event_type, token, lineno) if token.modifier_keyword? log "Found modifier in line: '#{token}'" return end log "Token '#{token}' not used as a modifier." if token.do_is_for_a_loop? log "Found keyword loop using optional 'do'" return end add_indent_reason(event_type, token, lineno) end # A "continuation reason" is a reason for indenting & outdenting that's # not an opening or closing reason, such as +elsif+, +rescue+, +when+ # (in a +case+ statement), etc. # # @param [Symbol] event_type The event type that is the opening reason. # @param [Tailor::LexedLine] lexed_line # @param [Fixnum] lineno The line number the opening reason was found # on. def update_for_continuation_reason(token, lexed_line, lineno) d_tokens = @indent_reasons.dup d_tokens.pop on_line_token = d_tokens.find { |t| t[:lineno] == lineno } log "online token: #{on_line_token}" if on_line_token.nil? && lexed_line.to_s =~ /^\s*#{token}/ @proper[:this_line] -= @spaces unless @proper[:this_line].zero? msg = "Continuation keyword: '#{token}'. " msg << "change_this -= 1 -> #{@proper[:this_line]}" log msg end last_reason_line = @indent_reasons.find { |r| r[:lineno] == lineno } @proper[:next_line] = if last_reason_line.nil? if @indent_reasons.empty? @spaces else @indent_reasons.last[:should_be_at] + @spaces end else @indent_reasons.last[:should_be_at] - @spaces end end # A "closing reason" is a reason for indenting that also has an "opening # reason", such as a +end+, +}+, +]+, +)+. # # @param [Symbol] event_type The event type that is the closing reason. # @param [Tailor::Token,String] token The token that is the closing # reason. def update_for_closing_reason(event_type, lexed_line) remove_continuation_keywords remove_appropriate_reason(event_type) @proper[:next_line] = if @indent_reasons.empty? 0 else @indent_reasons.last[:should_be_at] + @spaces end log "Updated :next after closing; it's now #{@proper[:next_line]}" meth = "only_#{event_type.to_s.sub("^on_", '')}?" if lexed_line.send(meth.to_sym) || lexed_line.to_s =~ /^\s*end\n?$/ @proper[:this_line] = @proper[:this_line] - @spaces msg = "End multi-line statement. " msg < "change_this -= 1 -> #{@proper[:this_line]}." log msg end end # Removes the last matching opening reason reason of +event_type+ from # the list of indent reasons. # # @param [Symbol] closing_event_type The closing event for which to find # the matching opening event to remove from the list of indent # reasons. def remove_appropriate_reason(closing_event_type) if last_opening_event = last_opening_event(closing_event_type) r_index = @indent_reasons.reverse.index(last_opening_event) index = @indent_reasons.size - r_index - 1 tmp_reasons = [] @indent_reasons.each_with_index do |r, i| tmp_reasons << r unless i == index end @indent_reasons.replace(tmp_reasons) elsif last_single_token_event log "Just popped off reason: #{@indent_reasons.pop}" else log "Couldn't find a matching opening reason to pop off...'" return end log "Removed indent reason; it's now:" @indent_reasons.each { |r| log r.to_s } end # A "single-token" event is one that that causes indentation # expectations to increase. They don't have have a paired closing # reason like opening reasons. Instead, they're determined to be done # with their indenting when an :on_ignored_nl occurs. Single-token # events are operators and commas (commas that aren't used as # separators in {, [, ( events). def last_single_token_event return nil if @indent_reasons.empty? @indent_reasons.reverse.find do |r| !ENCLOSERS.include?(r[:event_type]) && r[:event_type] != :on_kw end end # Returns the last matching opening event that corresponds to the # +closing_event_type+. # # @param [Symbol] closing_event_type The closing event for which to # find its associated opening event. def last_opening_event(closing_event_type) return nil if @indent_reasons.empty? @indent_reasons.reverse.find do |r| r[:event_type] == OPEN_EVENT_FOR[closing_event_type] end end def last_indent_reason_type return if @indent_reasons.empty? @indent_reasons.last[:event_type] end # Removes all continuation keywords from the list of # indentation reasons. def remove_continuation_keywords return if @indent_reasons.empty? while CONTINUATION_KEYWORDS.include?(@indent_reasons.last[:token]) log "Just popped off continuation reason: #{@indent_reasons.pop}" end end # Overriding to be able to call +#multi_line_brackets?+, # +#multi_line_braces?+, and +#multi_line_parens?+, where each takes a # single parameter, which is the lineno. # # @return [Boolean] def method_missing(meth, *args, &blk) if meth.to_s =~ /^multi_line_(.+)\?$/ token = case $1 when "brackets" then '[' when "braces" then '{' when "parens" then '(' else super(meth, *args, &blk) end lineno = args.first tokens = @indent_reasons.find_all do |t| t[:token] == token end log "#{meth} called, but no #{$1} were found." if tokens.empty? return false if tokens.empty? token_on_this_line = tokens.find { |t| t[:lineno] == lineno } return true if token_on_this_line.nil? false else super(meth, *args, &blk) end end end end end end