in C programming pls hurry.

Give the pre-condition, post-condition, and loop invariant for this program which takes as input an array A with size ASIZE, and filters some or all of the array. Note that n can take a value so that only a portion of the array is filtered void Fiter (double Ac), int n, double sw, double to int for ( int.) IF (ALL) > High) A[1] Nigh ise 1 (A) Clow) AR) - low