CVS Run LCLint on the code on cleaned things up a like.

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

diff --git a/test/db1/empset.lcs b/test/db1/empset.lcs
index 7566f47776d8446ac97742413c84ff4b60b5f480..dcd64b99498f370ba4d992c1cd9cd28eefef78e8 100644 (file)
--- a/test/db1/empset.lcs
+++ b/test/db1/empset.lcs
@@ -39,9 +39,6 @@
 %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
@@ -91,33 +88,33 @@
 %LCLop 7 : -> int
 %LCLop 8 : -> int
 %LCLop 9 : -> int
-%LCLop MALE : -> _eemployee0e_Enum
+%LCLtag eemployee0e enum
+%LCLop gender_ANY : -> _eemployee0e_Enum
 %LCLop FEMALE : -> _eemployee0e_Enum
+%LCLop MALE : -> _eemployee0e_Enum
 %LCLop __ * __  :int, int -> int
 %LCLop __ * __  :double, double -> double
-%LCLop gender_ANY : -> _eemployee0e_Enum
 %LCLop true : -> bool
-%LCLtag eemployee0e enum
+%LCLtag eemployee1e enum
+%LCLop job_ANY : -> _eemployee1e_Enum
 %LCLop false : -> bool
-%LCLop MGR : -> _eemployee1e_Enum
 %LCLop NONMGR : -> _eemployee1e_Enum
+%LCLop MGR : -> _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
@@ -132,21 +129,21 @@
 %LCLop __ \geq __  :int, int -> bool
 %LCLop __ \geq __  :double, double -> bool
 %LCLop null : -> char
-%LCLop __ \select ssNum :_semployee0s_Struct_Tuple -> int
-%LCLop __ \select ssNum :_semployee0s_Struct -> _int_Obj
-%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 __ \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 __ \field_arrow ssNum :__semployee0s_Struct_Ptr -> _int_Obj
 %LCLop NIL : -> __char_Obj_Ptr
 %LCLop NIL : -> __semployee0s_Struct_Ptr
 %LCLop - __  :int -> int
@@ -171,8 +168,6 @@
 %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