1
2
3
4
5
6
7
8
9
10
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
|
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 mainPackage != nil
eaRootCollaboration = mainPackage.ownedElement.find{|e| e.is_a?(UML13::Collaboration) && e.name == "Collaborations"}
assert eaRootCollaboration != nil
# 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 nil != someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == yellowRoom}
assert nil != someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == greenRoom}
assert nil != someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == hotRoom}
assert nil != someonesHouse.localCompositeEnd.otherEnd.getType.find{|o| o == wetRoom}
end
end
end
|
