laser 0.7.0.pre1

data/spec/spec_helper.rb

@@ -0,0 +1,121 @@
+%x(rake build_parsers)
+
+$LOAD_PATH.unshift(File.dirname(__FILE__))
+$LOAD_PATH.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
+
+require 'laser'
+require 'rspec'
+require 'rspec/autorun'
+require 'stringio'
+
+include Laser
+module Laser
+  remove_const(:TESTS_ACTIVATED)
+  const_set(:TESTS_ACTIVATED, true)
+end
+
+include Laser::Analysis
+# Turn off method-is-used- checking until we explicitly test
+# it - it just muddies up stuff
+LaserMethod.default_dispatched = true
+
+RSpec::Matchers.define :equal_type do |type|
+  match do |orig|
+    Types::subtype?(orig, type) || begin
+      orig.possible_classes.all? { |klass|
+        type.possible_classes.any? { |potential_super|
+          klass <= potential_super
+        }
+      }
+    end
+  end
+end
+
+RSpec::Matchers.define :see_var do |name|
+  match do |node|
+    node.scope.sees_var?(name)
+  end
+  
+  failure_message_for_should do |node|
+    "scope #{node.scope.inspect} should have had variable #{name}, but it didn't."
+  end
+  
+  failure_message_for_should_not do |node|
+    "scope #{node.scope.inspect} should have not been able to see variable #{name}, but it can."
+  end
+end
+
+RSpec::Matchers.define :parse_to do |output|
+  match do |actual|
+    @result = Parsers::AnnotationParser.new.parse(actual, root: :type)
+    @result && (@result.type == output)
+  end
+  
+  failure_message_for_should do |actual|
+    "expected '#{actual}' to parse to #{output.inspect}, not #{@result.type.inspect}"
+  end
+  
+  failure_message_for_should_not do |actual|
+    "expected '#{actual}' to not parse to #{output.inspect}"
+  end
+end
+
+RSpec::Matchers.define :correct_to do |input, output, *args|
+  match do |actual|
+    actual.new('(stdin)', input, *args).fix == output
+  end
+  
+  failure_message_for_should do |actual|
+    "expected '#{input}' to correct to #{output.inspect}"
+  end
+  
+  failure_message_for_should_not do |actual|
+    "expected '#{input}' to not correct to #{output.inspect}"
+  end
+end
+
+RSpec::Matchers.define :warn do |input, *args|
+  match do |actual|
+    result = actual.new('(stdin)', input, *args).match?
+    result && result != [] # empty list is also failure to find any warnings
+  end
+  
+  failure_message_for_should do |actual|
+    "expected '#{actual}' to match #{input.inspect}"
+  end
+  
+  failure_message_for_should_not do |actual|
+    "expected '#{actual}' to not match #{input.inspect}"
+  end
+end
+
+RSpec.configure do |config|
+  config.filter_run focus: true
+  config.run_all_when_everything_filtered = true
+end
+
+def many_mocks(n)
+  ([nil] * n).fill { mock }
+end
+
+def with_examples(*args)
+  args.each do |arg|
+    yield arg
+  end
+end
+
+def swizzling_io
+  old_stdout, $stdout = $stdout, StringIO.new
+  yield
+  return $stdout.string
+ensure
+  $stdout = old_stdout
+end
+
+def swizzling_stdin
+  old_stdin, $stdin = $stdin, StringIO.new
+  yield $stdin
+  return $stdin.string
+ensure
+  $stdin = old_stdin
+end

data/spec/standard_library/exceptions_spec.rb

@@ -0,0 +1,19 @@
+require File.dirname(__FILE__) + '/spec_helper'
+
+describe 'standard library exceptions' do
+  %w(Exception StandardError IOError TypeError ScriptError SystemExit
+     SignalException Interrupt ArgumentError IndexError KeyError
+     RangeError SyntaxError LoadError NotImplementedError NameError
+     NoMethodError RuntimeError SecurityError NoMemoryError EncodingError
+     SystemCallError ZeroDivisionError FloatDomainError RegexpError EOFError
+     LocalJumpError SystemStackError).each do |error|
+    it "should define a constant named #{error} at the top level" do
+      ClassRegistry['Object'].const_get(error).should be_a(LaserClass)
+    end
+    
+    it "should define #{error} as a class with Exception in its superset" do
+      klass = ClassRegistry['Object'].const_get(error)
+      klass.superset.should include(ClassRegistry['Exception'])
+    end
+  end
+end

data/spec/standard_library/globals_spec.rb

@@ -0,0 +1,14 @@
+require File.dirname(__FILE__) + '/spec_helper'
+
+describe Scope::GlobalScope do
+  describe '$:' do
+    it 'should be an array' do
+      Scope::GlobalScope.lookup('$:').value.should be_a(Array)
+    end
+    
+    it 'should contain the path to standard_library' do
+      Scope::GlobalScope.lookup('$:').value.should include(
+          File.expand_path(File.join(File.dirname(__FILE__), '..', '..', 'lib', 'laser', 'standard_library')))
+    end
+  end
+end

data/spec/standard_library/set_spec.rb

@@ -0,0 +1,31 @@
+require File.dirname(__FILE__) + '/spec_helper'
+
+describe 'the Set module' do
+  before(:all) do
+    @tree = annotate_all('require "set"')
+  end
+
+  it 'should have no errors from the inclusion' do
+    @tree.all_errors.should be_empty
+  end
+
+  it 'should load fine' do
+    ClassRegistry['Set'].should_not be_nil
+  end
+  
+  it 'should have a class method .[]' do
+    method = ClassRegistry['Set'].singleton_class.instance_method(:[])
+    method.should_not be_nil
+    method.arity.should == Arity::ANY
+    method.arguments.size.should == 1
+  end
+  
+  %w(& + - << == ^ add add? classify clear collect! delete delete? delete_if difference divide
+     each empty? flatten flatten! flatten_merge include? initialize_copy inspect intersection
+     length map! member? merge proper_subset? proper_superset? reject! replace size
+     subset? subtract superset? to_a union |).each do |method|
+    it "should have an instance method named #{method}" do
+      ClassRegistry['Set'].instance_method(method).should_not be_nil
+    end
+  end
+end

