Generated: August 27, 2003, 22:50:34Copyright ©2003, Kurt NørmarkThe local LAML software home page

Tutorial Manual of the Bikes mirror functions

Kurt Nørmark ©    normark@cs.auc.dk    Department of Computer Science    Aalborg University    Denmark    

LAML Version 21.00 (August 27, 2003, PP edition)

This is a manual of the Bikes DTD, which we have developed in another part of the LAML tutorial.

Table of Contents:
1. The bikes mirror functions

Alphabetic index:
bike(bike (frame ---) (wheel ---) (wheel ---) (brake ---) (lock ---))A description of a single bike
bikes(bikes (bike ---) ---)A description of a number of bikes in terms of a number of bike clauses
brake(brake (quote kind) K (quote brand) B)A description of a bike's brake
frame(frame (quote frame-number) N)A description of the frame of a bike
lock(lock (quote brand) B (quote insurance-approved) bool-value)A description of a bike's lock
wheel(wheel (quote size) N (quote tube-kind) K)A description of a bike's wheel

 

1.   THE BIKES MIRROR FUNCTIONS
In this section we explain the functions which mirror the elements of the bikes DTD.


bikes


Example form
(bikes (bike ---) ---)

Description
A description of a number of bikes in terms of a number of bike clauses

XML Attributes

XML content model
(bike)*

See also
Constituent formbike    


bike


Example form
(bike (frame ---) (wheel ---) (wheel ---) (brake ---) (lock ---))

Description
A description of a single bike

XML Attributes
Required: *
Default values: red
kind(mountain-bike, racer-bike, tourist-bike, other)Describes the kind or type of the bike

XML content model
(frame,wheel+,brake*,lock*)

See also
Context formbikes    
Constituent formsframe    wheel    brake    lock    


frame


Example form
(frame 'frame-number "N")

Description
A description of the frame of a bike

XML Attributes
Required: *
Default values: red
frame-number *CDATADescribes the unique frame number

XML content model
EMPTY


wheel


Example form
(wheel 'size "N" 'tube-kind "K")

Description
A description of a bike's wheel

XML Attributes
Required: *
Default values: red
size *CDATAThe size of a wheel - a number of inches
tube-kindCDATAThe kind of the tube of this wheel

XML content model
EMPTY


brake


Example form
(brake 'kind "K" 'brand "B")

Description
A description of a bike's brake

XML Attributes
Required: *
Default values: red
kindCDATAThe kind of brake
brandCDATAThe vendor which makes the brake

XML content model
EMPTY


lock


Example form
(lock 'brand "B" 'insurance-approved "bool-value")

Description
A description of a bike's lock

XML Attributes
Required: *
Default values: red
brandCDATAThe vendor which makes the lock
insurance-approved *(true | false)Is this lock approved by the insurance companies

XML content model
EMPTY


Generated: August 27, 2003, 22:50:34