doc/manual/en/html/node65.html
author etisserant
Thu, 02 Aug 2007 14:20:52 +0200
changeset 248 7fedc55c14d5
parent 215 f49e5a6b7804
permissions -rw-r--r--
Disabled compilation of DS401_xxx examples
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     2
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     3
<!--Converted with LaTeX2HTML 2002-2-1 (1.71)
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     4
original version by:  Nikos Drakos, CBLU, University of Leeds
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     5
* revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     6
* with significant contributions from:
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     7
  Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     8
<HTML>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
     9
<HEAD>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    10
<TITLE>User types</TITLE>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    11
<META NAME="description" CONTENT="User types">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    12
<META NAME="keywords" CONTENT="manual">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    13
<META NAME="resource-type" CONTENT="document">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    14
<META NAME="distribution" CONTENT="global">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    15
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    16
<META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    17
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    18
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    19
<LINK REL="STYLESHEET" HREF="manual.css">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    20
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    21
<LINK REL="next" HREF="node66.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    22
<LINK REL="previous" HREF="node64.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    23
<LINK REL="up" HREF="node57.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    24
<LINK REL="next" HREF="node66.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    25
</HEAD>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    26
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    27
<BODY >
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    28
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    29
<DIV CLASS="navigation"><!--Navigation Panel-->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    30
<A NAME="tex2html996"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    31
  HREF="node66.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    32
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    33
 SRC="/usr/share/latex2html/icons/next.png"></A> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    34
<A NAME="tex2html992"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    35
  HREF="node57.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    36
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    37
 SRC="/usr/share/latex2html/icons/up.png"></A> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    38
<A NAME="tex2html986"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    39
  HREF="node64.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    40
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    41
 SRC="/usr/share/latex2html/icons/prev.png"></A> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    42
<A NAME="tex2html994"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    43
  HREF="node1.html">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    44
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    45
 SRC="/usr/share/latex2html/icons/contents.png"></A>  
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    46
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    47
<B> Next:</B> <A NAME="tex2html997"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    48
  HREF="node66.html">Mapped variable</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    49
<B> Up:</B> <A NAME="tex2html993"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    50
  HREF="node57.html">Using Dictionary Editor GUI</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    51
<B> Previous:</B> <A NAME="tex2html987"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    52
  HREF="node64.html">Profile editor</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    53
 &nbsp; <B>  <A NAME="tex2html995"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    54
  HREF="node1.html">Contents</A></B> 
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    55
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    56
<BR></DIV>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    57
<!--End of Navigation Panel-->
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    58
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    59
<H3><A NAME="SECTION000101800000000000000">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    60
User types</A>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    61
</H3>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    62
Use User Types to implement value boundaries, and string lentgth
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    63
<BR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    64
 <DIV ALIGN="CENTER">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    65
<IMG
211
2a4c2ca03555 Manual and Documentation finish
nico
parents: 210
diff changeset
    66
  WIDTH="434" HEIGHT="252" ALIGN="BOTTOM" BORDER="0"
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    67
 SRC="./10000201000001C40000010766961D7F.png"
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    68
 ALT="Image 10000201000001C40000010766961D7F">
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    69
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    70
</DIV>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    71
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    72
<P>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    73
<BR><HR>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    74
<ADDRESS>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    75
epimerde
215
f49e5a6b7804 Manual and Documentation finish
nico
parents: 211
diff changeset
    76
2007-06-08
210
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    77
</ADDRESS>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    78
</BODY>
6b5a4c21e061 Manual and Documentation finish
nico
parents:
diff changeset
    79
</HTML>