adsl 0.0.3 → 0.1.0

data/test/unit/adsl/extract/rails/active_record_metaclass_generator_test.rb

@@ -0,0 +1,336 @@
+require 'test/unit'
+require 'pp'
+require 'active_record'
+require 'adsl/util/test_helper'
+require 'adsl/parser/ast_nodes'
+require 'adsl/extract/rails/active_record_metaclass_generator'
+require 'adsl/extract/rails/rails_test_helper'
+require 'adsl/extract/rails/rails_instrumentation_test_case'
+
+module ADSL::Extract::Rails
+  class ActiveRecordMetaclassGeneratorTest < RailsInstrumentationTestCase
+
+    include ADSL::Parser
+
+    def test_adsl_ast_class_name
+      initialize_metaclasses
+      
+      assert_equal 'Asd',      Asd.adsl_ast_class_name
+      assert_equal 'Kme',      Kme.adsl_ast_class_name
+      assert_equal 'Mod_Blah', Mod::Blah.adsl_ast_class_name
+    end
+
+    def test_generate__class_method_defined__all
+      initialize_metaclasses
+
+      assert Asd.respond_to? :all
+      assert_equal Asd, Asd.all.class
+      assert_equal ASTAllOf, Asd.all.adsl_ast.class
+    end
+    
+    def test_generate__metaclasses_create_instances_with_association_accessors
+      initialize_metaclasses
+
+      asd = Asd.new :adsl_ast => nil
+      assert asd.respond_to? :blahs
+      assert_equal Mod::Blah, asd.blahs.class
+      
+      blah = Mod::Blah.new :adsl_ast => nil
+      assert blah.respond_to? :asd
+      assert_equal Asd, blah.asd.class
+    end
+
+    def test_generate__associations_adsl_ast
+      initialize_metaclasses
+      
+      asd = Asd.adsl_ast
+      assert_equal 1, asd.relations.length
+      assert_equal [0, 1.0/0.0], asd.relations.first.cardinality
+      assert_equal 'Mod_Blah', asd.relations.first.to_class_name.text
+      assert_equal 'blahs', asd.relations.first.name.text
+      assert_equal 'asd', asd.relations.first.inverse_of_name.text
+
+      kme = Kme.adsl_ast
+      assert_equal 1, kme.relations.length
+      assert_equal [0, 1], kme.relations.last.cardinality
+      assert_equal 'Mod_Blah', kme.relations.last.to_class_name.text
+      assert_equal 'blah', kme.relations.last.name.text
+      assert_nil kme.relations.last.inverse_of_name
+
+      blah = Mod::Blah.adsl_ast
+      assert_equal 2, blah.relations.length
+
+      assert_equal [0, 1], blah.relations.first.cardinality
+      assert_equal 'Asd', blah.relations.first.to_class_name.text
+      assert_equal 'asd', blah.relations.first.name.text
+      assert_nil blah.relations.first.inverse_of_name
+
+      assert_equal [0, 1], blah.relations.second.cardinality
+      assert_equal 'Kme', blah.relations.second.to_class_name.text
+      assert_equal 'kme12', blah.relations.second.name.text
+      assert_equal 'blah', blah.relations.second.inverse_of_name.text
+    end
+
+    def test_generate__associations_through
+      initialize_metaclasses
+     
+      assert Asd.adsl_ast.relations.select{ |rel| rel.name.text == 'kmes' }.empty?
+      objset = Asd.new :adsl_ast => :something_unique
+      through = objset.kmes
+      assert_equal Kme, through.class
+
+      assert_equal ASTDereference, through.adsl_ast.class
+      assert_equal 'kme12', through.adsl_ast.rel_name.text 
+      assert_equal ASTDereference, through.adsl_ast.objset.class
+      assert_equal 'blahs', through.adsl_ast.objset.rel_name.text 
+      assert_equal :something_unique, through.adsl_ast.objset.objset
+    end
+
+    def test_generate__delete_single_statements
+      initialize_metaclasses
+
+      asd_delete = Asd.new.delete
+      assert_equal 1, asd_delete.length
+      assert_equal ASTDeleteObj, asd_delete.first.class
+      
+      kme_delete = Kme.new.delete
+      assert_equal 1, kme_delete.length
+      assert_equal ASTDeleteObj, kme_delete.first.class
+      
+      blah_delete = Mod::Blah.new.delete
+      assert_equal 1, blah_delete.length
+      assert_equal ASTDeleteObj, blah_delete.first.class
+    end
+
+    def test_generate__destroy_propagates_to_delete_but_not_further
+      initialize_metaclasses
+
+      asd_delete = Mod::Blah.new(:adsl_ast => ASTDummyObjset.new(:type => :blah)).destroy
+      assert_equal 2, asd_delete.length
+
+      assert_equal ASTDeleteObj,   asd_delete.first.class
+      assert_equal ASTDereference, asd_delete.first.objset.class
+      assert_equal 'kme12',        asd_delete.first.objset.rel_name.text
+      assert_equal ASTDummyObjset, asd_delete.first.objset.objset.class
+      assert_equal :blah,          asd_delete.first.objset.objset.type
+
+      assert_equal ASTDeleteObj,   asd_delete.last.class
+      assert_equal ASTDummyObjset, asd_delete.last.objset.class
+      assert_equal :blah,          asd_delete.last.objset.type
+    end
+    
+    def test_generate__destroy_through_destroys_the_join_object
+      initialize_metaclasses
+
+      asd_delete = Asd.new(:adsl_ast => ASTDummyObjset.new(:type => :blah)).destroy
+      assert_equal 3, asd_delete.length
+      
+      assert_equal ASTDeleteObj,   asd_delete[0].class
+      assert_equal ASTDereference, asd_delete[0].objset.class
+      assert_equal ASTDereference, asd_delete[0].objset.objset.class
+      assert_equal 'kme12',        asd_delete[0].objset.rel_name.text
+      assert_equal 'blahs',        asd_delete[0].objset.objset.rel_name.text
+      assert_equal ASTDummyObjset, asd_delete[0].objset.objset.objset.class
+      assert_equal :blah,          asd_delete[0].objset.objset.objset.type
+
+      assert_equal ASTDeleteObj,   asd_delete[1].class
+      assert_equal ASTDereference, asd_delete[1].objset.class
+      assert_equal 'blahs',        asd_delete[1].objset.rel_name.text
+      assert_equal ASTDummyObjset, asd_delete[1].objset.objset.class
+      assert_equal :blah,          asd_delete[1].objset.objset.type
+      
+      assert_equal ASTDeleteObj,   asd_delete[2].class
+      assert_equal ASTDummyObjset, asd_delete[2].objset.class
+      assert_equal :blah,          asd_delete[2].objset.type
+    end
+  
+    def test_generate__include_subset_ops
+      initialize_metaclasses
+      
+      asd = Asd.new :adsl_ast => ASTDummyObjset.new(:type => :blah)
+      assert asd.respond_to? :include?
+      assert asd.respond_to? :<=
+      assert asd.respond_to? :>=
+      
+      kme = Kme.new :adsl_ast => ASTDummyObjset.new(:type => :blah2)
+
+      subset = asd.include? kme
+      assert_equal ASTIn, subset.class
+      assert_equal :blah, subset.objset2.type
+      assert_equal :blah2, subset.objset1.type
+
+      subset = asd >= kme
+      assert_equal ASTIn, subset.class
+      assert_equal :blah, subset.objset2.type
+      assert_equal :blah2, subset.objset1.type
+
+      subset = asd <= kme
+      assert_equal ASTIn, subset.class
+      assert_equal :blah2, subset.objset2.type
+      assert_equal :blah, subset.objset1.type
+    end
+
+    def test_generate__scopes_work_on_classes
+      Asd.class_exec do
+        scope :something_special, lambda{ where('id = ?', 4).order('id') }
+      end
+      assert Asd.respond_to? :something_special
+
+      initialize_metaclasses
+
+      assert Asd.respond_to? :something_special
+      ss = Asd.something_special
+      assert ss.respond_to? :adsl_ast
+
+      assert_equal ASTSubset, ss.adsl_ast.class
+      assert_equal ASTAllOf,  ss.adsl_ast.objset.class
+      assert_equal 'Asd',     ss.adsl_ast.objset.class_name.text
+    end
+    
+    def test_generate__scopes_work_on_relations
+      Asd.class_exec do
+        scope :something_special, lambda{ order('id') }
+      end
+      assert Asd.where('id < ?', 5).respond_to? :something_special
+
+      initialize_metaclasses
+
+      # make sure the scope does not do subset
+      assert Asd.respond_to? :something_special
+      assert_equal ASTAllOf, Asd.something_special.adsl_ast.class
+
+
+      assert Asd.where('id = ?', 4).respond_to? :something_special
+      ss = Asd.where('id = ?', 4).something_special
+
+      assert_equal ASTSubset, ss.adsl_ast.class
+      assert_equal ASTAllOf,  ss.adsl_ast.objset.class
+      assert_equal 'Asd',     ss.adsl_ast.objset.class_name.text
+    end
+
+    def test_generate__conditions_scopes_work_on_classes
+      Asd.class_exec do
+        scope :something_special, :conditions => ["id < ?", 5]
+      end
+      assert Asd.respond_to? :something_special
+
+      initialize_metaclasses
+
+      assert Asd.respond_to? :something_special
+      ss = Asd.something_special
+      assert ss.respond_to? :adsl_ast
+
+      assert_equal ASTSubset, ss.adsl_ast.class
+      assert_equal ASTAllOf,  ss.adsl_ast.objset.class
+      assert_equal 'Asd',     ss.adsl_ast.objset.class_name.text
+    end
+
+    def test_generate__scopes_through_associations
+      Asd.class_exec do
+        scope :asd_scope, lambda{ order('id') }
+      end
+      Mod::Blah.class_exec do
+        scope :blah_scope, :conditions => ["id < ?", 5]
+      end
+
+      initialize_metaclasses
+
+      assert_equal Mod::Blah, Asd.all.blahs.class
+      assert_equal ASTDereference, Asd.all.blahs.adsl_ast.class
+
+      ss = Asd.all.blahs.blah_scope.adsl_ast
+
+      assert_equal ASTSubset,      ss.class
+      assert_equal ASTDereference, ss.objset.class
+    end
+
+    def test_generate__conditions_scopes_work_on_relations
+      Asd.class_exec do
+        scope :asd_scope, lambda{ order('id') }
+      end
+      Mod::Blah.class_exec do
+        scope :blah_scope, :conditions => ["id < ?", 5]
+      end
+
+      initialize_metaclasses
+
+      assert_equal ASTSubset,      Mod::Blah.new.blah_scope.adsl_ast.class
+
+      assert_equal ASTAllOf,       Asd.asd_scope.adsl_ast.class
+      assert_equal ASTDereference, Asd.asd_scope.blahs.adsl_ast.class
+      assert_equal ASTSubset,      Asd.asd_scope.blahs.blah_scope.adsl_ast.class
+    end
+
+    def test_generate__association_scope_count_by_group_is_unknown
+      Mod::Blah.class_exec do
+        scope :some_scope, :conditions => ["id < ?", 5]
+      end
+
+      initialize_metaclasses
+
+      assert_equal Mod::Blah,   Asd.new.blahs.class
+      assert_equal Mod::Blah,   Asd.new.blahs.some_scope.class
+      assert_equal MetaUnknown, Asd.new.blahs.some_scope.count_by_group('id').class
+    end
+
+    def test_generate__association_build_direct
+      initialize_metaclasses
+
+      new = Asd.find.blahs.build
+
+      assert_equal Mod::Blah,            new.class
+      assert_equal ASTDereferenceCreate, new.adsl_ast.class
+      assert_equal ASTOneOf,             new.adsl_ast.objset.class
+      assert_equal ASTAllOf,             new.adsl_ast.objset.objset.class
+      assert_equal 'Asd',                new.adsl_ast.objset.objset.class_name.text
+      assert_equal 'blahs',              new.adsl_ast.rel_name.text
+    end
+    
+    def test_generate__association_build_through
+      initialize_metaclasses
+
+      new = Asd.find.kmes.build
+
+      assert_equal Kme,                  new.class
+      assert_equal ASTDereferenceCreate, new.adsl_ast.class
+      assert_equal 'kme12',              new.adsl_ast.rel_name.text
+      assert_equal ASTDereferenceCreate, new.adsl_ast.objset.class
+      assert_equal 'blahs',              new.adsl_ast.objset.rel_name.text
+      assert_equal ASTOneOf,             new.adsl_ast.objset.objset.class
+      assert_equal ASTAllOf,             new.adsl_ast.objset.objset.objset.class
+      assert_equal 'Asd',                new.adsl_ast.objset.objset.objset.class_name.text
+    end
+
+    def test_generate__add_direct
+      initialize_metaclasses
+
+      new = (Asd.find.blahs.add(Mod::Blah.find))
+
+      assert_equal ASTCreateTup, new.class
+      assert_equal ASTOneOf,     new.objset1.class
+      assert_equal ASTAllOf,     new.objset1.objset.class
+      assert_equal 'Asd',        new.objset1.objset.class_name.text
+      assert_equal 'blahs',      new.rel_name.text
+      assert_equal ASTOneOf,     new.objset2.class
+      assert_equal ASTAllOf,     new.objset2.objset.class
+      assert_equal 'Mod_Blah',   new.objset2.objset.class_name.text
+    end
+
+    def test_generate__add_through
+      initialize_metaclasses
+
+      new = (Asd.find.kmes.add(Kme.find))
+
+      assert_equal ASTCreateTup,         new.class
+      assert_equal ASTDereferenceCreate, new.objset1.class
+      assert_equal ASTOneOf,             new.objset1.objset.class
+      assert_equal ASTAllOf,             new.objset1.objset.objset.class
+      assert_equal 'Asd',                new.objset1.objset.objset.class_name.text
+      assert_equal 'blahs',              new.objset1.rel_name.text
+      assert_equal 'kme12',              new.rel_name.text
+      assert_equal ASTOneOf,             new.objset2.class
+      assert_equal ASTAllOf,             new.objset2.objset.class
+      assert_equal 'Kme',                new.objset2.objset.class_name.text
+    end
+  end
+end

