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