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
|
#include "UmlActivityAction.h"
#include "UmlCom.h"
void UmlActivityAction::html() {
UmlCom::message(name());
QCString s = sKind();
s.replace(0, 1, s.left(1).upper());
UmlItem::html(s, (UmlDiagram *) associatedDiagram());
fw.write("<p>Defined in ");
parent()->write();
fw.write("</p>");
fw.write("<p>Pre Condition :</p><ul>");
s = preCondition();
if (!s.isEmpty()) {
fw.write("<li>OCL : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
s = cppPreCondition();
if (!s.isEmpty()) {
fw.write("<li>C++ : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
s = javaPreCondition();
if (!s.isEmpty()) {
fw.write("<li>Java : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
fw.write("</ul>");
fw.write("<p>Post Condition :</p><ul>");
s = postCondition();
if (!s.isEmpty()) {
fw.write("<li>OCL : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
s = cppPostCondition();
if (!s.isEmpty()) {
fw.write("<li>C++ : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
s = javaPostCondition();
if (!s.isEmpty()) {
fw.write("<li>Java : <pre>\n");
writeq(s);
fw.write("</pre></li>");
}
fw.write("</ul>");
if (! constraint().isEmpty()) {
fw.write("<p> Constraint :<ul>");
writeq(constraint());
fw.write("</ul>");
}
}
|
