2 #include "lfds700_list_addonly_ordered_singlylinked_internal.h"
4 /***** private prototypes *****/
5 static void lfds700_list_aos_internal_validate( struct lfds700_list_aos_state *laoss, struct lfds700_misc_validation_info *vi, enum lfds700_misc_validity *lfds700_list_aos_validity );
11 /****************************************************************************/
12 void lfds700_list_aos_query( struct lfds700_list_aos_state *laoss, enum lfds700_list_aos_query query_type, void *query_input, void *query_output )
14 LFDS700_PAL_ASSERT( laoss != NULL );
15 // TRD : query_type can be any value in its range
17 LFDS700_MISC_BARRIER_LOAD;
21 case LFDS700_LIST_AOS_QUERY_GET_POTENTIALLY_INACCURATE_COUNT:
23 struct lfds700_list_aos_element
26 LFDS700_PAL_ASSERT( query_input == NULL );
27 LFDS700_PAL_ASSERT( query_output != NULL );
29 *(lfds700_pal_uint_t *) query_output = 0;
31 while( LFDS700_LIST_AOS_GET_START_AND_THEN_NEXT(*laoss, laose) )
32 ( *(lfds700_pal_uint_t *) query_output )++;
36 case LFDS700_LIST_AOS_QUERY_SINGLETHREADED_VALIDATE:
37 // TRD : query_input can be NULL
38 LFDS700_PAL_ASSERT( query_output != NULL );
40 lfds700_list_aos_internal_validate( laoss, (struct lfds700_misc_validation_info *) query_input, (enum lfds700_misc_validity *) query_output );
52 /****************************************************************************/
53 static void lfds700_list_aos_internal_validate( struct lfds700_list_aos_state *laoss, struct lfds700_misc_validation_info *vi, enum lfds700_misc_validity *lfds700_list_aos_validity )
58 struct lfds700_list_aos_element
62 LFDS700_PAL_ASSERT( laoss!= NULL );
63 // TRD : vi can be NULL
64 LFDS700_PAL_ASSERT( lfds700_list_aos_validity != NULL );
66 *lfds700_list_aos_validity = LFDS700_MISC_VALIDITY_VALID;
68 laose_slow = laose_fast = laoss->start->next;
70 /* TRD : first, check for a loop
72 both of which start at the start of the list
75 we advance one pointer by one element
78 we exit the loop when both pointers are NULL
79 (have reached the end of the queue)
83 if we fast pointer 'sees' the slow pointer
84 which means we have a loop
87 if( laose_slow != NULL )
90 laose_slow = laose_slow->next;
92 if( laose_fast != NULL )
93 laose_fast = laose_fast->next;
95 if( laose_fast != NULL )
96 laose_fast = laose_fast->next;
98 while( laose_slow != NULL and laose_fast != laose_slow );
100 if( laose_fast != NULL and laose_slow != NULL and laose_fast == laose_slow )
101 *lfds700_list_aos_validity = LFDS700_MISC_VALIDITY_INVALID_LOOP;
103 /* TRD : now check for expected number of elements
104 vi can be NULL, in which case we do not check
105 we know we don't have a loop from our earlier check
108 if( *lfds700_list_aos_validity == LFDS700_MISC_VALIDITY_VALID and vi != NULL )
110 lfds700_list_aos_query( laoss, LFDS700_LIST_AOS_QUERY_GET_POTENTIALLY_INACCURATE_COUNT, NULL, &number_elements );
112 if( number_elements < vi->min_elements )
113 *lfds700_list_aos_validity = LFDS700_MISC_VALIDITY_INVALID_MISSING_ELEMENTS;
115 if( number_elements > vi->max_elements )
116 *lfds700_list_aos_validity = LFDS700_MISC_VALIDITY_INVALID_ADDITIONAL_ELEMENTS;