module ADSL::Verification::RailsVerification

Public Instance Methods

adsl_translate(options = {}) click to toggle source
# File lib/adsl/verification/rails_verification.rb, line 26
def adsl_translate(options = {})
  ast = extract_ast options
  puts ast.to_adsl
end
extract_ast(options = {}) click to toggle source
# File lib/adsl/verification/rails_verification.rb, line 16
def extract_ast(options = {})
  options = {
    :verify_options => {},
    :extract_options => {}
  }.merge options
  ast = options[:ast]
  ast = ADSL::Extract::Rails::RailsExtractor.new(options[:extract_options]).adsl_ast if ast.nil?
  ast
end
verify_spass(options = {}) click to toggle source
# File lib/adsl/verification/rails_verification.rb, line 7
def verify_spass(options = {})
  ast = extract_ast options
  
  require 'adsl/spass/bin'
  self.class.send :include, ::ADSL::Spass::Bin

  return verify(ast, options[:verify_options])
end