data/spec/standard_library/spec_helper.rb

@@ -0,0 +1 @@
+require_relative '../spec_helper'

data/spec/standard_library/standard_library_spec.rb

@@ -0,0 +1,302 @@
+require_relative 'spec_helper'
+
+describe 'the automatically analyzed Ruby Standard Library' do
+  shared_examples_for 'a module' do
+    it 'should be a module' do
+      @module.class.should == LaserModule
+    end
+  end
+  
+  shared_examples_for 'a class' do
+    it 'should be a class' do
+      @class.class.should == LaserClass
+    end
+  end
+  
+  shared_examples_for 'a singleton class' do
+    it 'should be a singleton class' do
+      @class.class.should == LaserSingletonClass
+    end
+    
+    it 'should have a single object with an equal singleton class' do
+      @class.get_instance.singleton_class.should be @class
+    end
+    
+    it 'should have a single object whose class equals the singleton class' do
+      @class.get_instance.klass.should be @class
+    end
+  end
+
+  describe 'RUBY_VERSION' do
+    it 'should be 1.9.2' do
+      ClassRegistry['Object'].const_get('RUBY_VERSION').should == "1.9.2"
+    end
+  end
+
+  describe 'Kernel' do
+    before do
+      @module = ClassRegistry['Kernel']
+    end
+    
+    it_should_behave_like 'a module'
+  end
+
+  describe 'BasicObject' do
+    before do
+      @class = ClassRegistry['BasicObject']
+    end
+
+    it 'should have no superclass' do
+      @class.superclass.should == nil
+    end
+    
+    %w(! == != equal? __send__ instance_eval instance_exec).each do |method|
+      sym = method.to_sym
+      it "should define the instance method #{method}" do
+        @class.instance_method(sym).should_not be_nil
+      end
+      it "should define the instance method #{method} as public" do
+        @class.visibility_table[sym].should be :public
+      end
+    end
+    
+    %w(initialize method_missing singleton_method_added singleton_method_removed
+       singleton_method_undefined).each do |method|
+      sym = method.to_sym
+      it "should define the instance method #{method}" do
+        @class.instance_method(sym).should_not be_nil
+      end
+      it "should define the instance method #{method} as private" do
+        @class.visibility_table[sym].should be :private
+      end
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Object' do
+    before do
+      @class = ClassRegistry['Object']
+    end
+
+    it 'should be a subclass of BasicObject' do
+      @class.superclass.should == ClassRegistry['BasicObject']
+    end
+    
+    it 'should include the Kernel module' do
+      @class.included_modules.should include(ClassRegistry['Kernel'])
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'NilClass' do
+    before do
+      @class = ClassRegistry['NilClass']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it 'should have an instance named nil' do
+      @class.get_instance.name.should == 'nil'
+    end
+    
+    it_should_behave_like 'a singleton class'
+  end
+
+  describe 'TrueClass' do
+    before do
+      @class = ClassRegistry['TrueClass']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it 'should have an instance named true' do
+      @class.get_instance.name.should == 'true'
+    end
+    
+    it_should_behave_like 'a singleton class'
+  end
+
+  describe 'FalseClass' do
+    before do
+      @class = ClassRegistry['FalseClass']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it 'should have an instance named false' do
+      @class.get_instance.name.should == 'false'
+    end
+    
+    it_should_behave_like 'a singleton class'
+  end
+
+  describe 'Hash' do
+    before do
+      @class = ClassRegistry['Hash']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Array' do
+    before do
+      @class = ClassRegistry['Array']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Range' do
+    before do
+      @class = ClassRegistry['Range']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Proc' do
+    before do
+      @class = ClassRegistry['Proc']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'String' do
+    before do
+      @class = ClassRegistry['String']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Symbol' do
+    before do
+      @class = ClassRegistry['Symbol']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Regexp' do
+    before do
+      @class = ClassRegistry['Regexp']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+  
+  describe 'Encoding' do
+    before do
+      @class = ClassRegistry['Encoding']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Numeric' do
+    before do
+      @class = ClassRegistry['Numeric']
+    end
+  
+    it 'should be a subclass of Object' do
+      @class.superclass.should == ClassRegistry['Object']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+  
+  describe 'Integer' do
+    before do
+      @class = ClassRegistry['Integer']
+    end
+
+    it 'should be a subclass of Numeric' do
+      @class.superclass.should == ClassRegistry['Numeric']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Fixnum' do
+    before do
+      @class = ClassRegistry['Fixnum']
+    end
+
+    it 'should be a subclass of Integer' do
+      @class.superclass.should == ClassRegistry['Integer']
+    end
+    
+    describe '#==' do
+      it 'should be pure' do
+        @class.instance_method(:==).pure.should be true
+      end
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Bignum' do
+    before do
+      @class = ClassRegistry['Bignum']
+    end
+
+    it 'should be a subclass of Integer' do
+      @class.superclass.should == ClassRegistry['Integer']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+
+  describe 'Float' do
+    before do
+      @class = ClassRegistry['Float']
+    end
+
+    it 'should be a subclass of Numeric' do
+      @class.superclass.should == ClassRegistry['Numeric']
+    end
+    
+    it_should_behave_like 'a class'
+  end
+end