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