Differential D13395 Diff 35880 autotests/html/highlight.pony.html

Changeset View

Standalone View

View Options

autotests/html/highlight.pony.html

Show First 20 Lines • Show All 102 Lines • ▼ Show 20 Line(s)
103 103​
104<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">log</span>(msg: <span style="color:#0057ae;">String</span>, verbose: <span style="color:#0057ae;">Bool</span> = <span style="font-weight:bold;">false</span>) 104​<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">log</span>(msg: <span style="color:#0057ae;">String</span>, verbose: <span style="color:#0057ae;">Bool</span> = <span style="font-weight:bold;">false</span>)
105<span style="font-weight:bold;">be</span> <span style="color:#644a9b;">fail</span>() =&gt; 105​<span style="font-weight:bold;">be</span> <span style="color:#644a9b;">fail</span>() =&gt;
106<span style="font-weight:bold;">be</span> <span style="color:#644a9b;">assert_failed</span>(msg: <span style="color:#0057ae;">String</span>) =&gt; 106​<span style="font-weight:bold;">be</span> <span style="color:#644a9b;">assert_failed</span>(msg: <span style="color:#0057ae;">String</span>) =&gt;
107<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">assert_true</span>(actual: <span style="color:#0057ae;">Bool</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>) ? 107​<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">assert_true</span>(actual: <span style="color:#0057ae;">Bool</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>) ?
108<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">expect_true</span>(actual: <span style="color:#0057ae;">Bool</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>): <span style="color:#0057ae;">Bool</span> 108​<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">expect_true</span>(actual: <span style="color:#0057ae;">Bool</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>): <span style="color:#0057ae;">Bool</span>
109<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">expect_eq</span>[<span style="color:#0057ae;">A</span>: (<span style="color:#0057ae;">Equatable</span>[<span style="color:#0057ae;">A</span>] <span style="color:#0057ae;">#read</span> &amp; <span style="color:#0057ae;">Stringable</span>)] 109​<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">expect_eq</span>[<span style="color:#0057ae;">A</span>: (<span style="color:#0057ae;">Equatable</span>[<span style="color:#0057ae;">A</span>] <span style="color:#0057ae;">#read</span> &amp; <span style="color:#0057ae;">Stringable</span>)]
110 (expect: <span style="color:#0057ae;">A</span>, actual: <span style="color:#0057ae;">A</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>): <span style="color:#0057ae;">Bool</span> 110​ (expect: <span style="color:#0057ae;">A</span>, actual: <span style="color:#0057ae;">A</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>): <span style="color:#0057ae;">Bool</span>
111​<span style="font-weight:bold;">fun</span> <span style="color:#0057ae;font-style:italic;">tag</span> <span style="color:#644a9b;">expect_eq</span>[<span style="color:#0057ae;">A</span>: (<span style="color:#0057ae;">Equatable</span>[<span style="color:#0057ae;">A</span>] <span style="color:#bf0303;text-decoration:underline;">#unknown</span> &amp; <span style="color:#0057ae;">Stringable</span>)]
112​ (expect: <span style="color:#0057ae;">A</span>, actual: <span style="color:#0057ae;">A</span>, msg: <span style="color:#0057ae;">String</span> = <span style="color:#bf0303;">&quot;&quot;</span>): <span style="color:#0057ae;">Bool</span>
111 113​
112<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">add</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span> 114​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">add</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span>
113<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">sub</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span> 115​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">sub</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span>
114<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">mul</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span> 116​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">mul</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span>
115<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">div</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span> 117​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">div</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span>
116<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">mod</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span> 118​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">mod</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">A</span>
117<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">eq</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">Bool</span> 119​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">eq</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">Bool</span>
118<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">ne</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">Bool</span> 120​<span style="font-weight:bold;">fun</span> <span style="color:#644a9b;">ne</span>(other: <span style="color:#0057ae;">A</span>): <span style="color:#0057ae;">Bool</span>
▲ Show 20 Lines • Show All 41 Lines • ▼ Show 20 Line(s)
160<span style="font-weight:bold;">class</span> <span style="color:#0057ae;">A</span> 162​<span style="font-weight:bold;">class</span> <span style="color:#0057ae;">A</span>
161<span style="font-weight:bold;">class</span> <span style="color:#0057ae;">_A</span> 163​<span style="font-weight:bold;">class</span> <span style="color:#0057ae;">_A</span>
162x' 164​x'
163x'' 165​x''
164x'.string() 166​x'.string()
165<span style="color:#3daee9;">'\uaaaa'</span> 167​<span style="color:#3daee9;">'\uaaaa'</span>
166<span style="color:#3daee9;">'\Ubbbbbb'</span> 168​<span style="color:#3daee9;">'\Ubbbbbb'</span>
167<span style="color:#3daee9;">'\xcc'</span> 169​<span style="color:#3daee9;">'\xcc'</span>
170​<span style="color:#3daee9;">'\''</span>
171​<span style="color:#3daee9;">'\n'</span>
168<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\uaaaa</span><span style="color:#bf0303;">a&quot;</span> 172​<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\uaaaa</span><span style="color:#bf0303;">a&quot;</span>
169<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\Ubbbbbb</span><span style="color:#bf0303;">b&quot;</span> 173​<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\Ubbbbbb</span><span style="color:#bf0303;">b&quot;</span>
170<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\xcc</span><span style="color:#bf0303;">c&quot;</span> 174​<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\xcc</span><span style="color:#bf0303;">c&quot;</span>
175​<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\&quot;</span><span style="color:#bf0303;">&quot;</span>
176​<span style="color:#bf0303;">&quot;</span><span style="color:#3daee9;">\n</span><span style="color:#bf0303;">&quot;</span>
171<span style="color:#b08000;">34.4</span> 177​<span style="color:#b08000;">34.4</span>
172<span style="color:#b08000;">34.4e43</span> 178​<span style="color:#b08000;">34.4e43</span>
173<span style="color:#b08000;">43e4</span> 179​<span style="color:#b08000;">43e4</span>
174<span style="color:#b08000;">0x3040</span> 180​<span style="color:#b08000;">0x3040</span>
175<span style="color:#b08000;">0xaF</span> 181​<span style="color:#b08000;">0xaF</span>
176<span style="color:#b08000;">0b01</span> 182​<span style="color:#b08000;">0b01</span>
177<span style="color:#b08000;">3_43_4</span> 183​<span style="color:#b08000;">3_43_4</span>
178<span style="color:#b08000;">0x0_4</span> 184​<span style="color:#b08000;">0x0_4</span>
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines