Module: Testmodel::ECoreModelChecker

Includes:
RGen::ECore
Included in:
EAInstantiatorTest
Defined in:
lib/puppet/vendor/rgen/test/testmodel/ecore_model_checker.rb

Overview

Checks the ECore model elements created by transformation from the UML Class model elements from the example model

Constant Summary

Constants included from RGen::ECore

RGen::ECore::EBoolean, RGen::ECore::EFloat, RGen::ECore::EInt, RGen::ECore::EJavaClass, RGen::ECore::EJavaObject, RGen::ECore::ELong, RGen::ECore::ERubyClass, RGen::ECore::ERubyObject, RGen::ECore::EString

Instance Method Summary collapse

Methods included from RGen::MetamodelBuilder::ModuleExtension

#_annotations, #_constantOrder, #annotation, extended, #final_method, #method_added

Methods included from RGen::ECore::ECoreInterface

#_set_ecore_internal, clear_ecore_cache, #ecore

Instance Method Details

#checkECoreModel(env) ⇒ Object 



11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
 
# File 'lib/puppet/vendor/rgen/test/testmodel/ecore_model_checker.rb', line 11

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