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
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
|
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Space-like elements</title>
<link rel="stylesheet" type="text/css" href="/fonts/ahem.css" />
<link rel="help" href="https://w3c.github.io/mathml-core/#definition-of-space-like-elements">
<link rel="help" href="https://w3c.github.io/mathml-core/#operator-fence-separator-or-accent-mo">
<link rel="help" href="https://w3c.github.io/mathml-core/#layout-of-mrow">
<meta name="assert" content="Verify definition of space-like elements">
<script src="/resources/testharness.js"></script>
<script src="/resources/testharnessreport.js"></script>
<script src="/mathml/support/feature-detection.js"></script>
<style>
/* Default spacing of operator 'X' is 0.2777777777777778em so quite different
from the measured/specified 0em and 1em. */
math, math * {
font: 25px/1 Ahem;
}
mn {
color: black;
}
mo {
color: yellow;
}
.testedElement, .testedElement * {
color: blue !important;
background: blue !important;
}
</style>
<script>
function spaceBefore(id) {
var element = document.getElementById(id);
var mnBeforeParent = element.parentNode.previousElementSibling;
return element.getBoundingClientRect().left - mnBeforeParent.getBoundingClientRect().right;
}
function spaceAfter(id) {
var element = document.getElementById(id);
var mnAfterParent = element.parentNode.nextElementSibling;
return mnAfterParent.getBoundingClientRect().left - element.getBoundingClientRect().right;
}
setup({ explicit_done: true });
window.addEventListener("load", runTests);
function runTests() {
var epsilon = 1;
var emToPx = 25;
test(function() {
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceBefore("maction1"), emToPx, epsilon);
assert_approx_equals(spaceAfter("maction1"), emToPx, epsilon);
}, "space-like maction");
test(function() {
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceBefore("maction2"), emToPx, epsilon);
assert_approx_equals(spaceAfter("maction2"), emToPx, epsilon);
}, "space-like maction (no first child)");
test(function() {
assert_approx_equals(spaceBefore("maction3"), 0, epsilon);
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceAfter("maction3"), 2 * emToPx, epsilon);
}, "non-space like maction (first child not space-like)");
test(function() {
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceBefore("semantics1"), emToPx, epsilon);
assert_approx_equals(spaceAfter("semantics1"), emToPx, epsilon);
}, "space-like semantics");
test(function() {
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceBefore("semantics2"), emToPx, epsilon);
assert_approx_equals(spaceAfter("semantics2"), emToPx, epsilon);
}, "space-like semantics (no first child)");
test(function() {
assert_true(MathMLFeatureDetection.has_operator_spacing());
assert_approx_equals(spaceBefore("semantics3"), 0, epsilon);
assert_approx_equals(spaceAfter("semantics3"), 2 * emToPx, epsilon);
}, "non-space like semantics (first child not space-like)");
done();
}
</script>
</head>
<body>
<div id="log"></div>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- maction is space-like when its first child exists and is space-like -->
<maction id="maction1" class="testedElement" actiontype="statusline">
<mtext>X</mtext>
<mtext>STATUS MESSAGE</mtext>
</maction>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- maction is not space-like when its first does not exist-like -->
<maction id="maction2" class="testedElement" actiontype="statusline">
</maction>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- maction is not space-like when its first is not space-like -->
<maction id="maction3" class="testedElement" actiontype="statusline">
<mn>1</mn>
<mtext>STATUS MESSAGE</mtext>
</maction>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- semantics is space-like when its first child exists and is space-like -->
<semantics id="semantics1" class="testedElement" actiontype="statusline">
<mtext>X</mtext>
<annotation>TEXT ANNOTATION</annotation>
</semantics>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- semantics is not space-like when its first does not exist-like -->
<semantics id="semantics2" class="testedElement" actiontype="statusline">
</semantics>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
<p>
<math>
<mn>X</mn>
<mrow>
<!-- semantics is not space-like when its first is not space-like -->
<semantics id="semantics3" class="testedElement" actiontype="statusline">
<mn>1</mn>
<annotation>TEXT ANNOTATION</annotation>
</semantics>
<mo lspace="1em" rspace="0em">X</mo>
</mrow>
<mn>X</mn>
</math>
</p>
</body>
</html>
|
