Class: SexpProcessor
Overview
SexpProcessor provides a uniform interface to process Sexps.
In order to create your own SexpProcessor subclass you’ll need to call super in the initialize method, then set any of the Sexp flags you want to be different from the defaults.
SexpProcessor uses a Sexp’s type to determine which process method to call in the subclass. For Sexp s(:lit, 1)
SexpProcessor will call #process_lit, if it is defined.
You can also specify a default method to call for any Sexp types without a process_<type> method or use the default processor provided to skip over them.
Here is a simple example:
class MyProcessor < SexpProcessor
def initialize
super
self.strict = false
end
def process_lit(exp)
val = exp.shift
return val
end
end
Direct Known Subclasses
Defined Under Namespace
Classes: Environment
Constant Summary collapse
- VERSION =
'4.0.1'
Instance Attribute Summary collapse
-
#auto_shift_type ⇒ Object
Automatically shifts off the Sexp type before handing the Sexp to process_<type>.
-
#context ⇒ Object
readonly
Return a stack of contexts.
-
#debug ⇒ Object
A Hash of Sexp types and Regexp.
-
#default_method ⇒ Object
A default method to call if a process_<type> method is not found for the Sexp type.
-
#env ⇒ Object
readonly
A scoped environment to make you happy.
-
#expected ⇒ Object
Expected result class.
-
#require_empty ⇒ Object
Raise an exception if the Sexp is not empty after processing.
-
#strict ⇒ Object
Raise an exception if no process_<type> method is found for a Sexp.
-
#unsupported ⇒ Object
An array that specifies node types that are unsupported by this processor.
-
#warn_on_default ⇒ Object
Emit a warning when the method in #default_method is called.
Instance Method Summary collapse
- #assert_empty(meth, exp, exp_orig) ⇒ Object
-
#assert_type(list, typ) ⇒ Object
Raises unless the Sexp type for
list
matchestyp
. -
#error_handler(type, exp = nil) ⇒ Object
:nodoc:.
- #in_context(type) ⇒ Object
-
#initialize ⇒ SexpProcessor
constructor
Creates a new SexpProcessor.
-
#on_error_in(node_type, &block) ⇒ Object
Registers an error handler for
node
. -
#process(exp) ⇒ Object
Default Sexp processor.
-
#process_dummy(exp) ⇒ Object
A fairly generic processor for a dummy node.
- #rewrite(exp) ⇒ Object
-
#scope(&block) ⇒ Object
Add a scope level to the current env.
Constructor Details
#initialize ⇒ SexpProcessor
Creates a new SexpProcessor. Use super to invoke this initializer from SexpProcessor subclasses, then use the attributes above to customize the functionality of the SexpProcessor
102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 |
# File 'lib/sexp_processor.rb', line 102 def initialize @default_method = nil @warn_on_default = true @auto_shift_type = false @strict = false @unsupported = [:alloca, :cfunc, :cref, :ifunc, :last, :memo, :newline, :opt_n, :method] @unsupported_checked = false @debug = {} @expected = Sexp @require_empty = true @exceptions = {} # we do this on an instance basis so we can subclass it for # different processors. @processors = {} @rewriters = {} @context = [] public_methods.each do |name| case name when /^process_(.*)/ then @processors[$1.to_sym] = name.to_sym when /^rewrite_(.*)/ then @rewriters[$1.to_sym] = name.to_sym end end end |
Instance Attribute Details
#auto_shift_type ⇒ Object
Automatically shifts off the Sexp type before handing the Sexp to process_<type>
43 44 45 |
# File 'lib/sexp_processor.rb', line 43 def auto_shift_type @auto_shift_type end |
#context ⇒ Object (readonly)
Return a stack of contexts. Most recent node is first.
48 49 50 |
# File 'lib/sexp_processor.rb', line 48 def context @context end |
#debug ⇒ Object
A Hash of Sexp types and Regexp.
Print a debug message if the Sexp type matches the Hash key and the Sexp’s #inspect output matches the Regexp.
56 57 58 |
# File 'lib/sexp_processor.rb', line 56 def debug @debug end |
#default_method ⇒ Object
A default method to call if a process_<type> method is not found for the Sexp type.
62 63 64 |
# File 'lib/sexp_processor.rb', line 62 def default_method @default_method end |
#env ⇒ Object (readonly)
A scoped environment to make you happy.
94 95 96 |
# File 'lib/sexp_processor.rb', line 94 def env @env end |
#expected ⇒ Object
Expected result class
67 68 69 |
# File 'lib/sexp_processor.rb', line 67 def expected @expected end |
#require_empty ⇒ Object
Raise an exception if the Sexp is not empty after processing
72 73 74 |
# File 'lib/sexp_processor.rb', line 72 def require_empty @require_empty end |
#strict ⇒ Object
Raise an exception if no process_<type> method is found for a Sexp.
77 78 79 |
# File 'lib/sexp_processor.rb', line 77 def strict @strict end |
#unsupported ⇒ Object
An array that specifies node types that are unsupported by this processor. SexpProcessor will raise UnsupportedNodeError if you try to process one of those node types.
84 85 86 |
# File 'lib/sexp_processor.rb', line 84 def unsupported @unsupported end |
#warn_on_default ⇒ Object
Emit a warning when the method in #default_method is called.
89 90 91 |
# File 'lib/sexp_processor.rb', line 89 def warn_on_default @warn_on_default end |
Instance Method Details
#assert_empty(meth, exp, exp_orig) ⇒ Object
131 132 133 134 135 136 137 |
# File 'lib/sexp_processor.rb', line 131 def assert_empty(meth, exp, exp_orig) unless exp.empty? then msg = "exp not empty after #{self.class}.#{meth} on #{exp.inspect}" msg += " from #{exp_orig.inspect}" if $DEBUG raise NotEmptyError, msg end end |
#assert_type(list, typ) ⇒ Object
Raises unless the Sexp type for list
matches typ
269 270 271 272 |
# File 'lib/sexp_processor.rb', line 269 def assert_type(list, typ) raise SexpTypeError, "Expected type #{typ.inspect} in #{list.inspect}" if not Array === list or list.first != typ end |
#error_handler(type, exp = nil) ⇒ Object
:nodoc:
274 275 276 277 278 279 280 281 282 283 284 285 |
# File 'lib/sexp_processor.rb', line 274 def error_handler(type, exp=nil) # :nodoc: begin return yield rescue StandardError => err if @exceptions.has_key? type then return @exceptions[type].call(self, exp, err) else warn "#{err.class} Exception thrown while processing #{type} for sexp #{exp.inspect} #{caller.inspect}" if $DEBUG raise end end end |
#in_context(type) ⇒ Object
338 339 340 341 342 343 344 |
# File 'lib/sexp_processor.rb', line 338 def in_context type self.context.unshift type yield self.context.shift end |
#on_error_in(node_type, &block) ⇒ Object
Registers an error handler for node
290 291 292 |
# File 'lib/sexp_processor.rb', line 290 def on_error_in(node_type, &block) @exceptions[node_type] = block end |
#process(exp) ⇒ Object
Default Sexp processor. Invokes process_<type> methods matching the Sexp type given. Performs additional checks as specified by the initializer.
172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 |
# File 'lib/sexp_processor.rb', line 172 def process(exp) return nil if exp.nil? if self.context.empty? then p :rewriting unless debug.empty? exp = self.rewrite(exp) p :done_rewriting unless debug.empty? end unless @unsupported_checked then m = public_methods.grep(/^process_/) { |o| o.to_s.sub(/^process_/, '').to_sym } supported = m - (m - @unsupported) raise UnsupportedNodeError, "#{supported.inspect} shouldn't be in @unsupported" unless supported.empty? @unsupported_checked = true end result = self.expected.new type = exp.first raise "type should be a Symbol, not: #{exp.first.inspect}" unless Symbol === type in_context type do if @debug.has_key? type then str = exp.inspect puts "// DEBUG:(original ): #{str}" if str =~ @debug[type] end exp_orig = nil exp_orig = exp.deep_clone if $DEBUG or @debug.has_key? type or @exceptions.has_key?(type) raise UnsupportedNodeError, "'#{type}' is not a supported node type" if @unsupported.include? type # now do a pass with the real processor (or generic) meth = @processors[type] || @default_method if meth then if @warn_on_default and meth == @default_method then warn "WARNING: Using default method #{meth} for #{type}" end exp.shift if @auto_shift_type and meth != @default_method result = error_handler(type, exp_orig) do self.send(meth, exp) end if @debug.has_key? type then str = exp.inspect puts "// DEBUG (processed): #{str}" if str =~ @debug[type] end raise SexpTypeError, "Result must be a #{@expected}, was #{result.class}:#{result.inspect}" unless @expected === result self.assert_empty(meth, exp, exp_orig) if @require_empty else unless @strict then until exp.empty? do sub_exp = exp.shift sub_result = nil if Array === sub_exp then sub_result = error_handler(type, exp_orig) do process(sub_exp) end raise "Result is a bad type" unless Array === sub_exp raise "Result does not have a type in front: #{sub_exp.inspect}" unless Symbol === sub_exp.first unless sub_exp.empty? else sub_result = sub_exp end result << sub_result end # NOTE: this is costly, but we are in the generic processor # so we shouldn't hit it too much with RubyToC stuff at least. #if Sexp === exp and not exp.sexp_type.nil? then begin result.sexp_type = exp.sexp_type rescue Exception # nothing to do, on purpose end else msg = "Bug! Unknown node-type #{type.inspect} to #{self.class}" msg += " in #{exp_orig.inspect} from #{caller.inspect}" if $DEBUG raise UnknownNodeError, msg end end end result end |
#process_dummy(exp) ⇒ Object
305 306 307 308 309 310 311 312 313 |
# File 'lib/sexp_processor.rb', line 305 def process_dummy(exp) result = @expected.new(:dummy) rescue @expected.new until exp.empty? do result << self.process(exp.shift) end result end |
#rewrite(exp) ⇒ Object
139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 |
# File 'lib/sexp_processor.rb', line 139 def rewrite(exp) type = exp.first if @debug.has_key? type then str = exp.inspect puts "// DEBUG (original ): #{str}" if str =~ @debug[type] end in_context type do exp.map! { |sub| Array === sub ? rewrite(sub) : sub } end begin meth = @rewriters[type] exp = self.send(meth, exp) if meth break unless Sexp === exp if @debug.has_key? type then str = exp.inspect puts "// DEBUG (rewritten): #{str}" if str =~ @debug[type] end old_type, type = type, exp.first end until old_type == type exp end |
#scope(&block) ⇒ Object
Add a scope level to the current env. Eg:
def process_defn exp
name = exp.shift
args = process(exp.shift)
scope do
body = process(exp.shift)
# ...
end
end
env[:x] = 42
scope do
env[:x] # => 42
env[:y] = 24
end
env[:y] # => nil
334 335 336 |
# File 'lib/sexp_processor.rb', line 334 def scope &block env.scope(&block) end |