blob: 574caf73803289cd296d8690fd60d5ea4b079b56 [file] [log] [blame]
Raymond Hettingera690a992003-11-16 16:17:49 +00001/* Set object interface */
2
3#ifndef Py_SETOBJECT_H
4#define Py_SETOBJECT_H
5#ifdef __cplusplus
6extern "C" {
7#endif
8
Raymond Hettinger9f1a6792005-07-31 01:16:36 +00009
10/*
11There are three kinds of slots in the table:
12
131. Unused: key == NULL
142. Active: key != NULL and key != dummy
153. Dummy: key == dummy
Raymond Hettinger67962ab2005-08-02 03:45:16 +000016
17Note: .pop() abuses the hash field of an Unused or Dummy slot to
18hold a search finger. The hash field of Unused or Dummy slots has
19no meaning otherwise.
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000020*/
21
22#define PySet_MINSIZE 8
23
24typedef struct {
Antoine Pitrouf72006f2010-08-17 19:39:39 +000025 /* Cached hash code of the key. Note that hash codes are C longs.
26 * We have to use Py_ssize_t instead because set_pop() abuses
27 * the hash field to hold a search finger.
28 */
29 Py_ssize_t hash;
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000030 PyObject *key;
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000031} setentry;
32
33
Raymond Hettingera690a992003-11-16 16:17:49 +000034/*
35This data structure is shared by set and frozenset objects.
36*/
37
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000038typedef struct _setobject PySetObject;
39struct _setobject {
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000040 PyObject_HEAD
Armin Rigo89a39462004-10-28 16:32:00 +000041
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000042 Py_ssize_t fill; /* # Active + # Dummy */
43 Py_ssize_t used; /* # Active */
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000044
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000045 /* The table contains mask + 1 slots, and that's a power of 2.
46 * We store the mask instead of the size because the mask is more
47 * frequently needed.
48 */
49 Py_ssize_t mask;
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000050
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000051 /* table points to smalltable for small tables, else to
52 * additional malloc'ed memory. table is never NULL! This rule
53 * saves repeated runtime null-tests.
54 */
55 setentry *table;
56 setentry *(*lookup)(PySetObject *so, PyObject *key, long hash);
57 setentry smalltable[PySet_MINSIZE];
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000058
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000059 long hash; /* only used by frozenset objects */
60 PyObject *weakreflist; /* List of weak references */
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000061};
Raymond Hettingera690a992003-11-16 16:17:49 +000062
63PyAPI_DATA(PyTypeObject) PySet_Type;
64PyAPI_DATA(PyTypeObject) PyFrozenSet_Type;
Christian Heimesa22e8bd2007-11-29 22:35:39 +000065PyAPI_DATA(PyTypeObject) PySetIter_Type;
Raymond Hettingera690a992003-11-16 16:17:49 +000066
Raymond Hettingerbc841a12005-08-07 13:02:53 +000067/* Invariants for frozensets:
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000068 * data is immutable.
69 * hash is the hash of the frozenset or -1 if not computed yet.
Raymond Hettingerbc841a12005-08-07 13:02:53 +000070 * Invariants for sets:
71 * hash is -1
Raymond Hettinger9f1a6792005-07-31 01:16:36 +000072 */
73
Christian Heimes90aa7642007-12-19 02:45:37 +000074#define PyFrozenSet_CheckExact(ob) (Py_TYPE(ob) == &PyFrozenSet_Type)
Raymond Hettingerbc841a12005-08-07 13:02:53 +000075#define PyAnySet_CheckExact(ob) \
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000076 (Py_TYPE(ob) == &PySet_Type || Py_TYPE(ob) == &PyFrozenSet_Type)
Raymond Hettinger50a4bb32003-11-17 16:42:33 +000077#define PyAnySet_Check(ob) \
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000078 (Py_TYPE(ob) == &PySet_Type || Py_TYPE(ob) == &PyFrozenSet_Type || \
79 PyType_IsSubtype(Py_TYPE(ob), &PySet_Type) || \
80 PyType_IsSubtype(Py_TYPE(ob), &PyFrozenSet_Type))
Christian Heimesfd66e512008-01-29 12:18:50 +000081#define PySet_Check(ob) \
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000082 (Py_TYPE(ob) == &PySet_Type || \
83 PyType_IsSubtype(Py_TYPE(ob), &PySet_Type))
Christian Heimes15ebc882008-02-04 18:48:49 +000084#define PyFrozenSet_Check(ob) \
Antoine Pitrou7f14f0d2010-05-09 16:14:21 +000085 (Py_TYPE(ob) == &PyFrozenSet_Type || \
86 PyType_IsSubtype(Py_TYPE(ob), &PyFrozenSet_Type))
Raymond Hettinger50a4bb32003-11-17 16:42:33 +000087
Raymond Hettingerbeb31012005-08-16 03:47:52 +000088PyAPI_FUNC(PyObject *) PySet_New(PyObject *);
89PyAPI_FUNC(PyObject *) PyFrozenSet_New(PyObject *);
Neal Norwitz8c49c822006-03-04 18:41:19 +000090PyAPI_FUNC(Py_ssize_t) PySet_Size(PyObject *anyset);
Raymond Hettingerbeb31012005-08-16 03:47:52 +000091#define PySet_GET_SIZE(so) (((PySetObject *)(so))->used)
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000092PyAPI_FUNC(int) PySet_Clear(PyObject *set);
Raymond Hettingerbeb31012005-08-16 03:47:52 +000093PyAPI_FUNC(int) PySet_Contains(PyObject *anyset, PyObject *key);
Raymond Hettingerc47e01d2005-08-16 10:44:15 +000094PyAPI_FUNC(int) PySet_Discard(PyObject *set, PyObject *key);
Raymond Hettingerbeb31012005-08-16 03:47:52 +000095PyAPI_FUNC(int) PySet_Add(PyObject *set, PyObject *key);
Guido van Rossumd8faa362007-04-27 19:54:29 +000096PyAPI_FUNC(int) _PySet_NextEntry(PyObject *set, Py_ssize_t *pos, PyObject **key, long *hash);
Raymond Hettingerbeb31012005-08-16 03:47:52 +000097PyAPI_FUNC(PyObject *) PySet_Pop(PyObject *set);
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000098PyAPI_FUNC(int) _PySet_Update(PyObject *set, PyObject *iterable);
Raymond Hettingerbeb31012005-08-16 03:47:52 +000099
Raymond Hettingera690a992003-11-16 16:17:49 +0000100#ifdef __cplusplus
101}
102#endif
103#endif /* !Py_SETOBJECT_H */