Tried to fix some problems with the configuration system.

[splint.git] / test / db1 / empset.lcs

diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs
index 69d4ff521b61d835ce4dffa12e2280d34401caf4..776379881863a178d0bc2ccade1e3b6c0af7fb45 100644 (file)
--- a/test/db1/empset.lcs
+++ b/test/db1/empset.lcs
@@ -39,6 +39,9 @@
 %LCLsort __semployee0s_Struct_Arr arr _semployee0s_Struct nil
 %LCLsort __semployee0s_Struct_Tuple_Vec vec _semployee0s_Struct_Tuple __semployee0s_Struct_Arr
 %LCLsort _employee synonym _semployee0s_Struct nil
+%LCLsort eref immutable nil nil
+%LCLsort map immutable nil nil
+%LCLsort _map_Obj obj map nil
 %LCLsort empset immutable nil nil
 %LCLsort _empset_Obj mutable empset nil
 %LCLSortTableEnd
@@ -88,33 +91,33 @@
 %LCLop 7 : -> int
 %LCLop 8 : -> int
 %LCLop 9 : -> int
-%LCLtag eemployee0e enum
-%LCLop gender_ANY : -> _eemployee0e_Enum
-%LCLop FEMALE : -> _eemployee0e_Enum
 %LCLop MALE : -> _eemployee0e_Enum
+%LCLop FEMALE : -> _eemployee0e_Enum
 %LCLop __ * __  :int, int -> int
 %LCLop __ * __  :double, double -> double
+%LCLop gender_ANY : -> _eemployee0e_Enum
 %LCLop true : -> bool
-%LCLtag eemployee1e enum
-%LCLop job_ANY : -> _eemployee1e_Enum
+%LCLtag eemployee0e enum
 %LCLop false : -> bool
-%LCLop NONMGR : -> _eemployee1e_Enum
 %LCLop MGR : -> _eemployee1e_Enum
+%LCLop NONMGR : -> _eemployee1e_Enum
 %LCLop __ \and __  :bool, bool -> bool
+%LCLop job_ANY : -> _eemployee1e_Enum
 %LCLop __ \or __  :bool, bool -> bool
-%LCLtag semployee0s struct
 %LCLop __ \eq __  :bool, bool -> bool
 %LCLop __ \eq __  :int, int -> bool
 %LCLop __ \eq __  :double, double -> bool
 %LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
 %LCLop __ \eq __  :char, char -> bool
 %LCLop \not __  :bool -> bool
+%LCLtag eemployee1e enum
 %LCLop __ \neq __  :bool, bool -> bool
 %LCLop __ \neq __  :int, int -> bool
 %LCLop __ \neq __  :double, double -> bool
 %LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
 %LCLop __ \neq __  :char, char -> bool
 %LCLop { __ } :char -> _char_Vec
+%LCLtag semployee0s struct
 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
 %LCLop __ [] :__semployee0s_Struct_Ptr -> __semployee0s_Struct_Arr
 %LCLop __ |- __  :_char_Vec, char -> _char_Vec
@@ -129,21 +132,21 @@
 %LCLop __ \geq __  :int, int -> bool
 %LCLop __ \geq __  :double, double -> bool
 %LCLop null : -> char
-%LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
-%LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
-%LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
-%LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
-%LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
-%LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
-%LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
-%LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
-%LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
-%LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
-%LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
 %LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
 %LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
-%LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
+%LCLop __ \select name :_semployee0s_Struct_Tuple -> _char_Vec
+%LCLop __ \select name :_semployee0s_Struct -> __char_Obj_Arr
 %LCLop __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
+%LCLop __ \select salary :_semployee0s_Struct_Tuple -> int
+%LCLop __ \select salary :_semployee0s_Struct -> _int_Obj
+%LCLop __ \field_arrow name :__semployee0s_Struct_Ptr -> __char_Obj_Arr
+%LCLop __ \select gen :_semployee0s_Struct_Tuple -> _eemployee0e_Enum
+%LCLop __ \select gen :_semployee0s_Struct -> __eemployee0e_Enum_Obj
+%LCLop __ \field_arrow salary :__semployee0s_Struct_Ptr -> _int_Obj
+%LCLop __ \select j :_semployee0s_Struct_Tuple -> _eemployee1e_Enum
+%LCLop __ \select j :_semployee0s_Struct -> __eemployee1e_Enum_Obj
+%LCLop __ \field_arrow gen :__semployee0s_Struct_Ptr -> __eemployee0e_Enum_Obj
+%LCLop __ \field_arrow j :__semployee0s_Struct_Ptr -> __eemployee1e_Enum_Obj
 %LCLop NIL : -> __char_Obj_Ptr
 %LCLop NIL : -> __semployee0s_Struct_Ptr
 %LCLop - __  :int -> int
@@ -168,6 +171,8 @@
 %LCLop sizeof :double -> int
 %LCLop sizeof :_eemployee0e_Enum -> int
 %LCLop sizeof :_eemployee1e_Enum -> int
+%LCLop sizeof :eref -> int
+%LCLop sizeof :map -> int
 %LCLop sizeof :empset -> int
 %LCLop isSub :_char_Vec, int -> bool
 %LCLop isSub :__char_Obj_Arr, int -> bool