rgen 0.3.0 → 0.4.0

data/test/testmodel/ecore_model_checker.rb

@@ -0,0 +1,101 @@
+require 'rgen/ecore/ecore'
+
+module Testmodel
+
+# Checks the ECore model elements created by transformation from the
+# UML Class model elements from the example model
+# 
+module ECoreModelChecker			
+	include RGen::ECore
+
+	def checkECoreModel(env)
+						
+		# check main package
+		mainPackage = env.elements.select {|e| e.is_a? EPackage and e.name == "HouseMetamodel"}.first
+		assert_not_nil mainPackage
+		
+		# check Rooms package
+		assert mainPackage.eSubpackages.is_a?(Array)
+		assert_equal 1, mainPackage.eSubpackages.size
+		assert mainPackage.eSubpackages[0].is_a?(EPackage)
+		roomsPackage = mainPackage.eSubpackages[0]
+		assert_equal "Rooms", roomsPackage.name
+		
+		# check main package classes
+		assert mainPackage.eClassifiers.is_a?(Array)
+		assert_equal 4, mainPackage.eClassifiers.size
+		assert mainPackage.eClassifiers.all?{|c| c.is_a?(EClass)}
+		houseClass = mainPackage.eClassifiers.select{|c| c.name == "House"}.first
+		personClass = mainPackage.eClassifiers.select{|c| c.name == "Person"}.first
+		meetingPlaceClass = mainPackage.eClassifiers.select{|c| c.name == "MeetingPlace"}.first
+		cookingPlaceInterface = mainPackage.eClassifiers.select{|c| c.name == "CookingPlace"}.first
+		assert_not_nil houseClass
+		assert_not_nil personClass
+		assert_not_nil meetingPlaceClass
+		assert_not_nil cookingPlaceInterface
+
+		# check Rooms package classes
+		assert roomsPackage.eClassifiers.is_a?(Array)
+		assert_equal 3, roomsPackage.eClassifiers.size
+		assert roomsPackage.eClassifiers.all?{|c| c.is_a?(EClass)}
+		roomClass = roomsPackage.eClassifiers.select{|c| c.name == "Room"}.first
+		kitchenClass = roomsPackage.eClassifiers.select{|c| c.name == "Kitchen"}.first
+		bathroomClass = roomsPackage.eClassifiers.select{|c| c.name == "Bathroom"}.first
+		assert_not_nil roomClass
+		assert_not_nil kitchenClass
+		assert_not_nil bathroomClass
+		
+		# check Room inheritance
+		assert kitchenClass.eSuperTypes.is_a?(Array)
+		assert_equal 3, kitchenClass.eSuperTypes.size
+		assert_equal roomClass.object_id, kitchenClass.eSuperTypes.select{|c| c.name == "Room"}.first.object_id
+		assert_equal meetingPlaceClass.object_id, kitchenClass.eSuperTypes.select{|c| c.name == "MeetingPlace"}.first.object_id
+		assert_equal cookingPlaceInterface.object_id, kitchenClass.eSuperTypes.select{|c| c.name == "CookingPlace"}.first.object_id
+		assert bathroomClass.eSuperTypes.is_a?(Array)
+		assert_equal 1, bathroomClass.eSuperTypes.size
+		assert_equal roomClass.object_id, bathroomClass.eSuperTypes[0].object_id
+
+		# check House-Room "part of" association
+		assert houseClass.eAllContainments.eType.is_a?(Array)
+		assert_equal 1, houseClass.eAllContainments.eType.size
+		roomRef = houseClass.eAllContainments.first
+		assert_equal roomClass.object_id, roomRef.eType.object_id
+		assert_equal "room", roomRef.name
+		assert_equal 1, roomRef.lowerBound
+		assert_equal(-1, roomRef.upperBound)
+		assert_not_nil roomRef.eOpposite
+		assert_equal houseClass.object_id, roomRef.eOpposite.eType.object_id
+		
+		partOfRefs = roomClass.eReferences.select{|r| r.eOpposite && r.eOpposite.containment}
+		assert_equal 1, partOfRefs.size
+		assert_equal houseClass.object_id, partOfRefs.first.eType.object_id
+		assert_equal "house", partOfRefs.first.name
+		assert_equal roomRef.object_id, partOfRefs.first.eOpposite.object_id
+				
+		# check House OUT associations
+		assert houseClass.eReferences.is_a?(Array)
+		assert_equal 3, houseClass.eReferences.size
+		bathRef = houseClass.eReferences.find {|e| e.name == "bathroom"}
+		kitchenRef = houseClass.eReferences.find {|e| e.name == "kitchen"}
+		roomRef = houseClass.eReferences.find {|e| e.name == "room"}
+		assert_not_nil bathRef
+		assert_nil bathRef.eOpposite
+		assert_not_nil kitchenRef
+		assert_not_nil roomRef
+		assert_equal 1, kitchenRef.lowerBound
+		assert_equal 1, kitchenRef.upperBound
+		assert_equal 1, roomRef.lowerBound
+		assert_equal(-1, roomRef.upperBound)
+		
+		# check House IN associations
+        houseInRefs = env.find(:class => EReference, :eType => houseClass)
+		assert_equal 3, houseInRefs.size
+		homeEnd = houseInRefs.find{|e| e.name == "home"}
+		assert_not_nil homeEnd
+		assert_equal 0, homeEnd.lowerBound
+		assert_equal(-1, homeEnd.upperBound)
+		
+	end
+end
+
+end

