Home
last modified time | relevance | path

Searched refs:empset (Results 1 – 25 of 27) sorted by relevance

12

/dports/devel/splint/splint-3.1.2/test/db2/
H A Dempset.lcl2 mutable type empset;
4 empset empset_create(void)
9 void empset_final(empset s)
15 void empset_clear(empset s)
40 empset empset_union(empset s1, empset s2)
45 empset empset_disjointUnion(empset s1, empset s2)
51 void empset_intersect(empset s1, empset s2)
57 int empset_size(empset s)
67 bool empset_subset(empset s1, empset s2)
72 employee empset_choose(empset s)
[all …]
H A Dempset.c17 void empset_clear (empset s) in empset_clear()
22 bool /*@alt void@*/ empset_insert (empset s, employee e) in empset_insert()
33 void empset_insertUnique (empset s, employee e) in empset_insertUnique()
49 bool /*@alt void@*/ empset_delete (empset s, employee e) in empset_delete()
62 empset empset_disjointUnion (empset s1, empset s2) in empset_disjointUnion()
65 empset tmp; in empset_disjointUnion()
86 empset empset_union (empset s1, empset s2) in empset_union()
89 empset tmp; in empset_union()
110 void empset_intersect (empset s1, empset s2) in empset_intersect()
128 bool empset_subset (empset s1, empset s2) in empset_subset()
H A DMakefile15 LCSFILES = dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs
17 MODULES = employee eref empset ereftab erc dbase drive.c
18 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
61 dbase.lcs: employee.lcs empset.lcs
62 empset.lcs: employee.lcs
70 dbase.o: dbase.c bool.h dbase.h employee.h empset.h
71 drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h
73 empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h
H A Ddbase.lcl1 imports employee, empset, <stdio>;
49 int query(db_q q, empset s) db d;
H A Dempset.h8 typedef erc empset; typedef
H A Ddbase.c67 int _db_addEmpls (erc c, int l, int h, empset s) in _db_addEmpls()
201 int query (db_q q, empset s) in query()
H A Ddrive.c15 empset em1, em2, em3; in main()
/dports/devel/splint/splint-3.1.2/test/db1/
H A Dempset.lcl2 mutable type empset;
4 empset empset_create(void)
9 void empset_final(empset s)
15 void empset_clear(empset s)
40 empset empset_union(empset s1, empset s2)
45 empset empset_disjointUnion(empset s1, empset s2)
51 void empset_intersect(empset s1, empset s2)
57 int empset_size(empset s)
67 bool empset_subset(empset s1, empset s2)
72 employee empset_choose(empset s)
[all …]
H A Dempset.c21 void empset_clear (empset s) in empset_clear()
26 bool empset_insert (empset s, employee e) in empset_insert()
39 void empset_insertUnique (empset s, employee e) in empset_insertUnique()
55 bool empset_delete (empset s, employee e) in empset_delete()
68 empset empset_disjointUnion (empset s1, empset s2) in empset_disjointUnion()
73 empset tmp; in empset_disjointUnion()
91 empset empset_union (empset s1, empset s2) in empset_union()
96 empset tmp; in empset_union()
115 void empset_intersect (empset s1, empset s2) in empset_intersect()
133 bool empset_subset (empset s1, empset s2) in empset_subset()
H A DMakefile15 LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs
17 MODULES = bool.lcl employee eref empset ereftab erc dbase drive.c
18 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
66 dbase.lcs: employee.lcs empset.lcs
67 empset.lcs: employee.lcs
75 dbase.o: dbase.c bool.h dbase.h employee.h empset.h
76 drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h
78 empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h
H A Ddbase.lcl1 imports employee, empset, <stdio>;
49 int query(db_q q, empset s) db d;
H A Dempset.h8 typedef erc empset; typedef
H A Ddbase.c73 int _db_addEmpls (erc c, int l, int h, empset s) in _db_addEmpls()
208 int query (db_q q, empset s) in query()
H A Ddrive.c14 empset em1, em2, em3; in main()
/dports/devel/splint/splint-3.1.2/test/db3/
H A Dempset.lcl2 mutable type empset;
4 only empset empset_create(void)
9 void empset_final (only empset s)
15 void empset_clear(empset s)
40 only empset empset_union(empset s1, empset s2) internalState;
46 only empset empset_disjointUnion (empset s1, empset s2) internalState;
53 void empset_intersect (empset s1, empset s2) internalState;
59 int empset_size(empset s)
69 bool empset_subset(empset s1, empset s2)
74 employee empset_choose(empset s)
[all …]
H A Dempset.c26 void empset_clear (empset s) in empset_clear()
31 bool /*@alt void@*/ empset_insert (empset s, employee e) in empset_insert()
44 void empset_insertUnique (empset s, employee e) in empset_insertUnique()
62 bool /*@alt void@*/ empset_delete (empset s, employee e) in empset_delete()
76 empset empset_disjointUnion (empset s1, empset s2) in empset_disjointUnion()
81 empset tmp; in empset_disjointUnion()
102 empset empset_union (empset s1, empset s2) in empset_union()
105 empset tmp; in empset_union()
128 void empset_intersect (empset s1, empset s2) in empset_intersect()
148 bool empset_subset (empset s1, empset s2) in empset_subset()
H A DMakefile16 LCSFILES = dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs bool.lcs check.lcs
17 MODULES = employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
18 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o
62 dbase.lcs: employee.lcs empset.lcs
63 empset.lcs: employee.lcs
71 dbase.o: dbase.c bool.h dbase.h employee.h empset.h
72 drive.o: drive.c bool.h dbase.h employee.h empset.h erc.h eref.h ereftab.h
74 empset.o: empset.c bool.h empset.h erc.h eref.h employee.h employee.h
H A Ddbase.lcl1 imports employee, empset, <stdio>;
49 int db_query (db_q q, empset s) db d; internalState;
H A Dempset.h8 typedef erc empset; typedef
H A Ddbase.c82 static int db_addEmpls (erc c, int l, int h, empset s) in db_addEmpls()
243 int db_query (db_q q, empset s) in db_query()
/dports/devel/splint/splint-3.1.2/test/
H A Ddb1.expect8 empset.c: (in function empset_insert)
15 empset.c: (in function empset_union)
20 empset.c: (in function empset_subset)
203 empset.c: (in function _empset_get)
260 empset.h: (in macro empset_member)
586 empset.lh:7: Function exported but not used outside empset: empset_final
588 empset.lh:8: Function exported but not used outside empset: empset_clear
590 empset.lh:10: Function exported but not used outside empset:
593 empset.lh:16: Function exported but not used outside empset: empset_member
595 empset.lh:17: Function exported but not used outside empset: empset_subset
[all …]
H A Ddb2.old-expect4 < reading spec empset.lcl >
36 < checking empset.c >
64 < reading spec empset.lcl >
84 < checking empset.c >
85 empset.c: (in function empset_insertUnique)
88 empset.c:41: Fresh storage er allocated
89 empset.c: (in function empset_intersect)
90 empset.c:126: Fresh storage toDelete not released before return
91 empset.c:112: Fresh storage toDelete allocated
154 < reading spec empset.lcl >
[all …]
H A Ddb2.expect60 empset.c: (in function empset_intersect)
61 empset.c:126: Fresh storage toDelete not released before return
62 empset.c:112: Fresh storage toDelete created
92 drive.c:140: Fresh storage em1 (type empset) not released before assignment:
95 drive.c:146: Fresh storage em2 (type empset) not released before assignment:
98 drive.c:147: Fresh storage em3 (type empset) not released before assignment:
H A DMakefile.am994 ./db1/empset.lcl \
1016 ./db2/empset.lcl \
1038 ./db3/empset.lcl \
1060 ./db1/empset.c \
1178 ./db2/empset.c \
1223 ./db3/empset.c \
1513 ./db1/empset.h \
1532 ./db2/empset.h \
1541 ./db3/empset.h \
H A DMakefile.in195 ./db1/empset.lcl \
217 ./db2/empset.lcl \
239 ./db3/empset.lcl \
261 ./db1/empset.c \
379 ./db2/empset.c \
424 ./db3/empset.c \
714 ./db1/empset.h \
733 ./db2/empset.h \
742 ./db3/empset.h \

12