class SyntaxSuggest::CodeFrontier

该算法主要分为三个阶段

清理/格式化输入源代码
搜索无效代码块
将无效代码块格式化为有意义的内容

代码前沿是第二步的关键部分

## 了解我们去过的地方

一旦生成代码块，它就会被添加到前沿。然后它将按缩进排序，并且可以过滤前沿。完全包含较小代码块的大代码块将导致较小的代码块被逐出。

CodeFrontier#<<(block) # Adds block to frontier
CodeFrontier#pop # Removes block from frontier

## 了解我们可以去哪里

在内部，前沿会跟踪“未访问”的行，这些行通过调用 ‘next_indent_line’ 暴露出来，此方法返回具有最高缩进的代码行。

返回的代码行可用于构建 CodeBlock，然后将该代码块添加回前沿。然后，这些行将从“未访问”中删除，这样我们就不会重复创建相同的代码块。

CodeFrontier#next_indent_line # Shows next line
CodeFrontier#register_indent_block(block) # Removes lines from unvisited

## 了解何时停止

前沿知道如何检查整个文档是否存在语法错误。当代码块添加到前沿时，它们会从文档中删除。当所有包含语法错误的代码都添加到前沿后，文档将可以解析而不会出现语法错误，并且搜索可以停止。

CodeFrontier#holds_all_syntax_errors? # Returns true when frontier holds all syntax errors

## 过滤误报

搜索完成后，前沿可能包含多个不包含语法错误的代码块。要将结果限制为最小的“无效代码块”子集，请调用

CodeFrontier#detect_invalid_blocks

公共类方法

combination (array)

源代码

# File lib/syntax_suggest/code_frontier.rb, line 162
def self.combination(array)
  guesses = []
  1.upto(array.length).each do |size|
    guesses.concat(array.combination(size).to_a)
  end
  guesses
end

示例

combination([:a, :b, :c, :d])
# => [[:a], [:b], [:c], [:d], [:a, :b], [:a, :c], [:a, :d], [:b, :c], [:b, :d], [:c, :d], [:a, :b, :c], [:a, :b, :d], [:a, :c, :d], [:b, :c, :d], [:a, :b, :c, :d]]

new (code_lines:, unvisited: UnvisitedLines.new(code_lines: code_lines))

源代码

# File lib/syntax_suggest/code_frontier.rb, line 53
def initialize(code_lines:, unvisited: UnvisitedLines.new(code_lines: code_lines))
  @code_lines = code_lines
  @unvisited = unvisited
  @queue = PriorityEngulfQueue.new

  @check_next = true
end

公共实例方法

<< (block)

源代码

# File lib/syntax_suggest/code_frontier.rb, line 148
def <<(block)
  @unvisited.visit_block(block)

  @queue.push(block)

  @check_next = true if block.invalid?

  self
end

将代码块添加到前沿

此方法确保前沿始终保持排序（按缩进顺序），并且从缩进哈希中删除每个代码块的行，这样我们就不会多次重新评估同一行。

count ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 61
def count
  @queue.length
end

detect_invalid_blocks ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 172
def detect_invalid_blocks
  self.class.combination(@queue.to_a.select(&:invalid?)).detect do |block_array|
    holds_all_syntax_errors?(block_array, can_cache: false)
  end || []
end

假设我们知道语法错误存在于前沿的某个位置，我们想找到包含所有语法错误的最小代码块集

expand? ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 111
def expand?
  return false if @queue.empty?
  return true if @unvisited.empty?

  frontier_indent = @queue.peek.current_indent
  unvisited_indent = next_indent_line.indent

  if ENV["SYNTAX_SUGGEST_DEBUG"]
    puts "```"
    puts @queue.peek
    puts "```"
    puts "  @frontier indent:  #{frontier_indent}"
    puts "  @unvisited indent: #{unvisited_indent}"
  end

  # Expand all blocks before moving to unvisited lines
  frontier_indent >= unvisited_indent
end

holds_all_syntax_errors? (block_array = @queue, can_cache: true)

源代码

# File lib/syntax_suggest/code_frontier.rb, line 89
def holds_all_syntax_errors?(block_array = @queue, can_cache: true)
  return false if can_cache && can_skip_check?

  without_lines = block_array.to_a.flat_map do |block|
    block.lines
  end

  SyntaxSuggest.valid_without?(
    without_lines: without_lines,
    code_lines: @code_lines
  )
end

如果删除所有行后文档有效，则返回 true。默认情况下，它检查前沿数组中存在的所有代码块，但也可以用于任意代码块数组

next_indent_line ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 107
def next_indent_line
  @unvisited.peek
end

pop ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 103
def pop
  @queue.pop
end

返回一个具有最大可能缩进的代码块

register_engulf_block (block)

源代码

# File lib/syntax_suggest/code_frontier.rb, line 140
def register_engulf_block(block)
end

当一个元素完全封装另一个元素时，我们会从前沿删除较小的代码块。这可以防止双重扩展和各种奇怪的行为。但是，维护此保证的成本很高

register_indent_block (block)

源代码

# File lib/syntax_suggest/code_frontier.rb, line 132
def register_indent_block(block)
  @unvisited.visit_block(block)
  self
end

跟踪哪些行已添加到代码块，哪些行尚未访问。

私有实例方法

can_skip_check? ()

源代码

# File lib/syntax_suggest/code_frontier.rb, line 74
        def can_skip_check?
  check_next = @check_next
  @check_next = false

  if check_next
    false
  else
    true
  end
end

性能优化

使用 ripper 解析的成本很高。如果我们知道没有任何代码块包含无效语法，那么我们就知道尚未找到不正确的语法。

当一个无效代码块添加到前沿时，请检查文档状态