Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
37a838eb
Commit
37a838eb
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-06-09 16:08:10 by cmiachon] Empty log message
Original author: cmiachon Date: 2004-06-09 16:08:10+00:00
parent
d509c54e
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/tutorial/queries.xml
View file @
37a838eb
...
...
@@ -38,7 +38,31 @@ where <code>%%e%%</code> is an expression <code>%%b%%</code> a boolean expressio
</p>
</box>
<box
title=
"Example"
link=
"exsel"
>
<p>
<b>
Formatted table generation
</b>
</p>
<p>
The following program generates a 10x10 multiplication table:
</p>
<sample>
<![CDATA[
let bg ((Int , Int) ->
String)
(y, x) -> if (x mod 2 + y mod 2
<
= 0) then "lightgreen"
else if (y mod 2
<
= 0) then "yellow"
else if (x mod 2
<
= 0) then "lightblue"
else "white";;
<table
border=
"1"
>
select
<tr>
select
<td
align=
"right"
style=
("background:"@bg(x,y))
>
[ (x*y) ]
from y in [1 2 3 4 5 6 7 8 9 10]
from x in [1 2 3 4 5 6 7 8 9 10];;
]]>
</sample>
<p>
Result:
</p>
<table
border=
"1"
><tr><td
align=
"right"
style=
"background:white"
>
1
</td><td
align=
"right"
style=
"background:lightblue"
>
2
</td><td
align=
"right"
style=
"background:white"
>
3
</td><td
align=
"right"
style=
"background:lightblue"
>
4
</td><td
align=
"right"
style=
"background:white"
>
5
</td><td
align=
"right"
style=
"background:lightblue"
>
6
</td><td
align=
"right"
style=
"background:white"
>
7
</td><td
align=
"right"
style=
"background:lightblue"
>
8
</td><td
align=
"right"
style=
"background:white"
>
9
</td><td
align=
"right"
style=
"background:lightblue"
>
10
</td></tr><tr><td
align=
"right"
style=
"background:yellow"
>
2
</td><td
align=
"right"
style=
"background:lightgreen"
>
4
</td><td
align=
"right"
style=
"background:yellow"
>
6
</td><td
align=
"right"
style=
"background:lightgreen"
>
8
</td><td
align=
"right"
style=
"background:yellow"
>
10
</td><td
align=
"right"
style=
"background:lightgreen"
>
12
</td><td
align=
"right"
style=
"background:yellow"
>
14
</td><td
align=
"right"
style=
"background:lightgreen"
>
16
</td><td
align=
"right"
style=
"background:yellow"
>
18
</td><td
align=
"right"
style=
"background:lightgreen"
>
20
</td></tr><tr><td
align=
"right"
style=
"background:white"
>
3
</td><td
align=
"right"
style=
"background:lightblue"
>
6
</td><td
align=
"right"
style=
"background:white"
>
9
</td><td
align=
"right"
style=
"background:lightblue"
>
12
</td><td
align=
"right"
style=
"background:white"
>
15
</td><td
align=
"right"
style=
"background:lightblue"
>
18
</td><td
align=
"right"
style=
"background:white"
>
21
</td><td
align=
"right"
style=
"background:lightblue"
>
24
</td><td
align=
"right"
style=
"background:white"
>
27
</td><td
align=
"right"
style=
"background:lightblue"
>
30
</td></tr><tr><td
align=
"right"
style=
"background:yellow"
>
4
</td><td
align=
"right"
style=
"background:lightgreen"
>
8
</td><td
align=
"right"
style=
"background:yellow"
>
12
</td><td
align=
"right"
style=
"background:lightgreen"
>
16
</td><td
align=
"right"
style=
"background:yellow"
>
20
</td><td
align=
"right"
style=
"background:lightgreen"
>
24
</td><td
align=
"right"
style=
"background:yellow"
>
28
</td><td
align=
"right"
style=
"background:lightgreen"
>
32
</td><td
align=
"right"
style=
"background:yellow"
>
36
</td><td
align=
"right"
style=
"background:lightgreen"
>
40
</td></tr><tr><td
align=
"right"
style=
"background:white"
>
5
</td><td
align=
"right"
style=
"background:lightblue"
>
10
</td><td
align=
"right"
style=
"background:white"
>
15
</td><td
align=
"right"
style=
"background:lightblue"
>
20
</td><td
align=
"right"
style=
"background:white"
>
25
</td><td
align=
"right"
style=
"background:lightblue"
>
30
</td><td
align=
"right"
style=
"background:white"
>
35
</td><td
align=
"right"
style=
"background:lightblue"
>
40
</td><td
align=
"right"
style=
"background:white"
>
45
</td><td
align=
"right"
style=
"background:lightblue"
>
50
</td></tr><tr><td
align=
"right"
style=
"background:yellow"
>
6
</td><td
align=
"right"
style=
"background:lightgreen"
>
12
</td><td
align=
"right"
style=
"background:yellow"
>
18
</td><td
align=
"right"
style=
"background:lightgreen"
>
24
</td><td
align=
"right"
style=
"background:yellow"
>
30
</td><td
align=
"right"
style=
"background:lightgreen"
>
36
</td><td
align=
"right"
style=
"background:yellow"
>
42
</td><td
align=
"right"
style=
"background:lightgreen"
>
48
</td><td
align=
"right"
style=
"background:yellow"
>
54
</td><td
align=
"right"
style=
"background:lightgreen"
>
60
</td></tr><tr><td
align=
"right"
style=
"background:white"
>
7
</td><td
align=
"right"
style=
"background:lightblue"
>
14
</td><td
align=
"right"
style=
"background:white"
>
21
</td><td
align=
"right"
style=
"background:lightblue"
>
28
</td><td
align=
"right"
style=
"background:white"
>
35
</td><td
align=
"right"
style=
"background:lightblue"
>
42
</td><td
align=
"right"
style=
"background:white"
>
49
</td><td
align=
"right"
style=
"background:lightblue"
>
56
</td><td
align=
"right"
style=
"background:white"
>
63
</td><td
align=
"right"
style=
"background:lightblue"
>
70
</td></tr><tr><td
align=
"right"
style=
"background:yellow"
>
8
</td><td
align=
"right"
style=
"background:lightgreen"
>
16
</td><td
align=
"right"
style=
"background:yellow"
>
24
</td><td
align=
"right"
style=
"background:lightgreen"
>
32
</td><td
align=
"right"
style=
"background:yellow"
>
40
</td><td
align=
"right"
style=
"background:lightgreen"
>
48
</td><td
align=
"right"
style=
"background:yellow"
>
56
</td><td
align=
"right"
style=
"background:lightgreen"
>
64
</td><td
align=
"right"
style=
"background:yellow"
>
72
</td><td
align=
"right"
style=
"background:lightgreen"
>
80
</td></tr><tr><td
align=
"right"
style=
"background:white"
>
9
</td><td
align=
"right"
style=
"background:lightblue"
>
18
</td><td
align=
"right"
style=
"background:white"
>
27
</td><td
align=
"right"
style=
"background:lightblue"
>
36
</td><td
align=
"right"
style=
"background:white"
>
45
</td><td
align=
"right"
style=
"background:lightblue"
>
54
</td><td
align=
"right"
style=
"background:white"
>
63
</td><td
align=
"right"
style=
"background:lightblue"
>
72
</td><td
align=
"right"
style=
"background:white"
>
81
</td><td
align=
"right"
style=
"background:lightblue"
>
90
</td></tr><tr><td
align=
"right"
style=
"background:yellow"
>
10
</td><td
align=
"right"
style=
"background:lightgreen"
>
20
</td><td
align=
"right"
style=
"background:yellow"
>
30
</td><td
align=
"right"
style=
"background:lightgreen"
>
40
</td><td
align=
"right"
style=
"background:yellow"
>
50
</td><td
align=
"right"
style=
"background:lightgreen"
>
60
</td><td
align=
"right"
style=
"background:yellow"
>
70
</td><td
align=
"right"
style=
"background:lightgreen"
>
80
</td><td
align=
"right"
style=
"background:yellow"
>
90
</td><td
align=
"right"
style=
"background:lightgreen"
>
100
</td></tr></table>
</box>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment