viewcvs.cgi/tests/addrbook.cd

type Content = [(Name Addr Tel?)*];;
type Addrbook = <addrbook>Content;;
type Name = <name>[ PCDATA ];;
type Addr = <addr>[ PCDATA ];;
type Tel = <tel>[ PCDATA ];;


(*
<addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ];;
*)

(* converting an address book into a telephone list *)

let mkTelList ([ (Name Addr Tel?)* ] -> [ (Name Tel)* ])
| [ <name>n <addr>_ <tel>t ; rest] -> [ <name>n <tel>t ; mkTelList rest] 
| [ <name>_ <addr>_; rest] -> mkTelList rest
| [ ] -> [ ]
;;

mkTelList [
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ];;

(*
fun mkTelList (Addrbook -> [ (Name Tel)* ])
<_>[ ( ( (x::Name) Addr (x::Tel) ) | _ )* ] ->  x
;;


fun (Int -> Addrbook) _ ->
<addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ] 
;;

*)

(*
match <addrbook>[
  <name>"Haruo Hosoya"
  <addr>"Tokyo"
  <name>"Benjamin Pierce"
  <addr>"Philadelphia"
  <tel>"123-456-789"
  <name>"Peter Buneman"
  <addr>"Scotland"
 ] with
<_>[ ( ( (x::Name) Addr (x::Tel) ) | _ )* ] ->  print (print_xml <doc>x);;
*)
(*
(*
(* the pattern extract the full sequence of subelements *)
match ex with addrbook:[;a] -> mkTelList a;;
*)

*)
1	type Content = [(Name Addr Tel?)*];;
2	type Addrbook = <addrbook>Content;;
3	type Name = <name>[ PCDATA ];;
4	type Addr = <addr>[ PCDATA ];;
5	type Tel = <tel>[ PCDATA ];;
6
7
8	(*
9	<addrbook>[
10	<name>"Haruo Hosoya"
11	<addr>"Tokyo"
12	<name>"Benjamin Pierce"
13	<addr>"Philadelphia"
14	<tel>"123-456-789"
15	<name>"Peter Buneman"
16	<addr>"Scotland"
17	];;
18	*)
19
20	(* converting an address book into a telephone list *)
21
22	let mkTelList ([ (Name Addr Tel?)* ] -> [ (Name Tel)* ])
23	\| [ <name>n <addr>_ <tel>t ; rest] -> [ <name>n <tel>t ; mkTelList rest]
24	\| [ <name>_ <addr>_; rest] -> mkTelList rest
25	\| [ ] -> [ ]
26	;;
27
28	mkTelList [
29	<name>"Haruo Hosoya"
30	<addr>"Tokyo"
31	<name>"Benjamin Pierce"
32	<addr>"Philadelphia"
33	<tel>"123-456-789"
34	<name>"Peter Buneman"
35	<addr>"Scotland"
36	];;
37
38	(*
39	fun mkTelList (Addrbook -> [ (Name Tel)* ])
40	<_>[ ( ( (x::Name) Addr (x::Tel) ) \| _ )* ] -> x
41	;;
42
43
44	fun (Int -> Addrbook) _ ->
45	<addrbook>[
46	<name>"Haruo Hosoya"
47	<addr>"Tokyo"
48	<name>"Benjamin Pierce"
49	<addr>"Philadelphia"
50	<tel>"123-456-789"
51	<name>"Peter Buneman"
52	<addr>"Scotland"
53	]
54	;;
55
56	*)
57
58	(*
59	match <addrbook>[
60	<name>"Haruo Hosoya"
61	<addr>"Tokyo"
62	<name>"Benjamin Pierce"
63	<addr>"Philadelphia"
64	<tel>"123-456-789"
65	<name>"Peter Buneman"
66	<addr>"Scotland"
67	] with
68	<_>[ ( ( (x::Name) Addr (x::Tel) ) \| _ )* ] -> print (print_xml <doc>x);;
69	*)
70	(*
71	(*
72	(* the pattern extract the full sequence of subelements *)
73	match ex with addrbook:[;a] -> mkTelList a;;
74	*)
75
76	*)