data/test/testmodel/manual_testmodel.xml

@@ -0,0 +1,22 @@
+<TestModel xmlns:MNS="testmodel.org/myNamespace" >
+	<MNS:House>
+		before kitchen
+		<MNS:Room id="1" name="Kitchen" />
+		after kitchen
+		<MNS:Room id="2" name="TomsRoom">within toms room</MNS:Room>
+		after toms room
+	</MNS:House>
+	<Person name="Tom" room="2">
+		<Parents>
+			<Person name="Kate">
+				<Parents>
+					<Person name="Maria" />
+					<Person name="Will" />
+				</Parents>
+			</Person>
+		</Parents>
+	</Person>
+	<MULTI-PART-NAME>
+		<INSIDE_MULTI_PART/>
+	</MULTI-PART-NAME>
+</TestModel>

data/test/testmodel/object_model_checker.rb

@@ -0,0 +1,67 @@
+require 'metamodels/uml13_metamodel'
+require 'metamodels/uml13_metamodel_ext'
+
+module Testmodel
+
+# Checks the UML Object model elements from the example model
+# 
+module ObjectModelChecker
+
+    # convenient extension for this test only
+    module UML13::ClassifierRole::ClassModule
+      def classname
+        taggedValue.find{|tv| tv.tag == "classname"}.value
+      end
+    end
+    
+	def checkObjectModel(envUML)
+		
+		# check main package
+		mainPackage = envUML.find(:class => UML13::Package, :name => "HouseExampleModel").first
+		assert_not_nil mainPackage
+		
+		eaRootCollaboration = mainPackage.ownedElement.find{|e| e.is_a?(UML13::Collaboration) && e.name == "Collaborations"}
+        assert_not_nil eaRootCollaboration
+
+		# check main package objects
+        objects = eaRootCollaboration.ownedElement.select{|e| e.is_a?(UML13::ClassifierRole)}
+		assert_equal 6, objects.size
+
+		someone = objects.find{|o| o.name == "Someone"}
+		assert_equal "Person", someone.classname
+		
+		someonesHouse = objects.find{|o| o.name == "SomeonesHouse"}
+		assert_equal "House", someonesHouse.classname
+
+		greenRoom = objects.find{|o| o.name == "GreenRoom"}
+		assert_equal "Room", greenRoom.classname
+
+		yellowRoom = objects.find{|o| o.name == "YellowRoom"}
+		assert_equal "Room", yellowRoom.classname
+
+		hotRoom = objects.find{|o| o.name == "HotRoom"}
+		assert_equal "Kitchen", hotRoom.classname
+
+		wetRoom = objects.find{|o| o.name == "WetRoom"}
+		assert_equal "Bathroom", wetRoom.classname
+		
+		# Someone to SomeonesHouse
+		assert someone.associationEnd.otherEnd.getType.is_a?(Array)
+		assert_equal 1, someone.associationEnd.otherEnd.getType.size
+		houseEnd = someone.associationEnd.otherEnd[0]
+		assert_equal someonesHouse.object_id, houseEnd.getType.object_id
+		assert_equal "home", houseEnd.name
+		
+		# Someone to SomeonesHouse
+		assert someonesHouse.localCompositeEnd.otherEnd.is_a?(Array)
+		assert_equal 4, someonesHouse.localCompositeEnd.otherEnd.size
+		assert someonesHouse.localCompositeEnd.otherEnd.all?{|e| e.name == "room"}
+		assert_not_nil someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == yellowRoom}
+		assert_not_nil someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == greenRoom}
+		assert_not_nil someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == hotRoom}
+		assert_not_nil someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == wetRoom}
+
+	end
+end
+
+end

