Class: EBNF::Base
Instance Attribute Summary collapse
-
#ast ⇒ Array<Rule>
readonly
Abstract syntax tree from parse.
-
#errors ⇒ Array<String>
Grammar errors, or errors found genering parse tables.
Attributes included from LL1
#branch, #first, #follow, #pass, #start, #terminals
Instance Method Summary collapse
-
#debug(*args) ⇒ Object
Progress output when debugging.
- #depth ⇒ Object
- #dup ⇒ Object
-
#each(kind) {|rule| ... } ⇒ Object
Iterate over each rule or terminal, except empty.
-
#error(*args) ⇒ Object
Error output.
-
#find_rule(sym) ⇒ Rule
Find a rule given a symbol.
-
#initialize(input, options = {}) ⇒ Base
constructor
Parse the string or file input generating an abstract syntax tree in S-Expressions (similar to SPARQL SSE).
-
#progress(*args) ⇒ Object
Progress output, less than debugging.
-
#to_s ⇒ String
Output formatted EBNF.
-
#to_sxp ⇒ String
Write out parsed syntax string as an S-Expression.
-
#to_ttl(prefix, ns) ⇒ String
Write out syntax tree as Turtle.
Methods included from Parser
#alt, #diff, #eachRule, #expression, #postfix, #primary, #ruleParts, #seq, #terminal
Methods included from LL1
#build_tables, #first_follow, #outputTable
Methods included from BNF
Constructor Details
#initialize(input, options = {}) ⇒ Base
Parse the string or file input generating an abstract syntax tree in S-Expressions (similar to SPARQL SSE)
124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 |
# File 'lib/ebnf/base.rb', line 124 def initialize(input, = {}) @options = {:format => :ebnf}.merge() @lineno, @depth, @errors = 1, 0, [] terminal = false @ast = [] input = input.respond_to?(:read) ? input.read : input.to_s case @options[:format] when :sxp require 'sxp' unless defined?(SXP) @ast = SXP::Reader::Basic.read(input).map {|e| Rule.from_sxp(e)} when :ebnf scanner = StringScanner.new(input) eachRule(scanner) do |r| debug("rule string") {r.inspect} case r when /^@terminals/ # Switch mode to parsing terminals terminal = true when /^@pass\s*(.*)$/m expr = expression($1).first rule = Rule.new(nil, nil, expr, :kind => :pass) rule.orig = expr @ast << rule else rule = depth {ruleParts(r)} rule.kind = :terminal if terminal # Override after we've parsed @terminals rule.orig = r @ast << rule end end else raise "unknown input format #{[:format].inspect}" end end |
Instance Attribute Details
#ast ⇒ Array<Rule> (readonly)
Abstract syntax tree from parse
108 109 110 |
# File 'lib/ebnf/base.rb', line 108 def ast @ast end |
#errors ⇒ Array<String>
Grammar errors, or errors found genering parse tables
113 114 115 |
# File 'lib/ebnf/base.rb', line 113 def errors @errors end |
Instance Method Details
#debug(node, message) ⇒ Object #debug(message) ⇒ Object
Progress output when debugging
265 266 267 268 269 270 271 272 273 274 |
# File 'lib/ebnf/base.rb', line 265 def debug(*args) return unless @options[:debug] = args.last.is_a?(Hash) ? args.pop : {} depth = [:depth] || @depth args << yield if block_given? = "#{args.join(': ')}" str = "[#{@lineno}]#{' ' * depth}#{}" @options[:debug] << str if @options[:debug].is_a?(Array) $stderr.puts(str) if @options[:debug] == true end |
#depth ⇒ Object
223 224 225 226 227 228 |
# File 'lib/ebnf/base.rb', line 223 def depth @depth += 1 ret = yield @depth -= 1 ret end |
#dup ⇒ Object
186 187 188 189 190 |
# File 'lib/ebnf/base.rb', line 186 def dup new_obj = super new_obj.instance_variable_set(:@ast, @ast.dup) new_obj end |
#each(kind) {|rule| ... } ⇒ Object
Iterate over each rule or terminal, except empty
167 168 169 |
# File 'lib/ebnf/base.rb', line 167 def each(kind, &block) ast.each {|r| block.call(r) if r.kind == kind && r.sym != :_empty} end |
#error(*args) ⇒ Object
Error output
243 244 245 246 247 248 249 250 251 252 |
# File 'lib/ebnf/base.rb', line 243 def error(*args) = args.last.is_a?(Hash) ? args.pop : {} depth = [:depth] || @depth args << yield if block_given? = "#{args.join(': ')}" @errors << str = "[#{@lineno}]#{' ' * depth}#{}" @options[:debug] << str if @options[:debug].is_a?(Array) $stderr.puts(str) end |
#find_rule(sym) ⇒ Rule
Find a rule given a symbol
196 197 198 |
# File 'lib/ebnf/base.rb', line 196 def find_rule(sym) (@find ||= {})[sym] ||= ast.detect {|r| r.sym == sym} end |
#progress(*args) ⇒ Object
Progress output, less than debugging
231 232 233 234 235 236 237 238 239 240 |
# File 'lib/ebnf/base.rb', line 231 def progress(*args) return unless @options[:progress] || @options[:debug] = args.last.is_a?(Hash) ? args.pop : {} depth = [:depth] || @depth args << yield if block_given? = "#{args.join(': ')}" str = "[#{@lineno}]#{' ' * depth}#{}" @options[:debug] << str if @options[:debug].is_a?(Array) $stderr.puts(str) if @options[:progress] || @options[:debug] == true end |
#to_s ⇒ String
Output formatted EBNF
182 183 184 |
# File 'lib/ebnf/base.rb', line 182 def to_s Writer.string(*ast) end |
#to_sxp ⇒ String
Write out parsed syntax string as an S-Expression
174 175 176 177 |
# File 'lib/ebnf/base.rb', line 174 def to_sxp require 'sxp' unless defined?(SXP) SXP::Generator.string(ast.sort_by{|r| r.id.to_f}.map(&:for_sxp)) end |
#to_ttl(prefix, ns) ⇒ String
Write out syntax tree as Turtle
205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 |
# File 'lib/ebnf/base.rb', line 205 def to_ttl(prefix, ns) unless ast.empty? [ "@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.", "@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.", "@prefix #{prefix}: <#{ns}>.", "@prefix : <#{ns}>.", "@prefix re: <http://www.w3.org/2000/10/swap/grammar/regex#>.", "@prefix g: <http://www.w3.org/2000/10/swap/grammar/ebnf#>.", "", ":language rdfs:isDefinedBy <>; g:start :#{ast.first.id}.", "", ] end.join("\n") + ast.sort.map(&:to_ttl).join("\n") end |