proof 0.0.0 → 0.0.1

data/lib/proof/core_ext/object.rb

@@ -0,0 +1,26 @@
+module Proof
+  module CoreExt
+    module Object
+      module Methods
+        extend self
+
+        def define_prove
+          ::Object.class_eval do
+            def prove(&blk)
+              obj_under_test = self
+              Proof::Extend.into obj_under_test
+              result = Proof::Execution.run Description.current, obj_under_test, blk
+              result.write
+            end
+          end
+        end
+
+        def undefine_prove
+          ::Object.class_eval do
+            undef :prove
+          end
+        end
+      end
+    end
+  end
+end

data/lib/proof/core_ext.rb

@@ -0,0 +1 @@
+require 'proof/core_ext/object'

data/lib/proof/description.rb

@@ -0,0 +1,7 @@
+module Proof
+  class Description
+    include Single
+
+    attr_accessor :current
+  end
+end

data/lib/proof/error.rb

@@ -0,0 +1,37 @@
+module Proof
+  class Error
+    include Initializer
+
+    initializer :error
+
+
+    def self.output(error)
+      instance = new error
+      instance.output
+    end
+
+    def backtrace
+      @backtrace ||= @error.backtrace.extend Backtrace
+    end
+
+    def output     
+      backtrace.remove_proof_framework_frames!
+      Output.error error_message
+      Output.backtrace "  #{backtrace.join("\n  ")}"
+    end
+
+    def error_message
+      "(#{error.class}) \"#{error.message}\" at #{backtrace.first_frame}"
+    end
+
+    module Backtrace
+      def first_frame
+        first.gsub(/.*\/proofs\/proof\/(.*\.rb.*)/,'\1')
+      end
+
+      def remove_proof_framework_frames!
+        reject! {|backtrace_line| backtrace_line =~ /proof\/lib\/proof/ }
+      end
+    end
+  end
+end

data/lib/proof/execution.rb

@@ -0,0 +1,23 @@
+module Proof
+  class Execution
+    include Initializer
+
+    initializer :description, :obj_under_test, :blk
+
+    def self.run(description, obj_under_test, blk)
+      instance = new description, obj_under_test, blk
+      instance.run
+    end
+
+    def run
+      error = nil
+      begin
+        result = obj_under_test.instance_eval &blk
+        status = result ? :pass : :fail
+      rescue => error
+        status = :error
+      end
+      Proof::Result.new description, status, error
+    end
+  end
+end

data/lib/proof/extend.rb

@@ -0,0 +1,45 @@
+module Proof
+  class Extend
+    include Initializer
+
+    initializer :obj_under_test
+
+    def self.into(obj_under_test)
+      instance = new obj_under_test
+      instance.extend_obj
+    end
+
+    def mod
+      @mod ||= ([Module, Class].include?(obj_under_test.class) ? obj_under_test : obj_under_test.class)
+    end
+
+    def extend_obj
+      if extension.nil?
+        Output.details "#{mod.name} not extended by #{extension_name}"
+        return obj_under_test
+      end
+
+      Output.details "Extending #{extension_name} into #{mod.name}"
+      obj_under_test.extend extension
+    end
+
+    def extension
+      return @extension if @extension
+
+      Output.details "#{mod.name} has #{defined ? '' : 'no '}inner Proof"
+
+      return nil unless defined
+      
+      Output.details "Getting constant #{mod.name}::Proof"
+      @extension ||= mod.const_get :Proof, search_ancestors=false
+    end
+
+    def defined
+      @defined ||= mod.const_defined? :Proof, search_ancestors=false
+    end
+
+    def extension_name
+      "#{mod.name}::Proof"
+    end
+  end
+end

data/lib/proof/namespace.rb

@@ -0,0 +1,11 @@
+module Proof
+  module Namespace
+    def root_namespace
+       self.class.name.split('::').first
+    end
+
+    def namespace(*namespace)
+      namespace.join('::')
+    end
+  end
+end

data/lib/proof/output.rb

