>># 
>>#      SCCS:  @(#)  kysymdf.m Rel 1.12	    (5/12/92)
>># 
>># UniSoft Ltd., London, England
>># 
>># (C) Copyright 1991 X/Open Company Limited
>># 
>># All rights reserved.  No part of this source code may be reproduced,
>># stored in a retrieval system, or transmitted, in any form or by any
>># means, electronic, mechanical, photocopying, recording or otherwise,
>># except as stated in the end-user licence agreement, without the prior
>># permission of the copyright owners.
>># 
>># X/Open and the 'X' symbol are trademarks of X/Open Company Limited in
>># the UK and other countries.
>># 
>>#
>>TITLE keysymdef XOPEN
>>ASSERTION A keysymdef-1
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_LATIN1 is defined, then the
symbols in the table which have code 1 are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_LATIN1.
Include header file <X11/keysymdef.h>
For each KeySym in table with code 1:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-2
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_LATIN2 is defined, then the
symbols in the table which have code 2 are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_LATIN2.
Include header file <X11/keysymdef.h>
For each KeySym in table with code 2:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-3
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_LATIN3 is defined, then the
symbols in the table which have code 3 are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_LATIN3.
Include header file <X11/keysymdef.h>
For each KeySym in table with code 3:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-4
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_LATIN4 is defined, then the
symbols in the table which have code 4 are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_LATIN4.
Include header file <X11/keysymdef.h>
For each KeySym in table with code 4:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-5
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_ARABIC is defined, then the
symbols in the table which have code A are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_ARABIC.
Include header file <X11/keysymdef.h>
For each KeySym in table with code A:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-6
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_CYRILLIC is defined, then the
symbols in the table which have code C are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_CYRILLIC.
Include header file <X11/keysymdef.h>
For each KeySym in table with code C:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-7
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_GREEK is defined, then the symbols
in the table which have code G are defined to have the
hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_GREEK.
Include header file <X11/keysymdef.h>
For each KeySym in table with code G:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-8
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_HEBREW is defined, then the
symbols in the table which have code H are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_HEBREW.
Include header file <X11/keysymdef.h>
For each KeySym in table with code H:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-9
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_KATAKANA is defined, then the
symbols in the table which have code K are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_KATAKANA.
Include header file <X11/keysymdef.h>
For each KeySym in table with code K:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-10
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_APL is defined, then the symbols
in the table which have code L are defined to have the
hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_APL.
Include header file <X11/keysymdef.h>
For each KeySym in table with code L:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-11
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_MISCELLANY is defined, then the
symbols in the table which have code M are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_MISCELLANY.
Include header file <X11/keysymdef.h>
For each KeySym in table with code M:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-12
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_PUBLISHING is defined, then the
symbols in the table which have code P are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_PUBLISHING.
Include header file <X11/keysymdef.h>
For each KeySym in table with code P:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-13
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_SPECIAL is defined, then the
symbols in the table which have code S are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_SPECIAL.
Include header file <X11/keysymdef.h>
For each KeySym in table with code S:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-14
When the header file <X11/keysymdef.h> is included while
the feature test macro XK_TECHNICAL is defined, then the
symbols in the table which have code T are defined to have
the hexadecimal values given in the table.
>>STRATEGY
Define symbol XK_TECHNICAL.
Include header file <X11/keysymdef.h>
For each KeySym in table with code T:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
>>ASSERTION A keysymdef-15
When the header file <X11/keysymdef.h> is included, then
the symbols in the table are defined to have the hexadecimal
values given in the table.
>>STRATEGY
Include header file <X11/keysymdef.h>
For each KeySym in table:
	Verify that the symbol is defined using #ifdef.
	Verify that the symbol has the expected value using #if.
