Class: Collie::Analyzer::Reachability

Inherits:
Object
  • Object
show all
Defined in:
lib/collie/analyzer/reachability.rb

Overview

Reachability analysis for grammar rules

Instance Method Summary collapse

Constructor Details

#initialize(grammar) ⇒ Reachability

Returns a new instance of Reachability.



11
12
13
14
15
 
# File 'lib/collie/analyzer/reachability.rb', line 11

def initialize(grammar)
  @grammar = grammar
  @reachable = Set.new
  @dependencies = Hash.new { |h, k| h[k] = Set.new }
end

Instance Method Details

#analyze(start_symbol = nil) ⇒ Object 



17
18
19
20
21
22
 
# File 'lib/collie/analyzer/reachability.rb', line 17

def analyze(start_symbol = nil)
  build_dependency_graph
  start = start_symbol || infer_start_symbol
  mark_reachable(start) if start
  @reachable
end

#unreachable_rules ⇒ Object 



24
25
26
27
 
# File 'lib/collie/analyzer/reachability.rb', line 24

def unreachable_rules
  all_rules = @grammar.rules.to_set(&:name)
  all_rules - @reachable
end