@@ -0,0 +1,86 @@
+require 'ostruct'
+
+module Proof
+  class Output
+    include Single
+    include Setter::Settings
+    include ::Output
+
+    level :info
+
+    writer :h1, :level => :info do |text|
+      prefix :h1, text.upcase
+    end
+
+    writer :h2, :level => :info do |text|
+      prefix :h2, text
+    end
+
+    writer :pass, :level => :info do |text|
+      prefix :pass, "Pass: #{text}"
+    end
+
+    writer :fail, :level => :info do |text|
+      prefix :fail, "-> Fail: #{text}"
+    end
+
+    writer :error, :level => :warn do |text|
+      prefix :error, "Error: #{text}"
+    end
+
+    writer :backtrace, :level => :error do |text|
+      prefix :backtrace, text
+    end
+
+    writer :details, :level => :debug do |text|
+      prefix :details, "! #{text}"
+    end
+
+    writer :note, :level => :info do |text|
+      prefix :note, "* #{text}"
+    end
+
+    writer :info, :level => :info do |text|
+      prefix :info, text
+    end
+
+    writer :summary, :level => :info do |text|
+      prefix :summary, text.upcase
+    end
+
+    def prefix(method, text)
+      lines = lines(method)
+      "#{lines}#{text}"
+    end
+
+    def lines(method)
+      if [:h1, :summary].include? method
+        lines = 2
+      elsif [:h2, :details, :note, :info].include? method
+        lines = 1
+      elsif [:pass, :fail].include? method
+        if last_method? :h1, :h2, :error, :backtrace
+          lines = 1
+        else
+          lines = 0
+        end
+      elsif method == :error
+        lines = 1
+      elsif method == :backtrace
+        unless last_method? :error
+          lines = 1
+        else
+          lines = 0
+        end
+      else
+        lines = 1
+      end
+
+      new_line lines
+    end
+
+    def new_line(num=1)
+      "\n" * num
+    end
+  end
+end

data/lib/proof/proof.rb

@@ -1,32 +1,42 @@
-require 'mixology'
+module Proof
+  def proof(description=nil, &block)
+    Proof::Description.current = description
+    Proof.begin
+    yield
+    Proof.end
+    Proof::Description.current = nil
+  end
+
+  def desc(description)
+    Proof::Description.current = description
+  end
 
-module Proof  
-  def start
-    def_prove
+  def title(title)
+    Proof::Output.h1 title
+  end
+
+  def heading(heading)
+    Proof::Output.h2 heading
     if block_given?
       yield
-      undef_prove
     end
   end
-  module_function :start
-  
-  def def_prove
-    Object.class_eval do
-      def prove(&blk)
-        proof_module = self.class.const_get :Proof
-        mixin proof_module
-        proof = instance_eval &blk
-        unmix proof_module
-        proof
-      end
-    end
+
+  def section(heading=nil)
+    Proof::Output.h2 heading if heading
+    yield if block_given?
   end
-  module_function :def_prove
-  
-  def undef_prove
-    Object.class_eval do
-      undef :prove
-    end
+  alias :block :section
+
+  def comment(comment)
+    Proof::Output.note comment
+  end
+
+  def self.begin
+    CoreExt::Object::Methods.define_prove
+  end
+
+  def self.end
+    CoreExt::Object::Methods.undefine_prove
   end
-  module_function :undef_prove
 end

data/lib/proof/result.rb

@@ -0,0 +1,19 @@
+module Proof
+  class Result
+    include Initializer
+
+    initializer :description, :status, :error
+
+    def write
+      Output.write output_method, description
+      Error.output error if status == :error
+    end
+
+    def output_method
+      if status == :error
+        return :fail
+      end
+      return status
+    end
+  end
+end

data/lib/proof/runner.rb

@@ -0,0 +1,2 @@
+require 'proof/runner/suite'
+require 'proof/runner/summary'

data/lib/proof/suite.rb

