class Bpl::Reading
Public Instance Methods
run!()
click to toggle source
# File lib/bpl/passes/utility/reading.rb, line 9 def run! added(BoogieLanguage.new.parse(File.read(file))) end
# File lib/bpl/passes/utility/reading.rb, line 9 def run! added(BoogieLanguage.new.parse(File.read(file))) end