Newer
Older
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
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
//Supporting operation aliases for OCL
operation Any oclIsUndefined() : Boolean {
return self.isUndefined();
}
operation Any oclIsTypeOf(t:Any) : Boolean {
return self.isTypeOf(t);
}
operation Any oclIsKindOf(t:Any) : Boolean {
return self.isKindOf(t);
}
operation Any oclAsType(t:Any) : Any {
return self;
}
operation Any notEmpty() : Boolean {
return not self.isEmpty();
}
operation Any container() : Any {
return self.eContainer;
}
operation String size() : Integer {
return self.length();
}
//Supporting operations
operation Any getTestDescription() : Any {
if (self.eContainer.isDefined()) {
if (not self.eContainer.isKindOf(TestDescription)) {
return self.eContainer.getTestDescription();
} else {
return self.eContainer;
}
}
}
operation Any getTestObjective() : Any {
if (self.eContainer.isDefined()) {
if (not self.eContainer.isKindOf(StructuredTestObjective)) {
return self.eContainer.getTestObjective();
} else {
return self.eContainer;
}
}
}
operation Any contains(object : Any) : Boolean {
return self.eAllContents().includes(object);
}
operation TDL!StructuredTestObjective indexOf(object : Any) : Integer {
return self.eAllContents().indexOf(object);
}
//QualifiedNames
operation Any qualifiedName() : String {
var p = self.getNamedParent();
if (p.isDefined()) {
return p.qualifiedName()+"::"+self.name;
} else {
return self.name;
}
}
operation Any getNamedParent() : Any {
if (self.eContainer.isDefined()) {
if (not self.eContainer.isKindOf(NamedElement)) {
return self.eContainer.getNamedParent();
} else {
return self.eContainer;
}
}
}
//Get Data Type
//TODO: add support for reduction..
//TODO: check for reduction too once support is added
operation TDL!DataInstanceUse getDataType() : Any {
if (not self.dataInstance.oclIsUndefined()) {
return self.dataInstance.dataType;
} else if (not self.dataType.oclIsUndefined()) {
return self.dataType;
} else {
if (self.container().oclIsTypeOf(MemberAssignment)) {
return self.container().member.dataType;
} else if (self.container().oclIsTypeOf(ParameterBinding)) {
return self.container().parameter.dataType;
} else {
(self.container().type.name+".getDataType() not yet defined").println();
}
}
}
operation TDL!FunctionCall getDataType() : Any {
return self.`function`.returnType;
}
operation TDL!VariableUse getDataType() : Any {
return self.variable.dataType;
}
operation TDL!TimeLabelUse getDataType() : Any {
return Time.allInstances().first();
}
operation TDL!FormalParameterUse getDataType() : Any {
return self.parameter.dataType;
}
operation TDL!SpecialValueUse getDataType() : Any {
var t;
if (self.eContainer.isTypeOf(MemberAssignment)) {
t = self.eContainer.member.dataType;
} else if (self.eContainer.isTypeOf(ParameterBinding)) {
t = self.eContainer.parameter.dataType;
} else if (self.eContainer.isTypeOf(Interaction) and
self.isTypeOf(AnyValue)) {
t = self.dataType;
}
return t;
}
//Check if Behaviour is tester input event
operation TDL!Behaviour isTesterInputEvent() : Boolean {
return self.oclIsKindOf(TimeOut)
or self.oclIsKindOf(Quiescence)
or (self.oclIsKindOf(Interaction)
and self.sourceGate.component.role.name = 'SUT'
and self.target->exists(t | t.targetGate.component.role.name = 'Tester'));
}