@@ -0,0 +1,82 @@
+require 'stringio'
+require 'pathname'
+
+module Proof
+  class Suite
+    attr_reader :files
+
+    def device
+      @device ||= self.class.default_device
+    end
+
+    def output
+      @output ||= self.class.default_output
+    end
+
+    def initialize(files, device = nil, output = nil)
+      @files = files
+      @device = device
+      @output = output
+    end
+
+    def self.default_device
+      Output::Devices.build_device(:string_io, :name => :suite_results)
+    end
+
+    def self.default_output
+      Proof::Output.instance
+    end
+
+    def self.run(*args)
+      device = default_device
+      output = default_output
+
+      if args.last.is_a? Hash
+        opts = args.pop
+        device = opts[:device] || device
+        output = opts[:output] || output
+      end
+
+      base_dir = File.expand_path(File.dirname(caller[0]))
+      file_patterns = flatten(args)
+      files = glob(file_patterns, base_dir)
+
+      if files.empty?
+        output.summary "!! Suite has no files"
+        return :failure
+      end
+
+      instance = new files, device, output
+      results = instance.run
+
+      Summary.output(results, output)
+    end
+
+    def self.glob(patterns, base_dir)
+      files = []
+      patterns.each do |pattern|
+        pattern = Pathname.new(pattern).absolute? ? pattern : File.join(base_dir, pattern)
+        files.concat Dir.glob(pattern)
+      end
+      files
+    end
+
+    def self.flatten(args)
+      files = []
+      args.each do |pattern|
+        files.concat pattern.is_a?(Array) ? pattern : [pattern]
+      end
+      files
+    end
+
+    def run
+      output.push_device(device) do
+        files.each do |file|
+          load file
+        end
+      end
+
+      device.readlines
+    end
+  end
+end

data/lib/proof/summary.rb

@@ -0,0 +1,61 @@
+module Proof
+  class Summary
+    include Initializer
+
+    PASS_PATTERN = /Pass:.*$/
+    FAIL_PATTERN = /-> Fail:.*$/
+    ERROR_PATTERN = /Error:.*$/
+
+    initializer :results, :the_output
+
+    def self.output(results, output)
+      instance = new results, output
+      instance.output
+      instance.status
+    end
+
+    def passes
+      results.grep PASS_PATTERN
+    end
+
+    def fails
+      results.grep FAIL_PATTERN
+    end
+
+    def errors
+      results.grep ERROR_PATTERN
+    end
+
+    def status
+      if no_results? or any_failures?
+        @status = :failure
+      else any_successes?
+        @status = :success
+      end
+
+      @status
+    end
+
+    def no_results?
+      [passes.count, fails.count, errors.count].all? { |count| count == 0 }
+    end
+
+    def any_failures?
+      [fails.count, errors.count].any? { |count| count > 0 }
+    end
+
+    def any_successes?
+      [fails.count, errors.count].any? { |count| count > 0 }
+    end
+
+    def summary
+      "Passed: #{passes.count}\n" \
+      "Failed: #{fails.count}\n" \
+      "Errors: #{errors.count}\n"
+    end
+
+    def output
+      @the_output.summary summary
+    end
+  end
+end

data/lib/proof.rb

@@ -1 +1,17 @@
-require 'observance/observance'
+require 'logging'
+require 'single'
+require 'setter'
+require 'output'
+require 'initializer'
+
+require 'proof/namespace'
+require 'proof/description'
+require 'proof/extend'
+require 'proof/result'
+require 'proof/execution'
+require 'proof/error'
+require 'proof/core_ext'
+require 'proof/proof'
+require 'proof/output'
+require 'proof/suite'
+require 'proof/summary'

metadata

@@ -1,18 +1,18 @@
 --- !ruby/object:Gem::Specification
 name: proof
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.0.1
   prerelease: 
 platform: ruby
 authors:
-- We made this
+- The Sans Collective
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-10-18 00:00:00.000000000 Z
+date: 2013-04-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
-  name: mixology
+  name: logging
   requirement: !ruby/object:Gem::Requirement
     none: false
     requirements:
@@ -33,10 +33,21 @@ executables: []
 extensions: []
 extra_rdoc_files: []
 files:
+- lib/proof/core_ext/object.rb
+- lib/proof/core_ext.rb
+- lib/proof/description.rb
+- lib/proof/error.rb
+- lib/proof/execution.rb
+- lib/proof/extend.rb
+- lib/proof/namespace.rb
+- lib/proof/output.rb
 - lib/proof/proof.rb
-- lib/proof/version.rb
+- lib/proof/result.rb
+- lib/proof/runner.rb
+- lib/proof/suite.rb
+- lib/proof/summary.rb
 - lib/proof.rb
-homepage: 
+homepage: https://github.com/Sans/proof
 licenses: []
 post_install_message: 
 rdoc_options: []
@@ -56,7 +67,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.24
+rubygems_version: 1.8.25
 signing_key: 
 specification_version: 3
 summary: Proof Library

data/lib/proof/version.rb

@@ -1,3 +0,0 @@
-module Proof
-  VERSION = "0.0.0"
-end