data/test/transformer_test.rb

@@ -4,9 +4,10 @@ $:.unshift File.join(File.dirname(__FILE__),"..","test")
 require 'test/unit'
 require 'rgen/transformer'
 require 'rgen/environment'
-require 'uml/uml_classmodel'
-require 'ea/xmi_class_instantiator'
-require 'xmi_instantiator_test/class_model_checker'
+require 'rgen/model_comparator'
+require 'metamodels/uml13_metamodel'
+require 'instantiators/ea_instantiator'
+require 'testmodel/class_model_checker'
 
 class TransformerTest < Test::Unit::TestCase
 
@@ -179,25 +180,32 @@ class TransformerTest < Test::Unit::TestCase
 	end
 	
 	class CopyTransformer < RGen::Transformer
-		include UMLClassModel
+		include UML13
 		def transform
-			trans(:class => UMLPackage)
+			trans(:class => UML13::Package)
 		end
-		constants.each{|c| copy const_get(c) if c =~ /^UML/}
+		UML13.ecore.eClassifiers.each do |c|
+		  copy c.instanceClass 
+        end
 	end
 
-	MODEL_DIR = File.join(File.dirname(__FILE__),"xmi_instantiator_test")
+	MODEL_DIR = File.join(File.dirname(__FILE__),"testmodel")
 
-	include ClassModelChecker
+	include Testmodel::ClassModelChecker
+    include RGen::ModelComparator
 	
 	def test_copyTransformer
 		envIn = RGen::Environment.new
 		envOut = RGen::Environment.new