data/test/unit/adsl/extract/rails/callback_chain_simulator_test.rb

@@ -0,0 +1,76 @@
+require 'test/unit'
+require 'adsl/util/test_helper'
+require 'adsl/parser/ast_nodes'
+require 'adsl/extract/rails/callback_chain_simulator'
+
+module ADSL::Extract::Rails
+  class CallbackChainSimulatorTest < Test::Unit::TestCase
+    include ADSL::Parser
+    include ADSL::Extract::Rails::CallbackChainSimulator
+
+    def dummy(flag = nil)
+      ASTDummyStmt.new :type => flag
+    end
+
+    def render
+      ASTDummyStmt.new :type => :render
+    end
+
+    def block(*stmts)
+      ASTBlock.new :statements => stmts
+    end
+
+    def either(*blocks)
+      ASTEither.new :blocks => blocks
+    end
+
+    def test_special_status_of__plain_blocks
+      assert_equal false, halting_status_of(block(dummy, dummy))
+      assert_equal true,  halting_status_of(block(dummy, render, dummy))
+    end
+
+    def test_special_status_of__plain_either
+      assert_equal nil, halting_status_of(either(
+        block,
+        block(render)
+      ))
+
+      assert_equal true, halting_status_of(either(
+        block(render),
+        block(render)
+      ))
+      
+      assert_equal false, halting_status_of(either(block, block))
+    end
+
+    def test_split_paths__plain
+      paths = split_into_paths_that_will_or_will_not_halt(block(
+        dummy(0),
+        either(
+          block(dummy 1),
+          block(dummy 2),
+          block(dummy(3), render)
+        ),
+        dummy(4)
+      ))
+   
+      # rendering:     0, 3, 4
+      stmts = paths[:will_halt].statements
+      assert_equal 3, stmts.length
+      assert_equal 0, stmts[0].type
+      assert_equal [3, :render], stmts[1].statements.map(&:type)
+      assert_equal 4, stmts[2].type
+
+      # non-rendering: 0, 1, 4 or 0, 2, 4
+      stmts = paths[:will_not_halt].statements
+      assert_equal 3,   stmts.length
+      
+      assert_equal 0,         stmts[0].type
+      assert_equal ASTEither, stmts[1].class
+      assert_equal 2,         stmts[1].blocks.length
+      assert_equal [1, 2],    stmts[1].blocks.map(&:statements).map(&:first).map(&:type)
+      assert_equal 4,         stmts[2].type
+    end
+
+  end
+end