-		File.open(MODEL_DIR+"/testmodel.xml") { |f|
-			XMIClassInstantiator.new.instantiateUMLClassModel(envIn, f.read)
+		File.open(MODEL_DIR+"/ea_testmodel.xml") { |f|
+			inst = EAInstantiator.new(envIn, EAInstantiator::ERROR)
+			inst.instantiate(f.read)
 		}
 		CopyTransformer.new(envIn, envOut).transform
 		checkClassModel(envOut)
+		assert modelEqual?(
+		  envIn.find(:class => UML13::Model).first,
+		  envOut.find(:class => UML13::Model).first)
 	end
 	
 end

data/test/xml_instantiator_test.rb

@@ -1,9 +1,11 @@
 $:.unshift File.join(File.dirname(__FILE__),"..","lib")
 
 require 'test/unit'
-require 'rgen/xml_instantiator'
+require 'rgen/instantiator/default_xml_instantiator'
 require 'rgen/environment'
 require 'rgen/model_dumper'
+require 'xml_instantiator_test/simple_xmi_ecore_instantiator'
+require 'xml_instantiator_test/simple_ecore_model_checker'
 
 module EmptyMM
 end
@@ -18,14 +20,18 @@ end
 
 class XMLInstantiatorTest < Test::Unit::TestCase
 
-	XML_DIR = File.join(File.dirname(__FILE__),"xml_instantiator_test")
+	XML_DIR = File.join(File.dirname(__FILE__),"testmodel")
 	
 	include RGen::ModelDumper
 	
-	class MyInstantiator < RGen::XMLInstantiator
+	class MyInstantiator < RGen::Instantiator::DefaultXMLInstantiator
 	
 		map_tag_ns "testmodel.org/myNamespace", DefaultMM::MNS
 		
+    def class_name(str)
+      camelize(str)
+    end
+    
 #		resolve :type do
 #			@env.find(:xmi_id => getType).first
 #		end
@@ -34,10 +40,60 @@ class XMLInstantiatorTest < Test::Unit::TestCase
 		
 	end
 	
+	class PruneTestInstantiator < RGen::Instantiator::NodebasedXMLInstantiator
+		attr_reader :max_depth
+		
+		set_prune_level 2
+		
+		def initialize(env)
+			super(env)
+			@max_depth = 0
+		end
+		
+		def on_descent(node)
+		end
+		
+		def on_ascent(node)
+			calc_max_depth(node, 0)
+		end
+		
+		def calc_max_depth(node, offset)
+			if node.children.nil? || node.children.size == 0
+				@max_depth = offset if offset > @max_depth
+			else 
+				node.children.each do |c|
+					calc_max_depth(c, offset+1)
+				end
+			end
+		end
+	end
+	
+	module PruneTestMM
+	end
+	
+	def test_pruning
+		env = RGen::Environment.new
+		
+		# prune level 2 is set in the class body
+		inst = PruneTestInstantiator.new(env)
+		inst.instantiate_file(File.join(XML_DIR,"manual_testmodel.xml"))
+		assert_equal 2, inst.max_depth
+		
+		PruneTestInstantiator.set_prune_level(0)
+		inst = PruneTestInstantiator.new(env)
+		inst.instantiate_file(File.join(XML_DIR,"manual_testmodel.xml"))
+		assert_equal 5, inst.max_depth
+		
+		PruneTestInstantiator.set_prune_level(1)
+		inst = PruneTestInstantiator.new(env)
+		inst.instantiate_file(File.join(XML_DIR,"manual_testmodel.xml"))
+		assert_equal 1, inst.max_depth
+	end
+	
 	def test_custom
 		env = RGen::Environment.new
 		inst = MyInstantiator.new(env, DefaultMM, true)
-		inst.instantiate_file(File.join(XML_DIR,"testmodel.xml"))
+		inst.instantiate_file(File.join(XML_DIR,"manual_testmodel.xml"))
 		
 		house = env.find(:class => DefaultMM::MNS::House).first
 		assert_not_nil house
@@ -51,21 +107,27 @@ class XMLInstantiatorTest < Test::Unit::TestCase
 		assert_not_nil tomsRoom
 		
 		persons = env.find(:class => DefaultMM::Person)
-		assert_equal 1, persons.size
+		assert_equal 4, persons.size
 		tom = persons.select{|p| p.name == "Tom"}.first
 		assert_not_nil tom
 		
 		assert tom.personalRoom == tomsRoom
+    
+        mpns = env.find(:class => DefaultMM::MultiPartName)
+        assert mpns.first.respond_to?("insideMultiPart")
 	end
 	
 	def test_default
 		env = RGen::Environment.new
-		inst = RGen::XMLInstantiator.new(env, EmptyMM, true)
-		inst.instantiate_file(File.join(XML_DIR,"testmodel.xml"))
+		inst = RGen::Instantiator::DefaultXMLInstantiator.new(env, EmptyMM, true)
+		inst.instantiate_file(File.join(XML_DIR,"manual_testmodel.xml"))
 		
 		house = env.find(:class => EmptyMM::MNS_House).first
 		assert_not_nil house
 		assert_equal 2, house.mNS_Room.size
+		assert_equal "before kitchen", house.chardata[0].strip
+		assert_equal "after kitchen", house.chardata[1].strip
+		assert_equal "after toms room", house.chardata[2].strip
 		
 		rooms = env.find(:class => EmptyMM::MNS_Room)
 		assert_equal 2, rooms.size
@@ -73,11 +135,22 @@ class XMLInstantiatorTest < Test::Unit::TestCase
 		rooms.each {|r| assert r.parent == house}
 		tomsRoom = rooms.select{|r| r.name == "TomsRoom"}.first
 		assert_not_nil tomsRoom
+		assert_equal "within toms room", tomsRoom.chardata[0]
 		
 		persons = env.find(:class => EmptyMM::Person)
-		assert_equal 1, persons.size
+		assert_equal 4, persons.size
 		tom = persons.select{|p| p.name == "Tom"}.first
 		assert_not_nil tom
 	end
+
+	include SimpleECoreModelChecker
 	
+	def test_simle_xmi_ecore_instantiator
+		envECore = RGen::Environment.new
+		File.open(XML_DIR+"/ea_testmodel.xml") { |f|
+			SimpleXMIECoreInstantiator.new.instantiateECoreModel(envECore, f.read)
+		}
+		checkECoreModel(envECore)
+	end
+		
 end

data/test/xml_instantiator_test/simple_ecore_model_checker.rb

@@ -0,0 +1,94 @@
+require 'rgen/ecore/ecore'
+
+# This "light" version of the ECore model checker is used to check the
+# model produced by the XMLInstantiatorTest only. 
+# 
+module SimpleECoreModelChecker			
+  include RGen::ECore
+  
+  def checkECoreModel(env)
+    
+    # check main package
+    mainPackage = env.elements.select {|e| e.is_a? EPackage and e.name == "HouseMetamodel"}.first
+    assert_not_nil mainPackage
+    
+    # check Rooms package
+    assert mainPackage.eSubpackages.is_a?(Array)
+    assert_equal 1, mainPackage.eSubpackages.size
+    assert mainPackage.eSubpackages[0].is_a?(EPackage)
+    roomsPackage = mainPackage.eSubpackages[0]
+    assert_equal "Rooms", roomsPackage.name
+    
+    # check main package classes
+    assert mainPackage.eClassifiers.is_a?(Array)
+    assert_equal 3, mainPackage.eClassifiers.size
+    assert mainPackage.eClassifiers.all?{|c| c.is_a?(EClass)}
+    houseClass = mainPackage.eClassifiers.select{|c| c.name == "House"}.first
+    personClass = mainPackage.eClassifiers.select{|c| c.name == "Person"}.first
+    meetingPlaceClass = mainPackage.eClassifiers.select{|c| c.name == "MeetingPlace"}.first
+    assert_not_nil houseClass
+    assert_not_nil personClass
+    assert_not_nil meetingPlaceClass
+    
+    # check Rooms package classes
+    assert roomsPackage.eClassifiers.is_a?(Array)
+    assert_equal 3, roomsPackage.eClassifiers.size
+    assert roomsPackage.eClassifiers.all?{|c| c.is_a?(EClass)}
+    roomClass = roomsPackage.eClassifiers.select{|c| c.name == "Room"}.first
+    kitchenClass = roomsPackage.eClassifiers.select{|c| c.name == "Kitchen"}.first
+    bathroomClass = roomsPackage.eClassifiers.select{|c| c.name == "Bathroom"}.first
+    assert_not_nil roomClass
+    assert_not_nil kitchenClass
+    assert_not_nil bathroomClass
+    
+    # check Room inheritance
+    assert kitchenClass.eSuperTypes.is_a?(Array)
+    assert_equal 2, kitchenClass.eSuperTypes.size
+    assert_equal roomClass.object_id, kitchenClass.eSuperTypes.select{|c| c.name == "Room"}.first.object_id
+    assert_equal meetingPlaceClass.object_id, kitchenClass.eSuperTypes.select{|c| c.name == "MeetingPlace"}.first.object_id
+    assert bathroomClass.eSuperTypes.is_a?(Array)
+    assert_equal 1, bathroomClass.eSuperTypes.size
+    assert_equal roomClass.object_id, bathroomClass.eSuperTypes[0].object_id
+    
+    # check House-Room "part of" association
+    assert houseClass.eAllContainments.eType.is_a?(Array)
+    assert_equal 1, houseClass.eAllContainments.eType.size
+    roomRef = houseClass.eAllContainments.first
+    assert_equal roomClass.object_id, roomRef.eType.object_id
+    assert_equal "room", roomRef.name
+    assert_equal 1, roomRef.lowerBound
+    assert_equal(-1, roomRef.upperBound)
+    assert_not_nil roomRef.eOpposite
+    assert_equal houseClass.object_id, roomRef.eOpposite.eType.object_id
+    
+    partOfRefs = roomClass.eReferences.select{|r| r.eOpposite && r.eOpposite.containment}
+    assert_equal 1, partOfRefs.size
+    assert_equal houseClass.object_id, partOfRefs.first.eType.object_id
+    assert_equal "house", partOfRefs.first.name
+    assert_equal roomRef.object_id, partOfRefs.first.eOpposite.object_id
+    
+    # check House OUT associations
+    assert houseClass.eReferences.is_a?(Array)
+    assert_equal 3, houseClass.eReferences.size
+    bathRef = houseClass.eReferences.find {|e| e.name == "bathroom"}
+    kitchenRef = houseClass.eReferences.find {|e| e.name == "kitchen"}
+    roomRef = houseClass.eReferences.find {|e| e.name == "room"}
+    assert_not_nil bathRef
+    assert_nil bathRef.eOpposite
+    assert_not_nil kitchenRef
+    assert_not_nil roomRef
+    assert_equal 1, kitchenRef.lowerBound
+    assert_equal 1, kitchenRef.upperBound
+    assert_equal 1, roomRef.lowerBound
+    assert_equal(-1, roomRef.upperBound)
+    
+    # check House IN associations
+    houseInRefs = env.find(:class => EReference, :eType => houseClass)
+    assert_equal 3, houseInRefs.size
+    homeEnd = houseInRefs.find{|e| e.name == "home"}
+    assert_not_nil homeEnd
+    assert_equal 0, homeEnd.lowerBound
+    assert_equal(-1, homeEnd.upperBound)
+    
+  end
+end