data/test/unit/adsl/extract/rails/invariant_extractor_test.rb

@@ -0,0 +1,92 @@
+require 'test/unit'
+require 'adsl/util/test_helper'
+require 'adsl/extract/rails/invariant_extractor'
+require 'adsl/extract/rails/rails_instrumentation_test_case'
+require 'adsl/parser/ast_nodes'
+
+module ADSL::Extract::Rails
+  class InvariantExtractorTest < ADSL::Extract::Rails::RailsInstrumentationTestCase
+
+    include ADSL::Parser
+
+    def test_load_in_context__basic
+      invariant_string = <<-invariants
+        invariant "blah", true
+        invariant true
+      invariants
+      
+      ie = InvariantExtractor.new ar_class_names
+      ie.extract invariant_string
+      assert_equal 2, ie.invariants.length
+
+      assert_equal 'blah',   ie.invariants[0].description
+      assert_equal true,     ie.invariants[0].formula.bool_value
+
+      assert_equal nil,      ie.invariants[1].description
+      assert_equal true,     ie.invariants[1].formula.bool_value
+    end
+    
+    def test_load_in_context__do_end_moved_to_parameter
+      invariant_string = <<-invariants
+        invariant 'first', forall{ |asd|
+          asd.empty?
+        }
+        invariant 'second', forall do |asd|
+          asd.empty?
+        end
+      invariants
+      initialize_metaclasses
+
+      ie = InvariantExtractor.new ar_class_names
+      ie.extract invariant_string
+      assert_equal 2, ie.invariants.length
+
+      assert_equal 'first',   ie.invariants[0].description
+      assert_equal ASTForAll, ie.invariants[0].formula.class
+      assert_equal ASTEmpty,  ie.invariants[0].formula.subformula.class
+
+      assert_equal 'second',  ie.invariants[1].description
+      assert_equal ASTForAll, ie.invariants[1].formula.class
+      assert_equal ASTEmpty,  ie.invariants[1].formula.subformula.class
+    end
+    
+    def test_load_in_context__instrumented_ar_classes
+      initialize_metaclasses
+
+      invariant_string = <<-invariants
+        invariant Asd.all.kmes.empty?
+      invariants
+      
+      ie = InvariantExtractor.new ar_class_names
+      ie.extract invariant_string
+      assert_equal 1, ie.invariants.length
+
+      inv = ie.invariants.first.formula
+
+      assert_equal ASTEmpty, inv.class
+      assert_equal ASTDereference, inv.objset.class
+      assert_equal 'kme12', inv.objset.rel_name.text
+      assert_equal ASTDereference, inv.objset.objset.class
+      assert_equal 'blahs', inv.objset.objset.rel_name.text
+      assert_equal ASTAllOf, inv.objset.objset.objset.class
+    end
+
+    def test_load_in_context__instrumented_boolean_operators
+      invariant_string = <<-invariants
+        invariant((!true) && false)
+      invariants
+
+      ie = InvariantExtractor.new ar_class_names
+      ie.extract invariant_string
+      assert_equal 1, ie.invariants.length
+
+      assert_equal ASTAnd,     ie.invariants[0].formula.class
+      assert_equal ASTNot, ie.invariants[0].formula.subformulae[0].class
+      assert_equal ASTBoolean, ie.invariants[0].formula.subformulae[0].subformula.class
+      assert_equal true, ie.invariants[0].formula.subformulae[0].subformula.bool_value
+      
+      assert_equal ASTBoolean, ie.invariants[0].formula.subformulae[1].class
+      assert_equal false, ie.invariants[0].formula.subformulae[1].bool_value
+    end
+  end
+end